Knowledge Representation COMP 5307 Instructor: Prof. Leopoldo Bertossi Description of the course: Knowledge representation (KR), traditionally a main area of artificial intelligence, deals the problem of representing knowledge in computers and using it in computer systems. Symbolic logic provides formal languages with a clear syntax and semantics for representing knowledge, and deductive systems that can be used to automate reasoning and decision making. Knowledge representation has regained the interest and attention from the computer science and computer engineering communities due to the emergence of new and important areas that are based on or applying KR tools and concepts. Some of them are: semantic web, ontologies, logic-based agents technology, databases and information systems, and logic programming. This course presents the fundamentals and applications of logic-based knowledge representation and reasoning. It will not only benefit the students who wish to learn KR, but also those who need to learn the fundamentals of computational logic, a fundamental discipline for many areas of computer science.