Logic and Knowledge Processing in Computer Science

Instructor:

Paul Tarau, Professor - see my home page for contact info and office hours.

Objectives:

An overview of cutting-edge logic-based and knowledge representation techniques and tools used in computer science and engineering.

Syllabus

Logic systems and tools

Knowledge Processing

Applications

Directory for slides, assignments and other resources.

Evaluation: