Course Name: CS6770 : Knowledge Representation & Reasoning

Description: Introduction to knowledge representation, the language of first order logic, reasoning with horn clauses, conceptual dependency and scripts, frames and inheritance, description logics, computing entailments and structure matching, conceptual graphs and Ontologies, default reasoning, belief networks, the situation calculus, expressiveness and tractability.

Slot: C

RoomNo: CS34

Instructor: Deepak Khemani

Period: JAN-MAY 2013

This page was created on: Thursday 19th of September 2013 09:42:05 PM