Instructor: Theodore Patkos
Assistant: Katerina Papantoniou
Semester: Autumn / Winter 2018 (Postgraduate)
ECTS: 6
Prerequisite: ΗΥ-380
Recommended: ΗΥ-387



https://elearn.uoc.gr/course/view.php?id=1204


  • 1st-order Logic
  • Resolution-based theorem proving
  • SAT solvers
  • Description Logics
  • Non-monotonic reasoning
  • Knowledge and Belief
  • Answer Set Programming
  • Knowledge and Action
  • Uncertainty
  • Commonsense Reasoning
  • Temporal Reasoning
  • Planning
  • Applications
  • Knowledge-Based Systems
  • Multi- Agent Systems
  • Cognitive Robotics
  • Qualitative Reasoning and Diagnosis
  • Knowledge Engineering
  • Semantic Web

  • R. Brachman and H. Levesque, “Knowledge Representation and Reasoning”. Morgan Kaufmann, 2004
  • F. van Harmelen, V. Lifschitz, B. Porter, “Handbook of Knowledge Representation”, Elsevier, 2008
  • E. Mueller, “Commonsense Reasoning”, 2nd ed., MIT Press 2014
  • M. Gebser, R. Kaminski, B. Kaufmann, T. Schaub, “Answer Set Solving in Practice”, 2012
  • J. Halpern, Y. Moses, M. Vardi, “Reasoning about Knowledge”, MIT Press, 2005
  • H. Levesque and G. Lakemeyer, “The Logic of Knowledge Bases”, MIT Press, 2000

Lectures

Tuesday18:00-20:00
Thursday 16:00-18:00
A.121

Contact

patkos@ics.nullforthnull.gr
papanton@ics.nullforthnull.gr