GNU/Linux AI & Alife HOWTO

Cover image for

Download


Author: John Eikenberry
Published: 2006
Language: English
Wordcount: 22,747 / 80 pg
Flesch-Kincaid Reading Ease: 47.1
LoC Category: TK
Downloads: 3,923
Added to site: 2008.05.18
mnybks.net#: 20944
Origin: zhar.net

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/

Show 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

(Promote your book here)

Featured Books

Cover image for GNU/Linux AI & Alife HOWTO by John Eikenberry - Free eBook

Who Murdered Mr. Malone?

Garden Girls Christian Cozy Mystery Series Book 1
Hope Callaghan

Who Murdered Mr. Malone? Book 1 of the Garden G... Read more

Cover image for GNU/Linux AI & Alife HOWTO by John Eikenberry - Free eBook

Phantasia

Book One: Into the Rain
M.U. Riyadad

After finding the body of a dragon in a metalli... Read more

Cover image for GNU/Linux AI & Alife HOWTO by John Eikenberry - Free eBook

Fearsome

Fearsome Series Book 1
S.A. Wolfe

*This is a stand-alone book in the Fearsome Ser... Read more

Cover image for GNU/Linux AI & Alife HOWTO by John Eikenberry - Free eBook

Nano Contestant

Episode 1: Whatever It Takes
Leif Sterling

Fans of the Hunger Games and Sci-Fi Thrillers will... Read more

Cover image for GNU/Linux AI & Alife HOWTO by John Eikenberry - Free eBook

Anais of Brightshire

The Blood Mage Chronicles Book 1
Jamie Wilson

While rumors of monsters rising in the south bring... Read more

Cover image for GNU/Linux AI & Alife HOWTO by John Eikenberry - Free eBook

Sound of Sirens

Tales of Skylge #1
Jen Minkman

On the island of Skylge, electricity is only fo... Read more

(advanced)
login | register

User ID

Password

reset password

Help ManyBooks by sharing this page!

See it as donating a moment of your social media time, every little thing helps us improve and stay online.

Popular in This Genre

The list of books below is based on the weekly downloads by our users regardless of eReader device or file format.

The New Hacker's Dictionary
by Eric S. Raymond [editor]
The Jargon File
by Eric S. Raymond
Hacker Crackdown
by Bruce Sterling
Approaching Zero
by Paul Mungo

See more popular titles from this genre.