KOHLHASE, MELIS AND SIEKMANN

Logic and Computation
PROOF PLANNING

Workshop

MICHAEL KOHLHASE, ERICA MELIS and JOERG SIEKMANN

Department of Computer Science, University of the Saarland

First week
siekmann@ags.uni.sb.de, melis@ags.uni.sb.de, kohlhase@ags.uni.sb.de

Course description

Proof planning is one of the emerging new trends in automated deduction.

In contrast to classical automated theorem proving, that is essentially based on heuristic search on the calculus level, proof planning provides a higher level of abstraction. This level allows to express notions of intuitive mathematical proof techniques and control knowledge, which can be used to cut down search.

The workshop will be held August 18th. One of the founders of the field will participate and issue a key note. New results for proof planning will be presented and discussed

Prerequisites
None

Literature
No specific recommendation

HOME PROGRAMME CONTACT REGISTRATION

Logic and Computation	PROOF PLANNING
Workshop	MICHAEL KOHLHASE, ERICA MELIS and JOERG SIEKMANN Department of Computer Science, University of the Saarland
First week	siekmann@ags.uni.sb.de, melis@ags.uni.sb.de, kohlhase@ags.uni.sb.de
Course description	Proof planning is one of the emerging new trends in automated deduction. In contrast to classical automated theorem proving, that is essentially based on heuristic search on the calculus level, proof planning provides a higher level of abstraction. This level allows to express notions of intuitive mathematical proof techniques and control knowledge, which can be used to cut down search. The workshop will be held August 18th. One of the founders of the field will participate and issue a key note. New results for proof planning will be presented and discussed
Prerequisites	None
Literature	No specific recommendation