LEADER 05089nam 22007455 450 001 996465978103316 005 20200705145802.0 010 $a3-540-48573-2 024 7 $a10.1007/3-540-58216-9 035 $a(CKB)1000000000234137 035 $a(SSID)ssj0000324519 035 $a(PQKBManifestationID)11241180 035 $a(PQKBTitleCode)TC0000324519 035 $a(PQKBWorkID)10313381 035 $a(PQKB)11694773 035 $a(DE-He213)978-3-540-48573-5 035 $a(PPN)155193066 035 $a(EXLCZ)991000000000234137 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Automated Reasoning$b[electronic resource] $e5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings /$fedited by Frank Pfenning 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (XII, 352 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v822 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-58216-9 327 $aGeneralization 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 semantics for disjunctive logic programs -- An efficient computation of the extended generalized closed world assumption by support-for-negation sets -- Multi-SLD resolution -- On anti-links -- A generic declarative diagnoser for normal logic programs -- Goal dependent vs. goal independent analysis of logic programs -- A kind of achievement by parts method -- Projection in temporal logic programming. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v822 606 $aArchitecture, Computer 606 $aProgramming languages (Electronic computers) 606 $aComputers 606 $aArtificial intelligence 606 $aComputer programming 606 $aMathematical logic 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArchitecture, Computer. 615 0$aProgramming languages (Electronic computers). 615 0$aComputers. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aMathematical logic. 615 14$aComputer System Implementation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1/1 702 $aPfenning$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLPAR (Conference) 906 $aBOOK 912 $a996465978103316 996 $aLogic Programming and Automated Reasoning$92830654 997 $aUNISA