Browse Hierarchy EBU6505: Reasoning and Agents

Back to EM-EECS-ELEC: Department of Electronic Engineering
This course provides an in-depth knowledge of various extensions of standard logics and reasoning methods. The course illustrates the way to formalise knowledge and questions in the form of logics, and to use automated reasoning systems to answer the questions. The key focus is placed on: Search Problem, Logical Representation and Planning, Scaling and Intelligent Planning using knowledge representation and reasoning methods.

Sorry, there are no lists here yet. You could try:

  • Clicking My Lists from the menu. Your course enrolled lists are stored here.
  • Searching for the list using the form below:

Lists linked to Reasoning and Agents

There are currently no lists linked to this Module.