11. ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming

The workshop will provide a forum to discuss the use of proof-theoretical techniques in logic programming as well as the influence of proof theory on the future development of this field. Topics include proof-theoretical foundations of logic programming, languages based on proof theory and applications. Critical and comparative papers are also welcome.

Proof Search

Partial Inductive Definitions

Modal Extensions

Applications and Interpreters

Other Approaches

maintained by Schloss Dagstuhl LZI, founded at University of Trier