Artificial Intelligence Research Group

http://web.cs.ualberta.ca/Academic/labs/ai.html (PC Press Internet CD, 03/1996)

People

Press here to see photographs, pronunciations, names, and pointers to the home pages of Faculty, Staff, and Graduate Students (this may take a few moments).
Press here to see names and pointers to the home pages of Faculty, Staff, and Graduate Students.

Current research activities

Research of the Artificial Intelligence group includes theoretical and empirical models of belief revision, abductive, analogical and non-monotonic reasoning, experimental investigation of cognitive aspects of non-monotonic reasoning and belief revision, theoretical and empirical studies of constraint satisfaction algorithms, theoretical relationships between semantics of logic programming and AI models of non-monotonic reasoning and belief revision, development and application of theories of natural language dialogue, and the development and application of adaptive logic networks.

The brief details provided below can easily be out of date. Details are best represented by viewing the home pages of lab members.

Adaptive Logic Networks
Chinook, a world championship checkers program
Cognitive Science Projects
Intelligent Scheduling
Parallel Game Playing Systems and Algorithms
Speech and Signal Understanding
Theorist/XTheorist, a default and abductive reasoning system
Thinker, a natural deduction theorem prover

Publications

Technical Reports

Accessible Software

The official ftp site is ftp.cs.ualberta.ca.
Some specific items of interest are:

Related external activities

PRICAI Pacific Rim International Conference on Artificial Intelligence
SEP Society For Exact Philosophy

Research Facilities

Additional Information

for general Artificial Intelligence, contact Randy Goebel
for Cognitive Science, contact Renée Elio
for Game Playing, contact Jonathan Schaeffer

June 13, 1995