Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Biotechnology in Agriculture and Forestry)

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.--publisher's Website. Generalization And Reuse Of Tactic Proofs / Amy Felty And Douglas Howe -- Program Tactics And Logic Tactics / Fausto Giunchiglia And Paolo Traverso -- On The Relation Between The [lambda][mu]-calculus And The Syntactic Theory Of Sequential Control / Philippe De Groote -- On A Proof-theoretical Analysis Of [actual Symbol Not Reproducible] / Sergei Tupailo -- Proof Plans For The Correction Of False Conjectures / Raul Monroy, Alan Bundy And Andrew Ireland -- On The Value Of Antiprenexing / Uwe Egly -- Implementing A Finite-domain Clp-language On Top Of Prolog: A Transformational Approach / Henk Vandecasteele And Danny De Schreye -- Risc-clp(cf) Constraint Logic Programming Over Complex Functions / Hoon Hong -- Logical Closures / Dominic Duggan -- Higher-order Rigid E-unification / Jean Goubault -- Program Extraction In A Logical Framework Setting / Penny Anderson -- Higher-order Abstract Syntax With Induction In Coq / Joelle Despeyroux And Andre Hirschowitz -- Towards Efficient Calculi For Resource-oriented Deductive Planning / Stefan Bruning -- Logic Programming Framework For The Abductive Inference Of Intentions In Cooperative Dialogues / Paulo Quaresma And Jose Gabriel Lopes -- Constraint Logic Programming In The Sequent Calculus / John Darlington And Yike Guo -- On Conditional Rewrite Systems With Extra Variables And Deterministic Logic Programs / Jurgen Avenhaus And Carlos Loria-saenz -- Bottom-up Reconstruction Of The Well-founded Semantics For Disjunctive Logic Programs / Cristian Papp -- Efficient Computation Of The Extended Generalized Closed World Assumption By Support-for-negation Sets / Dietmar Seipel -- Multi-sld Resolution / Donald A. Smith And Timothy J. Hickey -- On Anti-links / Bernhard Beckert, Reiner Hahnle, Anarai Ramesh And Neil V. Murray -- Generic Declarative Diagnoser For Normal Logic Programs / Lunjin Lu -- Goal Dependent Vs. Goal Independent Analysis Of Logic Programs / M. Codish, M. Garcia De La Banda, M. Bruynooghe And M. Hermenegildo -- Kind Of Achievement By Parts Method / Ph. Mathieu And J. P. Delahaye -- Projection In Temporal Logic Programming / Zhenhua Duan, Maciej Koutny And Chris Holt. Frank Pfenning (ed.). Includes Index. Includes Bibliographical References And Index. 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