Logic and Computation
COMPUTATIONAL LOGIC
Foundational course

JOERG SIEKMANN and MICHAEL KOHLHASE

Department of Computer Science, University of the Saarland
First week
siekmann@ags.uni-sb.de and kohlhase@ags.uni-sb.de
Course description

This foundational course will give an elementary introduction into computational logic and deduction systems.

The course will cover

  • automated theorem proving
  • unification theory
  • logic programming
  • feature logics and elementary knowledge representation
  • applications in natural language processing and data bases.
Prerequisites
We expect basic knowledge in classical logic and computer science, but no further expertise.
Literature
No specific recommendation

 

 

HOME
PROGRAMME
CONTACT
REGISTRATION