Knowledge Representation and Reasoning HY567

Knowledge Representation & Reasoning
HY 567

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

Tuesday 18:00-20:00

Thursday 16:00-18:00

A.121

Contact

patkos@ics.nullforthnull.gr

papanton@ics.nullforthnull.gr