LEADER 06450nam 22007935 450 001 996466366303316 005 20200705164340.0 010 $a3-540-45619-8 024 7 $a10.1007/3-540-45619-8 035 $a(CKB)1000000000211981 035 $a(SSID)ssj0000324511 035 $a(PQKBManifestationID)11268427 035 $a(PQKBTitleCode)TC0000324511 035 $a(PQKBWorkID)10322754 035 $a(PQKB)10705652 035 $a(DE-He213)978-3-540-45619-3 035 $a(MiAaPQ)EBC3071666 035 $a(PPN)15518945X 035 $a(EXLCZ)991000000000211981 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming$b[electronic resource] $e18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /$fedited by Peter J. Stuckey 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XI, 486 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2401 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43930-7 320 $aIncludes bibliographical references and index. 327 $aInvited Speakers -- Representing Arithmetic Constraints with Finite Automata: An Overview -- Logic Databases on the Semantic Web: Challenges and Opportunities -- Conference Papers -- An Abductive Approach for Analysing Event-Based Requirements Specifications -- Trailing Analysis for HAL -- Access Control for Deductive Databases by Logic Programming -- Reasoning about Actions with CHRs and Finite Domain Constraints -- Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems -- Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints -- Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP -- A Model Theoretic Semantics for Multi-level Secure Deductive Databases -- Propagation Completeness of Reactive Constraints -- On Enabling the WAM with Region Support -- A Different Look at Garbage Collection for the WAM -- Copying Garbage Collection for the WAM: To Mark or Not to Mark? -- Logical Algorithms -- Logical Loops -- Learning in Logic with RichProlog -- Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification -- A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming -- Proving the Equivalence of CLP Programs -- A Purely Logical Account of Sequentiality in Proof Search -- Disjunctive Explanations -- Reasoning with Infinite Stable Models II: Disjunctive Programs -- Computing Stable Models: Worst-Case Performance Estimates -- Towards Local Search for Answer Sets -- A Rewriting Method for Well-Founded Semantics with Explicit Negation -- Embedding Defeasible Logic into Logic Programs -- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report -- Using Logic Programming to Detect Activities in Pervasive Healthcare -- Logic Programming for Software Engineering: A Second Chance -- A Logic-Based System for Application Integration -- Conference Papers -- The Limits of Horn Logic Programs -- Multi-adjoint Logic Programming: A Neural Net Approach -- Fuzzy Prolog: A Simple General Implementation Using CLP( ) -- Automated Analysis of CLP(FD) Program Execution Traces -- Schema-Based Transformations of Logic Programs in ?Prolog -- Non-uniform Hypothesis in Deductive Databases with Uncertainty -- Probabilistic Finite Domains: A Brief Overview -- Modelling Multi-agent Reactive Systems -- Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming -- A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs -- TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP -- Logical Grammars Based on Constraint Handling Rules -- Debugging in A-Prolog: A Logical Approach. 330 $aThis book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2401 606 $aArchitecture, Computer 606 $aSoftware engineering 606 $aMathematical logic 606 $aArtificial intelligence 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 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 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aArchitecture, Computer. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 14$aComputer System Implementation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aMathematical Logic and Foundations. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a003.3 702 $aStuckey$b Peter J$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466366303316 996 $aLogic programming$9337553 997 $aUNISA