Quail '96 Study Group Homepage
Qual + AI = Quail
This page is intended to be a resource for Artificial Intelligence
Ph.D. Students at Stanford University who are studying for their
Qualifying Examination. The Qualifying Examination is one of the
numerous
Ph.D. requirements.
General Resources
On-Line AI Courses
Notes created by members of Quail 96:
These notes are being constantly revised
Search
Knowledge Representation
- Sunil's summary of "Knowledge Representation and Reasoning" by H.
Levesque.
- Pedrito's
summary of "Temporal Reasoning in Artificial intelligence"
by Shoham and Goyal
- Lise's summary
of Forbus' "Qualitative Physics: Past, Present and Future"
paper.
- Sunil's notes on KIF
and KQML.
Reasoning
- Eyal's
outline of Topics in Reasoning.
- Eyal's
summary of Reiter's Nonmonotonic Reasoning paper.
- Sunil's notes on
Propositional Logic, First Order and Second Order
Logic, Resolution and strategies.
Planning
- Lise's summary
of Chapman's "Planning for Conjunctive Goals" paper.
- Eyal's
summary of Nilsson's Chapter on Planning from "Principles
of Artificial Intelligence"
- Eyal's
summary of McDermott's "Robot Planning" paper
- Urszula's summary
of Latombe's "Robot Motion Planning" chapter.
- Sunil's summary
of Brady's "Basics of Robot Motion Planning and Control"
Learning
- Mehran's slides
from his talk on Generalization in Machine Learning
- Christian's summary
of Mitchell's "Generalization as Search" paper
- Urszula's summary
of Dietterich's "Machine Learning" paper
- Eyal's notes
on Deductive Learning.
Expert Systems
- Pedrito's
summary of Buchanan and Smith's "Fundamentals of Expert
Systems"
Natural Language Processing
- Sunil's summary
of Barr and Feigenbaum's chapter on NLP in The Handbook of AI,
Vol. 1, Chap 4
vemuri@ksl.stanford.edu