dblp.uni-trier.de www.uni-trier.de

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



Alberto Momigliano
CMU, Pittsburgh, PA 15213-3890, U.S.A.

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

Copyright © Sat May 16 23:20:25 2009 by Michael Ley (ley@uni-trier.de)