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

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics