Description of the main methods for automated reasoning
Subject
Summary of first order predicate logic; the resolution method;
completeness of
resolution (Herbrand Theorem, semantic trees); refinements of resolution;
the DPLL method for SAT; sequent calculus; the Theorema system.
Criteria for evaluation
Written examination
Language
English
Changing subject?
No
Earlier variants
They also cover the requirements of the curriculum (from - to) 201LOSDAURU13: UE Automated Reasoning (2013W-2023S)
