GNU/Linux AI & Alife HOWTO

GNU/Linux AI & Alife HOWTO

By

John Eikenberry
0
(0 Reviews)
GNU/Linux AI & Alife HOWTO by John Eikenberry

Published:

2006

Pages:

206

Downloads:

4,266

Share This

GNU/Linux AI & Alife HOWTO

By

0
(0 Reviews)
Read Online

This book is available for free download in a number of formats - including epub, pdf, azw, mobi and more. You can also read the full text online using our ereader.

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/

Book Excerpt

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.

SPASS

· 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.

ThoughtTreasure

· 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

Computers
Post-1930
Reference
Instructional

Editor's choice

(view all)

Popular books in Computers, Post-1930, Reference, Instructional

Readers reviews

5
4
3
2
1
0.0
Average from 0 Reviews
0
Write Review
Be the first to review this book

Popular questions

(view all)

Books added this week

(view all)
alex22
Alex Martin - Love and Loss and the Perils of War
FEATURED AUTHOR - 'The Plotting Shed' (see her blog http://www.intheplottingshed.com/) was Alex Martin's first writing space at the bottom of her Welsh garden. Now she splits her time between Wales and France and plot wherever she is. She still wanders aimlessly in the countryside with her dog and her dreams and she can still be found typing away with imaginary friends whispering in her ear, but these days she has the joy of seeing her stories published and the treasured feedback from readers who've enjoyed them.