https://ai-krml-uoft.github.io/Recent content on AI-KRML-UofTHugo -- gohugo.ioen-usTue, 04 Jun 2024 14:09:58 -0400https://ai-krml-uoft.github.io/systems/Tue, 04 Jun 2024 14:09:58 -0400https://ai-krml-uoft.github.io/systems/Our group has developed many software packages, tools, and solvers over the years, from agent interpreters and systems, to planning and learning systems. These are now being hosted on our GitHub Organization.https://ai-krml-uoft.github.io/home/Tue, 21 May 2024 15:12:50 -0400https://ai-krml-uoft.github.io/home/The AI-KRM-UofT 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.