000 05121nam a22005415i 4500
001 978-3-540-45619-3
003 DE-He213
005 20160624102005.0
007 cr nn 008mamaa
008 121227s2002 gw | s |||| 0|eng d
020 _a9783540456193
_9978-3-540-45619-3
024 7 _a10.1007/3-540-45619-8
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aLogic Programming
_h[electronic resource] :
_b18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings /
_cedited by Peter J. Stuckey.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2002.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2002.
300 _aXI, 486 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v2401
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aLogic design.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aProgramming Techniques.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aStuckey, Peter J.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540439301
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v2401
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-45619-8
942 _2EBK5480
_cEBK
999 _c34774
_d34774