en | de

Automated Theorem Proving

master program

VO2 + PS1  WS 2013/2014  703608 + 703609

Description

This lecture is part of the elective module "Automated Reasoning". The lecture introduces the concepts of automated theorem proving. The following topics will be discussed in the course:


Automated Theorem Provers (including Equality) for First-Order Logic
Resolution and Paramodulation
Application of Automated Theorem Provers for First-Order Logic

Lecture Notes