This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.
This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.
Author(s): Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)
Series: Lecture Notes in Computer Science 822 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 352
Tags: Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations
Generalization and reuse of tactic proofs....Pages 1-15
Program tactics and logic tactics....Pages 16-30
On the relation between the λ μ -calculus and the syntactic theory of sequential control....Pages 31-43
Proof plans for the correction of false conjectures....Pages 44-53
On the value of antiprenexing....Pages 54-68
Implementing a finite-domain CLP-language on top of Prolog: a transformational approach....Pages 69-83
RISC-CLP(CF) constraint logic programming over complex functions....Pages 84-98
Logical closures....Pages 99-113
Higher-order rigid E-unification....Pages 114-128
Program extraction in a Logical Framework setting....Pages 129-143
Higher-Order Abstract Syntax with induction in Coq....Pages 144-158
Towards efficient calculi for resource-oriented deductive planning....Pages 159-173
A logic programming framework for the abductive inference of intentions in cooperative dialogues....Pages 174-188
Constraint logic programming in the sequent calculus....Pages 189-199
On conditional rewrite systems with extra variables and deterministic logic programs....Pages 200-214
A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs....Pages 215-229
An efficient computation of the extended generalized closed world assumption by support-for-negation sets....Pages 230-244
Multi-SLD resolution....Pages 245-259
On anti-links....Pages 260-274
A generic declarative diagnoser for normal logic programs....Pages 275-289
Goal dependent vs. goal independent analysis of logic programs....Pages 290-304
A kind of achievement by parts method....Pages 305-319
Projection in temporal logic programming....Pages 320-332
....Pages 333-344
