Advertisement
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Common Lisp Reasoner
Common Lisp Reasoner aims to create a practical technology that exploits the synergy between its three major components....
Discrete Event Calculus Reasoner
Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning....
event calculus Commonsense Reasoning Discrete event calculus
metacafe-dl
metacafe-dl project is a small command line program for downloading videos from metacafe.com....
video downloader downloading downloading videos metacafe.com videos metacafe-dl
Napster-dl
Napster-dl is an application that allows downloading of napster songs from free.napster.com...
itvp-dl
itvp-dl is a tool which can download movies from http://www.itvp.pl/....
DL/SQL
DL/SQL is a declarative programming language based on top of a SQL database....
DL for Thunderbird
This add-on for the Mozilla Thunderbird email client adds a DL Filelink provider...
dl Download Ticket Service
dl Download Ticket Service project is a minimalist and rough download ticket service with automatic expiration, written in PHP....
FuXi
A N3-based forward-chaining, DL reasoner for RDFLib...