![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
11th ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming
- Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi:
ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994
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
- Roy Dyckhoff, Natarajan Shankar:
Proof Search (Tutorial). ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - Roy Dyckhoff, Luís Pinto:
Uniform Proofs and Natural Deduction. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - Natarajan Shankar:
Using Proof Theory to Optimize Proof Search. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - Didier Galmiche:
Canonical Proofs for Linear Logic Programming Frameworks. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994
Partial Inductive Definitions
- Lars Hallnäs, Per Kreuger:
Partial Inductive Definitions (Tutorial). ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - Göran Falkman, Lars Hallnäs, Olof Torgersson:
Program Separation in GCLA. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - Per Kreuger:
A-Sufficient Substitutions in mixed Contents. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994
Modal Extensions
- Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994
Applications and Interpreters
- Iliano Cervesato:
Lollipops Taste of Vanilla too. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - Francesca Arcelli, Ferrante Formato:
Higher-Order Implementation of Program Transformations using Algebraic Specification. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - I. Stephan:
An SLOU Prolog Interpreter. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - Peter J. Robinson, John Staples, Anthony S. K. Cheng:
Theorem Proving Applications for QU-Prolog. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994
Other Approaches
- Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone:
Integrating Reflection into SLD-Resolution. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - Henning Christiansen:
On Proof Predicates in Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - R. S. Kemp, Graem A. Ringwood:
Reynold and Heyling Models of Logic Programs. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.