| 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:
|