| On-line
Computing Resources |
| AI
Links |
 |
Russell's Artificial Intelligence:
A Modern
Approach (Official Website) - Good. |
 |
Intelligent
Systems Lab (NUS) |
 |
Knowledge Based Systems
Group - Some Related Projects [sb] |
 |
International Journal
of Applied Expert Systems [sb] |
 |
Intelligent Systems Lab
(MSU) [sb] |
 |
CMU Artificial Intelligence
Repository [sb] |
 |
Computer Based Learning
Unit (Leeds Uni.) [sb] |
 |
Journal of AI Research
[sb] |
 |
Introduction
to AI & ES (OSU) |
 |
AI2
(Cardiff) |
 |
Knowledge
Based Engineering (JKU) |
 |
Intelligent
Internet Agents |
 |
Innovative
Applications of Artificial Intelligence |
 |
Decision
Analysis and Expert Systems |
 |
The
Impact of Knowledge and Technology Complexity on Information Systems
Development |
 |
The
Evolution of an Expert System in Food Service Forecasting |
 |
Characteristics
of Expert Systems |
 |
Interesting
AI Demos and Projects |
 |
AI
on the Web |
 |
Neural
Network Applications (JSAIC) |
 |
AI
Tutorials |
 |
AI
Courses |
 |
Artificial
Intelligence (UI) |
 |
AI & ES
(NCSU) |
 |
Useful AI-Related
Pages |
 |
In pursuit
of intelligent search
engines |
 |
AI Should we, and if
we should then how? |
 |
AI on the Web
|
 |
Interesting AI
Demos and Projects |
 |
AI related
FAQs 1 | 2 |
 |
Alan Turing Home Page |
 |
Kasparov
vs Deep Blue |
 |
Journal
of AI Research |
 |
KBS & SALT Information
sources, Tutorials |
 |
A High Quality Text-To-Speech
System Composed of Multiple Neural Networks |
 |
AI Materials
(Kingston)
|
 |
Kingston University |
 |
Java
Demo Applets for Artificial Intelligence |
 |
MACS 404: Artificial
Intelligence (CSM) |
 |
AI Lecture
Notes (McGill University)
|
 |
Institute of IT (AI
Resources) |
 |
Journal
of AI Research |
 |
AI:
Modern Approach (Source Codes) |
 |
AI
(Sunderland) |
 |
AI (Some
Assignments, Projects and Exam / Solutions) |
 |
Software for "Programming
AI: Methods, Tools and Apps" Book 2
|
 |
Smart
Moves: Intelligent Pathfinding ori |
 |
AI/Game Programming Resources
and Links
|
 |
Game Programming with
AI, Games Articles |
 |
Loebner Prize--"The
First Turing Test" |
 |
CLIPS: A Tool for Building
Expert Systems |
 |
The
Age of Robots |
 |
What
is Artificial Intelligence? |
 |
Generation 5:
AI Repository |
 |
AI Timeline
(up to 1994) |
 |
The History of AI
(up to 1991) |
 |
The History of AI (Huge
URLs) |
 |
PC AI
(AI Information) - Good |
| |
|
|
|
|
|
| Intelligent Agents |
 |
Schuster's Software
Agent Resource (huge) |
 |
UMBC, Papers: 1 | 2 |
 |
Intelligent Software Agent Bibliography,
2 |
 |
A CEO's Guide to eCommerce Using
Intelligent Agents |
 |
www.agents.org |
 |
FIFA 97' Documents |
 |
Is
it an Agent, or just a Program?: A
Taxonomy for Autonomous Agents |
 |
Dana
Autonomous Agent Resources
Links |
 |
Agent theory -- philosophy,
formalisms, ... |
 |
List
of bibliographies related to IA and MAS |
 |
Agent-Based Engineering,
the Web, and Intelligence |
 |
The Spot for all Bots &
Intelligent Agent |
 |
Agent
BibTex @ BHam/UK- online papers |
 |
IBM Intelligent
Agents |
 |
Intelligent
Agents WWW sites (well categorised) |
 |
Intelligent
Agents Repository |
 |
Autonomous Agents 97
- Online Proceedings |
 |
Multi-Agent
Systems (Links to Online Papers) |
 |
Agent Related
Papers |
 |
Agents
and Multi-Agent Systems Web Sites |
 |
Internet
Information Gathering |
 |
Towards
Visualisation of Multi-Agent Systems |
 |
Software Agents for Information
Retrieval |
 |
Autonomous Agents
and Multi-Agent Systems Journal
|
 |
Software
Agents Papers (from Wirtschaftsinformatik) |
 |
BotSpot The Spot for all Bots
on the Net |
 |
Intelligent
Internet Agents |
 |
Bibliography Search
Engine for Agents: SoftAgents
| DAI&MAS
| IA&MAS
| Robotics |
|
|
| Search |
 |
http://cs.fit.edu/~morris/c5071.html |
 |
AI Lectures
on Search (Cardiff) |
 |
Using Search
in Problem Solving (Edinburgh) |
 |
All the
Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial
Chaos (reading) |
 |
Search
Strategies
|
 |
Agents
Which Solve Problems by Searching
|
 |
BFS,
DFS, BS, LS, IDS |
 |
AI Search Algo
Animation Project (Java Applet) |
 |
Nets and Basic
Search |
 |
Uninformed
Search Methods |
 |
Informed
Search Methods |
 |
Various
Searches, Web-Robot search example, 1st Order Logic |
 |
Search
(Kingston) |
 |
Search
Algorithms and Rule-based Reasoning: An Introduction |
 |
Overview
of Modern Heuristic |
 |
A Third of a Century:
Transport Scheduling
(Leeds) |
 |
Search
Papers by Alexander Reinefeld |
 |
Search
Papers from Paderborn Universität |
 |
Teaching
Search |
 |
Search:
Algorithms, Best First Family, Adv Algo, Constraints, Minimax with AB
cutoff (Temple) |
 |
Search
(SNU) |
 |
Game
Search (Gatech)
|
 |
Search
(Union) |
|
|
|
|
| Simulated
Annealing |
 |
Simulated Annealing
Interactive Demo |
 |
Simulated
Annealing - Global Optimization Method That Distinguishes Between Different
Local Optima |
 |
Simulated
Annealing (brief) |
 |
Simulated
Annealing (detail) |
 |
Simulated Annealing
(history + detail) |
 |
A Gallery
of Graphical Annealing Results (Huge) |
 |
Tech.
Reports on Simulated Annealing |
 |
Minimizing
by Simulated Annealing |
 |
Simulated
Annealing (Slides) |
 |
|
|
|
| Tabu
Search |
 |
What
is Tabu Search? (by Prof Glover) |
 |
Tabu
Search papers by A/P Manuel Laguna |
 |
Tabu
Search: History & Algorithm |
 |
Tabu Search Overview |
 |
Implementation
of Optimisation Algorithms |
 |
A Survey of Global Optimization
Methods: B&B, Clustering, Evolutionary Algorithms, Hybrid,
SA, Statistical Methods, TS |
 |
C
code for Reactive Tabu Search |
 |
What is Tabu
Search? (by Prof Glover) |
|
|
| Game
Playing |
 |
Game Playing papers
(including Deep Blue paper) |
 |
Animation
of a Minimax Algorithm (and ftp
papers) |
 |
Minimax & Alpha-Beta
Algorithm Lecture notes (MALTA) |
 |
MiniMax
with Alpha-Beta Pruning |
 |
The Game
Programming Page (Huge) |
 |
MiniMax
& Minimax Alpha Beta Pruning Applet |
 |
Minimax
and Alpha-Beta Template |
 |
The
Anatomy of a Game Program & The Anatomy
of Chess Programs (Paper) |
 |
Annotated bibliography
of Othello programming |
 |
How
Computers Play Chess |
 |
NegaScout:
A Minimax Algorithm faster than AlphaBeta |
 |
MTD(f): A Minimax Algorithm
faster than NegaScout |
 |
The Cilk Project
(Chess, with papers) |
 |
Computer
Chess Programming |
 |
Kasparov
vs Deep Blue |
 |
Chess Programming |
 |
Algorithm Animation
Links |
 |
Smart
Chess Online |
 |
Computer
Chess (Theoritical Lecture on Development Aspects) |
 |
Rebel's analysis
on Kasparov & Deep Blue rematch |
 |
The
Art of Computer Game Design by Chris
Crawford |
|
|
|
|
| Knowledge
Representation |
 |
What is
a Knowledge Representation? |
 |
Logic Based
Approach to AI |
 |
KR by Ray Phau |
 |
Knowledge
Representation, Planning, Search and Natural Language Processing |
 |
Representing
Knowledge with Logic |
 |
Free
Prolog Implementations |
 |
Free
Common Lisp implementations |
 |
An Introduction to Common
Lisp |
 |
Cycorp |
 |
Scaffolding |
 |
KR
(Rutgers) |
 |
Logic and AI
(RPI) |
 |
Glossary
of First-Order Logic |
|
|
|
|
| Situation
Calculus |
 |
Concepts
of Logical AI, SCF |
 |
Decision Theory, the Situation
Calculus and Conditional Plans alt |
 |
Representing
the situations to help
the cooperative revision |
 |
Situation
Calculus Representation (Example using missionaries
and cannibals) |
 |
Mental
Situation Calculus (Stanford) |
 |
Situation
Calculus & Agents papers |
 |
Situation
Calculus and Planning, STRIPS,
Semantics
of STRIPS (Rutger) TOC |
 |
Formalizing
Context |
 |
Making
Robots Conscious of their Mental States |
 |
Situation
Calculus with Concurrent Events and Narrative |
 |
Papers by John McCarthy |
 |
Stanford Formal Reasoning Group |
 |
Scheduling in
the situation calculus: A case study |
 |
The Situation Calculus with
Sensing and Indexical Knowledge |
 |
The
Wumpus World |
 |
Implementing
an Intelligent Agent
for the Wumpus World in PROLOG |
 |
Papers by David
Poole |
 |
Papers by Javier Pinto |
 |
Papers
in FOURTH SYMPOSIUM ON LOGICAL FORMALIZATIONS OF COMMONSENSE REASONING
98 |
 |
Automating
Proofs of Integrity Constraints in Situation Calculus |
 |
Non-monotonicity |
|
|
|
|
| Planning |
 |
Planning and
Learning Methods in AI |
 |
Planning (ISI) |
 |
AI planning and scheduling
systems (Resource) |
 |
Dynamical Systems as
the Abstraction for Understanding Issues in Planning |
 |
JPL Planning
and scheduling page, papers |
 |
Planning
List Digest |
 |
U.K. Planning and
Scheduling SIG , papers |
 |
AI Planning
Resources (UMass) |
 |
Artificial Intelligence
Papers (Brown) |
 |
Planning Methods In Artificial
Intelligence (ASU) |
 |
Planning
and Scheduling (HUD) pub |
 |
Projects
in AI Planning Systems (Washington) |
 |
Planning Papers in
Maryland |
 |
Planning
Papers in Indiana |
 |
Planning
resources + papers from CMU AI Repository |
 |
Planning
(Rutgers), STRIPS |
 |
Propositional
STRIPS Planning Problem Reversal |
 |
STRIPS
& Blockworld, Some
Ideas about Means-Ends Analysis |
 |
Software
for Automated Planning |
 |
Graphplan
A planner for STRIPS-like domains |
 |
Strips planner software, Abstraction Strips; software and papers
|
 |
blackbox
= satplan + graphplan |
 |
Planning Resource
(Edinburgh),
papers |
 |
Commercial
Applications of AI Planning Technologies |
 |
Shakey
the Robot Applet |
 |
Introspective
Learning for Case-Based Planning |
 |
Photo
of the Shakey Robot |
 |
SRI Papers (Search) |
 |
Arizona Papers |
 |
STRIPS
(Gatech) |
 |
AI planning
and scheduling systems (Maryland) |
 |
Artificial Intelligence
Planning (ISI) |
 |
Planning
Under Uncertainty |
 |
STAN
A graphplan-based planner |
 |
A Planning
System Based on Plan Re-Use and Its Application to Geographical Information
Systems and Remote Sensing |
 |
Planning
(Brynmawr) |
 |
Constructing
Planners Through Problem-Solving Methods |
 |
TRL-Planner: An approach
to Temporal Hierarchical Planning |
 |
A
Formal Planning Model for Case-Based Process Planning |
 |
Planning
by Stochastic Search |
 |
Topics
in Planning (UDel) |
 |
Constructing
Planners Through Problem-Solving Methods |
 |
Reasoning
Methods in AI (NASA) |
 |
Recent Papers
by David Wilkins |
 |
Classical Planning
(ASU) *Good* |
 |
AI
Planning - A Brief Introduction (KL) |
 |
AI
Techniques for Process Support (PPT) |
 |
Example
of Nonlinear Planning |
 |
Dolittle:
A Multi-Strategy Planner |
 |
A Problem
solving system that integrates search-based planning, analogical reasoning
and machine learning components. Intro,
LitReview,
ProbSolver,
EmpResults,
Conclusion |
 |
On
the intersection of story understanding and learning |
 |
Planning
Agent |
|
|
| Natural
Language Processing |
 |
NLP
(Harvard) |
 |
NLP
FAQ |
 |
The Computation and Language E-Print
Archive (NLP Papers) |
 |
NLP
(Indiana) - Short notes |
 |
PC-KIMMO: A
morphological parser |
 |
Natural Language
Computing An English Generative Grammar in Prolog - Some
pdf for download |
 |
The NL Software Registry
(NLP software) |
 |
The Association for
Computational Linguistics |
 |
NLP (Leeds) |
 |
NLP
(Metu) |
 |
NLP
(BYU) |
 |
NLP
(NUS) |
 |
NLP
(NCST) |
 |
NLP
(UCI) - hw |
 |
NLP
(Russell and Norvig) |
 |
NLP (UNSW) |
 |
Introduction to
Computational Linguistics (Georgetown) |
 |
Introduction to
NLP (Georgetown) |
 |
AI - NLP
(VILL) |
 |
NLP
(Yahoo) |
 |
Statistical
NLP: Theory and Practice (SU) |
 |
NLP
(HWU) |
 |
NLP Parser
Demonstration Page |
 |
LT THISTLE
(NLP Demos), Parsing
Java Demo |
 |
Java Interactive
Syntax Tutor |
 |
NLP
(UWM) |
 |
NLP
(Purdue) |
 |
Intro to NLP
(UM) |
 |
DRDODDS
NL Speech Processing and Text Understanding |
 |
NLP Resource Page |
 |
Internet Grammar of
English |
 |
A Summary
of Research on Text Understanding |
 |
NLP
(Microsoft) |
 |
NLP Lab
(UDEL) |
 |
NLP (BU) |
 |
NLP:
An Overview (Trincoll) |
 |
NLP &
IR Publications (NIST)
|
 |
NLP
Publications (Texas) |
 |
Natural Language Query
and Response |
 |
Bibliography:
NLP,
NLP+CL |
 |
NLP papers
by Akira Asano |
 |
NLP
& Computational Linguistics (Huge) |
 |
NLP Links |
 |
Natural Language Processing
and AI |
 |
The ACL NLP/CL
Universe |
 |
The Institute
for Logic, Language and Computation (Publications) |
 |
EPapers URLs
@ Stuttgart |
 |
PIRA
NLP Links (Good) |
 |
Microsoft
Windows Highly Intelligent Speech Recognizer - Whisper |
 |
Using A Stochaistic Context-Free
Grammar as a Language Model for Speech Recognition + Demo |
 |
Syntax |
 |
Summary
of "Understanding NL" |
 |
Syntactic
Analysis |
 |
Structural
Grammar |
 |
Specialist
Lexicon |
 |
GRAMMAR:
Words and Their Arrangement |
 |
Cognitive
English Grammar |
 |
Difference between
transitive verbs & intransitive verbs |
 |
NL
and Logic Programming |
 |
Link Group (CMU), Link Parser 3.0 |
 |
Lexicon
of Linguistics (A-Z) - Great Dictionary
of Linguitics Terms |
 |
Elementary Grammar |
 |
Elements of Style |
 |
Grammar and Style Notes |
 |
NLP Pointers
- Gen, IR, Speech, Coy, On-line Paps, Linguistics, Software |
 |
Survey of
Grammar Models |
 |
Transformational
Grammar |
 |
Language and Mind: Current
Thoughts on Ancient Problems by Noam Chomsky (1997) |
 |
Automata Theory
and Formal Languages |
 |
Automata
Lectures |
 |
An Overview of
Public Domain Language Engineering Generic Tools |
 |
Software
Tools for NLP |
 |
Collection
of Ambiguous or Inconsistent/Incomplete Statements |
 |
An Introduction to
Lambda Calculus and
Scheme |
 |
Turing
Machines and Lambda Calculus |
 |
Introduction
to Functional Programming (postscript)
- Good coverage on Lambda Calculus |
 |
Contextually-Dependent
Lexical Semantics |
 |
A
DOP Model for Semantic
Interpretation (postscript)
|
 |
NLP (HW) |
 |
NLP
(IU) |
 |
NLP
(Kingston) |
 |
NL Grammatical
Inference |
 |
Bell's Text-to-Speech
Synthesis (On-line) |
 |
WordNet -
a Lexical Database for English
|
 |
The CHAT Natural Language
System |
 |
Kim Binsted (Joke Analysis
and Production Engine) |
|
|
| Philosophy |
 |
Philosophy
& AI: An Annotated Bibliography |
 |
Marvin Minsky |
 |
Some Philiosophical
Problems from the Standpoint of AI |
 |
Perspectives
on AI |
 |
Russell Philosophy
URLs |
 |
AI
(Brynmawr) |
 |
Archives
for the comp.ai.philosophy newsgroup |
 |
Yahoo's Philosophy
URLs |
 |
Computational
Intelligence: A Logical Approach |
 |
Philosophy
of Artificial Intelligence |
 |
Online Bibliographies
in Philosophy, Consciousness, and such |
 |
Minds
and Machines (Journal for Artificial Intelligence,
Philosophy and Cognitive Science) |
 |
ALife:
|