Index of /dist/cogrob

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]AAAIfall95.ps.Z1995-09-15 10:56 62K 
[   ]GOLOGlang.ps.Z1996-10-03 18:09 103K 
[   ]README1996-12-11 12:17 6.3K 
[TXT]README.html1998-01-03 17:07 15K 
[TXT]README.old.23nov.1995.html1995-09-15 11:08 8.4K 
[   ]aaai96.ps.Z1996-03-19 16:14 81K 
[   ]ability-slides.ps.Z1994-03-18 17:27 72K 
[   ]abilityInSC.ps.Z1995-11-30 18:27 55K 
[   ]agentprog.ps.Z1995-11-23 19:04 50K 
[   ]agentprogfr.ps.Z1995-05-30 15:15 52K 
[   ]aijframe.ps.Z1994-03-10 17:07 96K 
[   ]bankingAgt.ps.Z1997-03-06 17:54 106K 
[   ]bisfai95.ps1996-05-31 14:32 177K 
[   ]causality.ps.Z1995-04-24 14:01 61K 
[   ]commonsense96.ps.Z1995-12-13 15:06 42K 
[   ]constraint.ps.Z1994-03-30 16:54 100K 
[   ]cut.ps.Z1995-10-30 14:00 77K 
[   ]dagstuhl.ps.Z1996-10-03 18:20 78K 
[   ]distribagents.ps.Z1995-02-22 12:22 65K 
[   ]edbt.ps.Z1994-02-01 12:39 59K 
[   ]fgcs.ps.Z1994-03-08 17:35 88K 
[   ]forgetting.ps.Z1994-07-15 16:49 50K 
[DIR]gifs/1995-11-10 12:35 -  
[   ]ieee-tse.ps.Z1996-01-11 12:31 72K 
[   ]indexcomm.ps.Z1994-07-18 14:21 67K 
[   ]indexmodal.ps.Z1994-01-14 16:35 157K 
[   ]indextempo.ps.Z1995-11-30 17:46 76K 
[   ]indtm.ps.Z1996-04-10 15:51 64K 
[   ]induction.ps.Z1994-01-20 17:00 72K 
[   ]jpThesis.ps.Z1994-05-09 15:36 403K 
[   ]lp.ps.Z1996-10-04 15:50 116K 
[   ]minker.ps.Z1994-03-09 11:56 86K 
[   ]natural.ps.Z1996-08-20 16:08 84K 
[   ]noise.ps.Z1995-03-06 16:48 53K 
[   ]occurrence.ps.Z1996-08-29 17:55 82K 
[   ]order.ps.Z1996-03-19 16:05 43K 
[   ]orderijcai.ps.Z1996-03-19 16:06 43K 
[   ]pcta.ps.Z1994-06-29 13:51 115K 
[   ]persist.ps.Z1995-11-10 16:44 57K 
[   ]planconf.ps.Z1994-02-01 12:34 55K 
[   ]progress.ps.Z1996-03-05 13:35 141K 
[   ]progress1.ps.Z1994-03-30 16:58 86K 
[   ]progress2.ps.Z1995-04-17 13:42 73K 
[   ]robotprog.ps.Z1995-01-16 16:17 79K 
[   ]schedule.ps.Z1996-05-27 14:34 112K 
[   ]sensing.ps.Z1996-07-25 23:37 67K 
[   ]simple.ps.Z1994-01-20 17:20 77K 
[   ]temporal.ps.Z1994-05-04 17:38 81K 
[   ]toilet.ps.Z1996-10-03 18:33 51K 
[   ]updates.ps.Z1995-02-28 15:14 136K 

U. of Toronto Cognitive Robotics Group Home Page

The Cognitive Robotics Group


University of Toronto


Project Leaders: Hector Levesque Ray Reiter
hector@ai.toronto.edu
reiter@ai.toronto.edu
Research Scientist: Fangzhen Lin
fl@ai.toronto.edu
Research Assistants: Jeff Lloyd Daniel Marcu
jlloyd@ai.toronto.edu
marcu@ai.toronto.edu
External Collaborators: Gerhard Lakemeyer Yves Lespérance
gerhard@uran.informatik.uni-bonn.de
lesperan@yorku.ca
Javier Pinto Richard Scherl
jpinto@malloco.ing.puc.cl
scherl@peirce.njit.edu
Graduate Students: Mikhail Soutchanski Eugenia Ternovskaia
m.soutchanski@utoronto.ca
eugenia@cs.toronto.edu

The Cognitive Robotics Group is concerned with endowing robotic or software agents with higher level cognitive functions that involve reasoning, for example, about goals, perception, actions, the mental states of other agents, collaborative task execution, etc. To do this, it is necessary to describe, in a language suitable for automated reasoning, enough of the properties of the robot, its abilities, and its environment, to permit it to make high-level decisions about how to act. The group has developed effective methods for representing and reasoning about the prerequisites and effects of actions, perception and other knowledge-producing actions, and natural events and actions by other agents. These methods have been incorporated into a logic programming language for agents called GOLOG (alGOl in LOGic). A prototype implementation of the language has been developed. Experiments have been conducted in using the language to build a high-level robot controller, some software agent applications (e.g. meeting scheduling), and more recently business process modeling tools.

List of Publications available in this archive

Papers submitted for publication

1997

1996

1995

1994

1993

1992

1991

Unpublished Manuscripts

Dept. of Computer Science
University of Toronto
Toronto, ON, CANADA, M5S 1A4
(416)-978-8737
FAX: (416)-978-1455