Applying Deduction Systems
BREAKING NEWS: On Tuesday 27 May, 1:15 PM, Room EOO5 there will be a
talk by ROBERT KOWALSKI on Computing as Model Generation:
Programming in Logic without Logic Programming
(More information)
Lecture in Summer Semester 2014
Tuesday 3.DS (11:10-12:40) Room E005
Start: 8 April
The course language is English
Preliminaries: Basic knowledge of propositional and first-order
logic. Basic knowledge of Prolog.
|
Course Description |
Literature |
Downloads
We will approach automated deduction systems that follow different
paradigms from the view of the application user. The tutorials require
experimenting with the introduced systems and presenting solutions.
Discussed topics and systems will be
- Programming in logic, formula manipulation,
interfacing with XML and RDF (SWI-Prolog)
- First-order theorem proving (Hyper [formerly called E-KRHyper],
Prover9, E)
- Model computation, answer set programming (Hyper, Clingo [clasp/Gringo])
- Ontology reasoning (Protege/Hermit)
- Reasoning with forms of second-order quantifier elimination: Forgetting,
uniform interpolation, projection computation, abduction
- Richard O'Keefe: The Craft of Prolog, Cambridge, Mass., 1994
Many important tips and tricks for programming in Prolog
- Chitta Baral: Knowledge Representation,
Reasoning and Declarative Problem Solving, Cambridge, 2003
The textbook on answer set programming
- Robert
Kowalski: Logic Programming, draft paper, retrieved 20 March
2014
Excellent overview on issues of logic programming
by one of its inventors
[more to be announced]
Christoph Wernhard
Technische Universität Dresden
E-mail: christoph.wernhard@tu-dresden.de
Phone: +49 (0)351 463 38345
Office: Room 2017, Nöthnitzer Straße 46, 01187 Dresden
Home
Page at the Faculty