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,989
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

SUBSCRIBE TO MANYBOOKS 

FREE EBOOKS 

Join 120,000+ fellow readers! Get Free eBooks and book bargains from ManyBooks in your inbox. 

We respect your email privacy

(Promote your book here)

Featured Books

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

The Titan Drowns: Time Travel Romance

New Atlantis Time Travel Romance Book 6
Nhys Glover

2013 SFR GALAXY AWARD WINNER

"Heroism and... Read more

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

Valkyrie's Vengeance

Loki's Wolves Book 0
Melissa Snark

Fans of paranormal and urban fantasy will enjoy... Read more

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

Helga: Out of Hedgelands

Wood Cow Chronicles Book 1
Rick Johnson

VOLUME ONE in the WOOD COW CHRONICLES series. <... Read more

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

Mademoiselle At Arms

A Georgian Romance
Elizabeth Bailey

Set in the late Georgian era, Elizabeth Bailey’... Read more

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

Chausiku

Nightmare of the Clans Book One
Pamela E. Cash

There are six secret clans across the world–Afr... Read more

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

The Tales of Tim Hurtletuta - New Beginnings

Tales of Tim Hurtletuta Series, Book 1
Matthew James Wilkins

"Tim Hurtletuta has forgotten something. He can... Read more

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

After the Cure

Deirdre Gould

Eight years ago the December Plague swept throu... Read more

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

The Unveiling

Book One (Age of Faith 1)
Tamara Leigh

12th century England: Two men vie for the thron... Read more

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

Healing Her Heart

Crystal Lake Series Book 1
Laura Scott

Dr. Gabe Allen has a rule about dating colleagues... Read more

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

Never A Choice

The Choices Trilogy #1
Dee Palmer

Bethany Thorne has secrets and she’s told a few... 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.

Approaching Zero
by Paul Mungo
Debian GNU/Linux: Guide to Installation and Usage
by John Goerzen and Ossama Othman
The Hacker's Dictionary
by Eric S. Raymond [editor]
The New Hacker's Dictionary
by Eric S. Raymond [editor]
Man and Superman
by George Bernard Shaw

See more popular titles from this genre.