cover

AI on the Web

This page links to 820 pages around the web with information on Artificial Intelligence. Links in Bold* followed by a star are especially useful and interesting sites. Links with a + sign at the end have "tooltip" information that will pop up if you put your mouse over the link for a second or two. If you have new links to add, mail them to [email protected]. We hope you can find what you want in one of the following subtopics:

Overview of AI
Highly Recommended Links
Intelligent Agents
Search and Game Playing
Logic and Knowledge Representation

Planning
Reasoning with Uncertainty
Machine Learning
Natural Language Processing
Perception and Robotics

Philosophy and the Future
AI Programming (Lisp)
AI Programming (C++ and Java)
AI Programming (Python)
AI Programming (Prolog)

If we don't have it, perhaps one of these search sites will:

We also have a separate list of AI books.

Overview of AI

Reference

AI FAQ*+
AI Patents
AI Patents
AI Topics*+
AIExplained+
AIMA Bibliography*+
AIMA Home*+
Amazon.com's list*+
Biological Foundations of Behavior+
Intro to AI
Karlsruhe Bibliography
Promises of Computing
ResearchIndex*+
Vienna Bibliography
What is AI*+

Lists of Links

100 Top Cogsci Works+
AI Depot+
AI on the WWW
AIBits
About AI+
CMU list
Excite's list
FutureAI+
GSB/GSL (MIT)
Generation 5
Google (AI)
IA Zoom+
Mathematics HQ+
Virtual Library: AI

Journals

AI Communications+
AI Magazine+
AI Review
Artificial Intelligence*+
ETAI Journal
IEEE Intelligent Systems
JAIR*+
Kluwer Journals
Machine Learning
PC AI

People

AAAI Fellows*+
Allen, James+
Brooks, Rod
Charniak, Eugene
Cheeseman, Peter
Dean, Tom
Dechter, Rina
Feigenbaum, Ed+
Genesereth, Michael
Ginsberg, Matt
Grosz, Barbara
Hayes, Pat
Heckerman, David
Hinton, Geoffrey
Horvitz, Eric
Jordan, Michael+
Joshi, Arvind
Kaelbling, Leslie
Kautz, Henry
Kolodner, Janet
Korf, Richard
Lehnert, Wendy
Maes, Pattie
McCarthy, John+
McDermott, Drew
Michie, Donald
Minsky, Marvin
Mitchell, Tom+
Moore, Andrew
Newell, Allen
Nilsson, Nils
Pearl, Judea
Poole, David
Reiter, Ray
Russell, Stuart+
Schank, Roger+
Schubert, Len
Selman, Bart+
Shapiro, Stuart
Shoham, Yoav+
Simon, Herbert
Stein, Lynn
Szolovits, Peter
Tate, Austin
Turing, Alan*+
Valiant, Leslie
Waltz, David
Webber, Bonnie
Wellman, Michael
Wilensky, Robert
Winograd, Terry+
Winston, Pat
Zadeh, Lotfi+

Companies

AI Companies*+
AI Company+
AI Stockmarketforum
Acknosoft
Agentland
Ascent
Brightware
Charles River
Computational Logic
Cybion
Cycorp
Excalibur
ExperTelligence
Gensym
Haley Enterprise
Hugin
I-C2 Systems
Intellicorp
Knowledge Industries
Kurzweil
LPA
Lumina
Neuron Data
Norsys
SHAI
Teknowledge
Thinking Machines
Tuppas+
Ultragem

News & Mail

comp.ai*
comp.ai.edu
comp.ai.jair.announce

Software

AARON (CyberArt)
AI: the movie+
CMU Repository*+
Software list

Research Groups

AIAI
Austrian AI
Brown
CMU*+
Colorado State AI
DFKI Saarbrucken
EKSL (UMass)
Edinburgh
Georgia Tech
Illinois
Irvine
JPL (NASA) AI+
JPL AI Group
MIT*+
Michigan
Microsoft DTG*+
NASA AI Group
New South Wales
Oregon
Pittsburgh
Rochester
SRI*+
Santa Fe+
Stanford*+
Texas
UMass
UPenn
USC/ISI*+
Washington
Xerox PARC
Yale

Organizations

AAAI*+
AISB
ECCAI+
IEEE
IJCAI+
Loebner Prize
SIGART+
Singularity Inst.+

Highly Recommended Links

Reference

AI FAQ*+
AI Topics*+
AIMA Bibliography*+
AIMA Home*+
Amazon.com's list*+
Common Lisp Hyperspec*+
Lisp FAQ*+
Logical Fallacies*
Online Logic Text*
Papers on Consciousness*+
Prolog FAQ*
Python.org*+
Reinforcement Learning Tutorial*
ResearchIndex*+
What is AI*+

Lists of Links

BotSpot*+
Java Links*+
ML Resources*
Software Agents*
The Data Mine*

Journals

Artificial Intelligence*+
JAIR*+

People

AAAI Fellows*+
Bayesians list*+
ML/CBR People*+
Peirce, Charles S*+
Turing, Alan*+
UAI list*

Companies

News & Mail

AgentNews (UMBC)*+
comp.ai*

Software

CMU Repository*+
Chinook: checkers*
Managing Gigabytes*+
WordNet*+

Research Groups

AI Search (RMIT)*
Agents Web (UMBC)*+
CMU*+
MIT*+
Microsoft DTG*+
NYU Linguistics*
Ontolingua*
SRI*+
Stanford*+
USC/ISI*+

Organizations

AAAI*+
ACL*+
Irvine Machine Learning*+
Robocup*+
Spam Archive*+

Humor

Alan Perlis Epigrams*+
Bayes Limited*+
Lisp Humor*

Intelligent Agents

Reference

Agent Transfer Protocol
Intelligent Wireless Web
Multiagent Dynamics
Negotiation Bib
Soar: Cognitive Architecture

Lists of Links

Agent Links
AgentLink+
BotSpot*+
Economics
Game Theory hotlist
Google (Agents)
Multi-Agent Pointers
Software Agents*
WPI: MAS list
Web Robots

Journals

MAS Journal

People

Agre, Phil
Brooks, Rod
Doyle, Jon
Durfee, Ed
Finin, Tim+
Gasser, Les
Genesereth, Michael
Grosof, Benjamin
Hayes-Roth, Barbara
Hearst, Marti
Hogg, Tad+
Honavar, Vasant
Huhns, Michael
Kaelbling, Leslie
Kowalski, Robert
Laird, John
Lenat, Douglas
Lesser, Victor
Levesque, Hector
Lieberman, Henry
Maes, Pattie
Nilsson, Nils
Norvig, Peter+
Rosenchein, Jeff
Russell, Stuart+
Selker, Ted+
Shoham, Yoav+
Singh, Munindar
Stein, Lynn
Tambe, Milind
Turing, Alan*+
Wellman, Michael
Winograd, Terry+
Wooldridge, Michael
Zilberstein, Shlomo+
Zweben, Monte

Companies

Agentis
Agentland
Agentware Systems
BotBox
Charles River
Cybion
Daxtron Labs
Entrieva
I-C2 Systems
Soar Technology+
Verity

News & Mail

AgentNews (UMBC)*+

Software

Agentsheets+
Mark Watson

Research Groups

Agents (IBM)
Agents Web (UMBC)*+
Autonomous (MIT)
EKSL (UMass)
Iowa State
OZ Project (CMU)
Softbot (Washington)
UMass Anytime Reasoning
Umass Multi-Agent Systems

Organizations

TARK

Search and Game Playing

Reference

Amit's game Programming+
Anatomy of Chess Programs
Computational Complexity of Games+
Deep Blue/Kasparov: chess
Go Bibliography
Knowledge in Games

Lists of Links

AI Wisdom+
AI in Games+
AI: Games (Open Directory)
Game Links+
GameDev.net AI+
Google (Search)
Machine Learning in Games

People

Berliner, Hans+
Bratko, Ivan
Ebeling, Carl
Kanal, Laveen
Kasparov, Gary+
Korf, Richard
Kumar, Vipin
McAllester, David
Michie, Donald
Nau, Dana
Nilsson, Nils
Pearl, Judea
Pohl, Ira
Schaeffer, Jonathan+

Companies

Koalog+
NovaGenetica

News & Mail

comp.ai.games

Software

Chess Programming+
Chess in Lisp
Chinook: checkers*
GIB (Bridge)
Gamesman+
Hannibal (Othello)
Local+++
Logistello (Othello)
Logistello (Othello)
Tetris+

Research Groups

AI Search (RMIT)*
CIRL
TIELT+

Organizations

Intnl. Comp. Chess Ass.
US Go Org.+

Logic and Knowledge Representation

Reference

AI and Databases
ANSI Ontology
Logical Fallacies*
Matroid Decomposition
Online Guide to Constraint Programming
Online Logic Text*
Ontology Page
R.B. Jones
SUMO Upper Ontology
Theorems Proved

Lists of Links

Constraints Archive
Google (KR)
Google (Logic)
Reasoning About Action+
SEL-HPC Theorem Proving Archive

People

Adam Pease+
Allen, James+
Balzer, Bob
Bibel, Wolfgang
Brachman, Ron
Crawford, James
Davis, Ernest
De Kleer, Johan
Dean, Tom
Dechter, Rina
Doyle, Jon
Elkan, Charles
Etherington, David
Feigenbaum, Ed+
Forbus, Ken
Freuder, Eugene
Geffner, Hector
Genesereth, Michael
Ginsberg, Matt
Green, Cordell
Grosof, Benjamin
Hayes, Pat
Hobbs, Jerry
Kautz, Henry
Koller, Daphne
Konolidge, Kurt
Kowalski, Robert
Lakoff, George
Lenat, Douglas
Levesque, Hector
Lifschitz, Vladimir
Mackworth, Alan
McCarthy, John+
McCune, William
McDermott, Drew
Morgenstern, Leora
Nilsson, Nils
Novak, Gordon
Nute, Donald
Peirce, Charles S*+
Perlis, Don
Poole, David
Putnam, Hilary
Rapaport, W.
Reiter, Ray
Roman Bartak
Sacerdoti, Earl
Sandewall, Erik
Schubert, Len
Selman, Bart+
Shanahan, Murray+
Shoham, Yoav+
Simon, Herbert
Smolka, Gert
Sowa, John
Stickel, Mark
Swartout, Bill
Turing, Alan*+
Waldinger, Richard
Winston, Pat
Wos, Larry

Companies

Articulate Software Inc.
Articulate Software+
Assistum
Attar
Brightware
Computational Logic
Cycorp
ExperTelligence
Gensym
Haley Enterprise
Intellicorp
Neuron Data
NovaCast
Teknowledge

News & Mail

comp.ai.shells
comp.constraints

Software

CLIPS
DTP Prover
Epilog Prover
Isabelle theorem prover
JSAT+
Logic Software
Otter
PVS verification system
Proof Power
RuleML
SOAR expert system+
Simplify
SweetRules
WalkSAT for Java
cardTAP prover+

Research Groups

Active Logic (UMD)
CS157: Computational Logic
Formal Reasoning (Stanford)
Knowledge Systems (Australia)
Ontolingua*
SNePS
Stanford's KSL+
Theorem Provers

Organizations

KR.org
TARK
W3C Semantic Web

Planning

Reference

Graphplan Homepage

Lists of Links

Google (Planning)
Planning Domains
Planning Resources

People

Agre, Phil
Appelt, Doug
Bacchus, Fahiem
Boutilier, Craig
Chien, Steve
David Wilkins
Doyle, Jon
Goldman, Robert
Hansen, Eric
Hendler, Jim
Kambhampati, Rao
Knoblock, Craig
Lansky, Amy
Nau, Dana
Nilsson, Nils
Pollack, Martha
Pryor, Louise
Sacerdoti, Earl
Simon, Herbert
Stein, Lynn
Tate, Austin
Waldinger, Richard
Weld, Dan
Wilensky, Robert
Yang, Qiang
Zilberstein, Shlomo+

Companies

Ascent
Gensym
I-C2 Systems
Koalog+
PDC (Prolog)
Siscog+

News & Mail

Planning List

Software

Boids (flocking agents)
TRAINS
UCPOP+
UMCP Planner

Research Groups

Arizona State
CIRL
Chicago
Hubble Space Telescope+
ISI
JPL Planning Group
O-Plan
U. Maryland
U. Washington

Reasoning with Uncertainty

Reference

History of Game Theory
Jaynes' book

Lists of Links

Decision Analysis list
Google (Uncertainty)

Journals

Math Methods of OR
Soft Computing

People

Almond, Russ
Bayesians list*+
Boutilier, Craig
Breese, Jack
Buntine, Wray
Cheeseman, Peter
D'Ambrosio, Bruce
Dean, Tom
Fayyad, Usama
Friedman, Nir
Goldszmidt, Moises
Haddawy, Peter
Heckerman, David
Henrion, Max
Hinton, Geoffrey
Hirsh, Hyam
Horvitz, Eric
Jordan, Michael+
Kaelbling, Leslie
Kasif, Simon
Koenig, Sven
Koller, Daphne
Moore, Andrew
Neal, Radford
Pearl, Judea
Poole, David
Reiter, Ray
Russell, Stuart+
Shafer, Glenn+
Smyth, Padhraic
Szolovits, Peter
UAI list*
Wellman, Michael
Zadeh, Lotfi+
Zilberstein, Shlomo+

Companies

Agorics
Bayesia+
Bayesian systems
Hugin
Knowledge Industries
Lumina
Norsys
SyntelSoft

News & Mail

Operations Research
comp.ai.fuzzy

Software

Analytical Statistics Package
Bayes Net Toolbox (Matlab)
Software for Belief Nets

Research Groups

CAMIS (Stanford Medical)
MIT Clinical Decision Making
Microsoft DTG*+
NASA Bayesian Group
Stanford Stats
U. of Washington Statistics
UCLA stats
UMass Anytime Reasoning

Organizations

Assoc for Uncertainty in AI+

Humor

Bayes Limited*+

Machine Learning

Reference

Intro to ILP+
Introduction to ML (Nilsson)
Machine Learning Dictionary+
Reinforcement Learning Tutorial*

Lists of Links

Data Mining Products
Google (Learning)
Knowledge Discovery Mine
Knowledge Discovery&Datamining
MCMC Papers+
ML Resources*
Machine Learning in Games
Neural Net FAQ
Neural Nets vs Statistics
OFAI ML List
The Data Mine*

Journals

Adaptive Behavior
Artificial Life
Evolutionary Computation
J. Cog. Neuroscience
J. Learning Sciences
J. of Automated Reasoning
Journal of Stat Software
ML Journal
Machine Learning

People

Aha, David+
Barto, Andy
Baum, Eric
Birnbaum, Larry
Blum, Avrim
Bylander, Tom
Collins, Alan
Dawid, Philip
DeJong, Jerry
Dietterich, Tom
Duda, Richard
Ellman, Tom
Fisher, Douglas
Friedman, Jerome
Gentner, Deidre
Hammond, Kris
Hart, Peter
Haussler, David
Hendler, Jim
Hinton, Geoffrey
Hirsh, Hyam
Hofstader, Doug
Honavar, Vasant
Jordan, Michael+
Kasif, Simon
Kearns, Micahel
Kibler, Dennis
Knoblock, Craig
Koenig, Sven
Kolodner, Janet
Koza, John
Laird, John
Langley, Pat
Lenat, Douglas
Lewis, David
Ling, Charles
Lozano-Perez, Tomas
ML/CBR People*+
Mahadevan, Sridhar
McDermott, Drew
Miikkulainen, Risto
Minsky, Marvin
Minton, Steve
Mitchell, Melanie
Mitchell, Tom+
Mooney, Ray
Moore, Andrew
Muggleton, Steve
Neal, Radford
Pazzani, Mike
Poggio, Tomaso
Pollack, Jordan
Porter, Bruce
Quinlan, Ross
Reiser, Brian
Reynolds, Craig+
Riesbeck, Chris
Ripley, Brian
Rosenbloom, Paul
Russell, Stuart+
Schlimmer, Jeff
Sejnowski, Terry
Shavlik, Jude
Singh, Satinder+
Smyth, Padhraic
Srihari, Sargur
Stork, David
Sutton, Rich
Tadepalli, Prasad
Utgoff, Paul
Valiant, Leslie
VanLehn, Kurt
Veloso, Manuela
Waltz, David
Warmuth, Manfred
Weld, Dan
Witten, Ian+

Companies

Abtech
Angoss
Artificial Life
Burning Glass
Clementine+
Cognos
Epiphany
Equicom Inc.+
Fetch Technologies
Gabitus
Hyperparallel
IBM Data Mining
Information Discovery
MindShadow+
NeoVista
NeuralWare
NeuroDimension
Neuron Data
Platinum
Prediction Company
Red Brick
Rulequest
SAS
SGI MineSet
SHAI
SPSS
Salford Systems
Socratic Arts+
Thinking Machines
Trajecta
Ultragem

News & Mail

Connectionists
GA List
comp.ai.genetic
comp.ai.neural-nets

Software

CMU Repository
Data Mining in Python+
Delve Project
Irvine ML programs
ML Programs (CMU)
MLC++
Neural Software
Statlib
Texas Research Software
UCLA Datasets
WEKA ML toolkit+

Research Groups

Abbadingo (Grammar Learning)+
Adaptive Control
Auton+
CBCL (MIT)
Iowa State
Irvine
Jam Project
Learning Sciences
Minimum Message Length
NASA Automated Learning Group+
NASA Bayesian Group
NEC Research
Naval Research Lab
New South Wales
RL, Mich. St.
Reinforcement (CMU)
Reinforcement Learning
SOAR (CMU)
TIELT+
Texas
UMass Adaptive Networks
UMass Machine Learning
Wisconsin ML

Organizations

Boosting+
Classification Soc.
Classification Soc.
INFORMS
Irvine Machine Learning*+

Natural Language Processing

Reference

Celex
Human Language Survey
NLP Dictionary

Lists of Links

Digital Libraries
Google (NLP)
Linguistics & NLP list

Journals

Computational Linguistics
J. Digital Libraries
Machine Translation

People

Allen, James+
Appelt, Doug
Brill, Eric
Carbonnel, Jaime
Cardie, Claire
Charniak, Eugene
Croft, Bruce
Dorr, Bonnie
Dyer, Mike
Grosz, Barbara
Hearst, Marti
Hobbs, Jerry
Hovy, Ed
Israel, David
Joshi, Arvind
Katz, Boris
Knight, Kevin
Lakoff, George
Lehnert, Wendy
Lewis, David
Marcus, Mitch
McCoy, Kathy
Mooney, Ray
Moore, Johanna
Moore, Robert
Mueller, Erik
Norvig, Peter+
Ortony, Andrew
Peters, Stanley
Pinker, Steven
Pollard, Carl
Pullum, Geoff
Pustejovsky, James
Resnik, Philip
Riesbeck, Chris
Riloff, Ellen
Rips, Lance
Sag, Ivan+
Sampson, Geoffrey
Schank, Roger+
Schubert, Len
Sch�tze, Hinrich
Shapiro, Stuart
Stabler, Ed
Steedman, Mark
Steele, Oliver+
Talmy, Len
Uszkoreit, Hans
Webber, Bonnie
Wilensky, Robert
Winograd, Terry+
Witten, Ian+
Wu, Dekai
Yarowsky, David+

Companies

AnswerFriend+
AnswerLogic+
Ask Jeeves+
Burning Glass
Elfsoft
Excalibur
Fetch Technologies
Google
InXight
Inquizit
Langsoft
Lingo Motors
Linguistic Technology
Nuance
Petamem+
Signiform
Thunderstone
Verity

News & Mail

Linguist
comp.ai.nat-lang
comp.ai.nlang-know-rep

Software

CLIG Linguistic data grapher
CMU AI Repository: NLP
DFKI NLP Registry
Gender Genie+
HPSG parser
Link Grammar
Managing Gigabytes*+
NL software registry
NLBean (Java)
TRAINS
ThoughtTreasure
WordNet in Python
WordNet*+

Research Groups

Berkeley Digital Library
CEDAR
Cedar
Center for Intelligent IR (UMass)
Comp. Ling. Archive
Construction Grammar
DFKI Language Technology
Digital Libraries and Xerox
HPSG Group
NYU Linguistics*
SRI Cambridge
SRI NLP
Stanford Digital Libraries

Organizations

ACL*+
Linguistic Data Consortium
Math of Language
Spam Archive*+
Summer Institute of Linguistics

Humor

Chomskybot

Perception and Robotics

Reference

MIT Robotics FAQ
Robotic Manipulation
Robots.net
comp.robotics FAQ

Lists of Links

Google (Robotics)

Journals

Autonomous Robots
J. Computer Vision
Micro Control Jornal
Videre (Vision)
Vision and Apps.

People

Arbib, Michael
Arkin, Ronald
Ballard, Dana
Bekey, George
Brooks, Rod
Canny, John
Dudek, Gregory
Ellen Hildreth
Forsyth, David
Gat, Erann
Gruden, Rod
Hogg, Tad+
Horn, Berthold
Koenig, Sven
Mackworth, Alan
Mahadevan, Sridhar
Malik, Jitendra+
Mataric, Maja+
Moravec, Hans
Murphy, Robin
Nevatia, Ram
Ponce, Jean
Riseman, Edward
Shoham, Yoav+
Tanimoto, Steve
Thrun, Sebastian
Veloso, Manuela
Waltz, David

Companies

American Robot
Energid
Evolution Robotics
Evolution Robotics
IS Robotics
Kurzweil
Robosapien+
Robotic Systems

News & Mail

comp.ai.vision
comp.robotics
comp.robotics.research

Software

PyroRobotics+
Robosapien Dance Machine+

Research Groups

Berkeley Robotics
Berkeley Vision
Brown U. Robotics
CMU NavLab
CMU Robotics
Cal Tech Robotics
Cognitive Robotics (Toronto)
Cornell Robotics and Vision
Harvard Robotics
Johns Hopkins Robotics
MIT Mobile Robots+
McGill
NASA Robots
Stanford Robotics
UMass Computer Vision
UMass Perceptual Robotics
USC Modular Robotics
USC Robotics
USC Robotics

Organizations

Robocup*+

Philosophy and the Future

Reference

Computing Machinery+
Empirical Methods for AI
Ethics in Computing
Papers on Consciousness*+
R.B. Jones
Risks of AI
The Future Doesn't Need Us (B. Joy)
The Future Needs Us (F. Dyson)

Lists of Links

Google (Philosophy)
Philosophy list
Philosophy of Mind Biblio+
Philosophy papers online

Journals

Minds & Machines

People

Bratman, Michael
Chalmers, David+
Dennett, Daniel
Dreyfus, Bert
Etchemendy, John
Israel, David
Nute, Donald
Peirce, Charles S*+
Perry, John
Pinker, Steven
Searle, John
Turing, Alan*+

News & Mail

comp.ai.philosophy

Software

AARON (CyberArt)

Humor

AI Programming (Lisp)

Reference

Common Lisp Hyperspec*+
History of Lisp 1
History of Lisp 2
Language Shootout+
Lisp FAQ*+
Lisp Packages
Lisp Tutorial (Civilized)
Lisp Tutorial (Hopkins)
Lisp Tutorial (Texas A&M)
Lisp, C++, Java, Dylan
Python vs Lisp

Lists of Links

Cliki CL Links+
Google (Lisp)
Lemonodor+
Lisp Refs (CMU)
Lisp Textbook Code

Journals

J. Funct. & Logic Prog.
Lisp & Symbolic Computation

People

Abelson, Hal+
Charniak, Eugene
De Kleer, Johan
Forbus, Ken
Graham, Paul
Hewitt, Carl
Horn, Berthold
Kantrowitz, Mark
Knight, Tom
McDermott, Drew
Norvig, Peter+
Riesbeck, Chris
Siskind, Jeffrey
Sussman, Jerry
Watson, Mark
Wilensky, Robert
Winston, Pat

Companies

Digitool
Franz+
Schemers

News & Mail

comp.ai.shells
comp.lang.clos
comp.lang.lisp
comp.lang.scheme
comp.lang.smalltalk

Software

AARON (CyberArt)
Babylon Expert System
CLIPS
Chess in Lisp
DTP Prover
Epilog Prover
Lisp HTTP Server
TRAINS
ThoughtTreasure

Organizations

Assoc. Lisp Users
Cons.org

Humor

Alan Perlis Epigrams*+
Girls just wanna defun
Hacker's Dictionary
Joe Lisp
Lisp Humor*

AI Programming (C++ and Java)

Reference

Agents using Java+
JavaBayes+
Language Shootout+
Lisp, C++, Java, Dylan

Lists of Links

Google (C++)
Google (Java)
Java Links*+

People

Hall, Marty
Peter Bouthorn+
Tracy, Kim+
Watson, Mark

News & Mail

comp.lang.c++
comp.lang.java

Software

AI Library in C++
AI Programming in Java+
HTK Hidden Markov Toolkit+
Intelligent Java Applications
Interactive Programming in Java+
JESS rule engine
JSAT+
Link Grammar
Local+++
MLC++
NLBean (Java)
Otter
UMCP Planner
WalkSAT for Java

AI Programming (Python)

Reference

Language Shootout+
Python Essential Ref
Python vs Lisp
Python.org*+

Lists of Links

Google (Python)

People

Norvig, Peter+
Steele, Oliver+
Strout, Joe

News & Mail

comp.lang.python

Software

Data Mining in Python+
Puzzle Solving in Python
PyroRobotics+
WordNet in Python

AI Programming (Prolog)

Reference

Interactive Prolog Guide
Language Shootout+
Prolog Dictionary+
Prolog FAQ*
Prolog Standard
Prolog Tutorial

Lists of Links

Google (Prolog)

People

Bratko, Ivan
Mellish, Chris
O'Keefe, Richard
Roman Bartak

Companies

LPA
PDC (Prolog)

News & Mail

comp.lang.prolog

Software

AIMA code in Prolog+
Mercury