Course Instructor: Adina Magda Florea

Syllabus:

• Knowledge representation in a model.
• First order and higher order models.
• Nonmonotonic models.
• Temporal models.
• Logical models of higher order.
• Frame systems.
• Representing structured knowledge.
• Description logics and ontologies.
• Constraint-based representation and associated languages.
• Systems for maintaining data consistency.
• Bayesian networks.
• Plan representation and advanced techniques for automatic planning.
• Real life applications and usage of knowledge representation and automatic reasoning techniques.