5. LPAR 1994:
Kiev,
Ukraine
Frank Pfenning (Ed.):
Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings.
Lecture Notes in Computer Science 822 Springer 1994, ISBN 3-540-58216-9 BibTeX
@proceedings{DBLP:conf/lpar/1994,
editor = {Frank Pfenning},
title = {Logic Programming and Automated Reasoning, 5th International
Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
booktitle = {LPAR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {822},
year = {1994},
isbn = {3-540-58216-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Amy P. Felty, Douglas J. Howe:
Generalization and Reuse of Tactic Proofs.
1-15 BibTeX
- Fausto Giunchiglia, Paolo Traverso:
Program Tactics and Logic Tactics.
16-30 BibTeX
- Philippe de Groote:
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control.
31-43 BibTeX
- Sergei Tupailo:
On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA.
44-53 BibTeX
- Raul Monroy, Alan Bundy, Andrew Ireland:
Proof Plans for the Correction of False Conjectures.
54-68 BibTeX
- Uwe Egly:
On the Value of Antiprenexing.
69-83 BibTeX
- Henk Vandecasteele, Danny De Schreye:
Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach.
84-98 BibTeX
- Hoon Hong:
RISC-CLP(CF) Constraint Logic Programming over Complex Functions.
99-113 BibTeX
- Dominic Duggan:
Logical Closures.
114-128 BibTeX
- Jean Goubault:
Higher-Order Rigid E-Unification.
129-143 BibTeX
- Penny Anderson:
Program Extraction in a Logical Framework Setting.
144-158 BibTeX
- Joëlle Despeyroux, André Hirschowitz:
Higher-Order Abstract Syntax with Induction in Coq.
159-173 BibTeX
- Stefan Brüning:
Towards Efficient Calculi for Resource-Oriented Deductive Planning.
174-188 BibTeX
- Paulo Quaresma, José Gabriel Lopes:
A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues.
189-199 BibTeX
- John Darlington, Yike Guo:
Constraint Logic Programming in the Sequent Calculus.
200-214 BibTeX
- Jürgen Avenhaus, Carlos Loría-Sáenz:
On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs.
215-229 BibTeX
- Cristian Papp:
A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs.
230-244 BibTeX
- Dietmar Seipel:
An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets.
245-259 BibTeX
- Donald A. Smith, Timothy J. Hickey:
Multi-SLD Resolution.
260-274 BibTeX
- Bernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray:
On Anti-Links.
275-289 BibTeX
- Lunjin Lu:
A Generic Declarative Diagnoser for Normal Logic Programs.
290-304 BibTeX
- Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo:
Goal Dependent versus Goal Independent Analysis of Logic Programs.
305-319 BibTeX
- Philippe Mathieu, Jean-Paul Delahaye:
A Kind of Achievement by Parts Method.
320-332 BibTeX
- Zhenhua Duan, Maciej Koutny, Chris Holt:
Projection in Temporal Logic Programming.
333-344 BibTeX
Copyright © Sat May 16 23:28:59 2009
by Michael Ley (ley@uni-trier.de)