This howto mainly contains information about, and links to, various AIrelated software libraries, applications, etc. that work on theGNU/Linux platform. All of it is (at least) free for personal use. Thenew master page for this document is http://zhar.net/howto/
ic and symbolic constraints. Together, these two levels augment Common Lisp with practically all of the functionality of both Prolog and constraint logic programming languages such as CHiP and CLP(R). Furthermore, Screamer is fully integrated with Common Lisp. Screamer programs can coexist and interoperate with other extensions to Common Lisp such as CLOS, CLIM and Iterate.
· Web site: spass.mpi-sb.mpg.de
SPASS: An Automated Theorem Prover for First-Order Logic with Equality
If you are interested in first-order logic theorem proving, the formal analysis of software, systems, protocols, formal approaches to AI planning, decision procedures, modal logic theorem proving, SPASS may offer you the right functionality.
· Web site: www.signiform.com/tt/htm/tt.htm
ThoughtTreasure is a project to create a database of commonsense rules for use in any application. It consists of a database of a little over 100K rules and a C API to integ
Fans of paranormal and urban fantasy will enjoy... Read more
2013 SFR GALAXY AWARD WINNER
"Heroism and... Read more
VOLUME ONE in the WOOD COW CHRONICLES series. <... Read more
There are six secret clans across the world–Afr... Read more
Set in the late Georgian era, Elizabeth Bailey’... Read more
"Tim Hurtletuta has forgotten something. He can... Read more
12th century England: Two men vie for the thron... Read more
Dr. Gabe Allen has a rule about dating colleagues... Read more
See it as donating a moment of your social media time, every little thing helps us improve and stay online.
The list of books below is based on the weekly downloads by our users regardless of eReader device or file format.
See more popular titles from this genre.