Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings. 1st ed. 1994

種類:

電子ブック

責任表示:

edited by Frank Pfenning

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994

著者名:

• Pfenning, Frank.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Artificial Intelligence ; 822

ISBN:

9783540485735 [3540485732]    

注記:

Generalization and reuse of tactic proofs -- Program tactics and logic tactics -- On the relation between the ??-calculus and the syntactic theory of sequential control -- On a proof-theoretical analysis of ? 1 1 -AC, ? 1 1 -DC and ? 1 1 -CA -- Proof plans for the correction of false conjectures -- On the value of antiprenexing -- Implementing a finite-domain CLP-language on top of Prolog: a transformational approach -- RISC-CLP(CF) constraint logic programming over complex functions -- Logical closures -- Higher-order rigid E-unification -- Program extraction in a Logical Framework setting -- Higher-Order Abstract Syntax with induction in Coq -- Towards efficient calculi for resource-oriented deductive planning -- A logic programming framework for the abductive inference of intentions in cooperative dialogues -- Constraint logic programming in the sequent calculus -- On conditional rewrite systems with extra variables and deterministic logic programs -- A bottom-up reconstruction of the well-founded semantic
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.

ローカル注記:

学内専用E-BOOKS (local access only)