This 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.
Author(s): Bernard Boigelot, Pierre Wolper (auth.), Peter J. Stuckey (eds.)
Series: Lecture Notes in Computer Science 2401
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 486
Tags: Artificial Intelligence (incl. Robotics); Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Representing Arithmetic Constraints with Finite Automata: An Overview....Pages 1-20
Logic Databases on the Semantic Web: Challenges and Opportunities....Pages 20-21
An Abductive Approach for Analysing Event-Based Requirements Specifications....Pages 22-37
Trailing Analysis for HAL....Pages 38-53
Access Control for Deductive Databases by Logic Programming....Pages 54-69
Reasoning about Actions with CHRs and Finite Domain Constraints....Pages 70-84
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems....Pages 85-99
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints....Pages 100-114
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP....Pages 115-129
A Model Theoretic Semantics for Multi-level Secure Deductive Databases....Pages 130-147
Propagation Completeness of Reactive Constraints....Pages 148-163
On Enabling the WAM with Region Support....Pages 163-178
A Different Look at Garbage Collection for the WAM....Pages 179-193
Copying Garbage Collection for the WAM: To Mark or Not to Mark?....Pages 194-208
Logical Algorithms....Pages 209-223
Logical Loops....Pages 224-238
Learning in Logic with RichProlog....Pages 239-254
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification....Pages 255-270
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming....Pages 271-286
Proving the Equivalence of CLP Programs....Pages 287-301
A Purely Logical Account of Sequentiality in Proof Search....Pages 302-316
Disjunctive Explanations....Pages 317-332
Reasoning with Infinite Stable Models II: Disjunctive Programs....Pages 333-347
Computing Stable Models: Worst-Case Performance Estimates....Pages 347-362
Towards Local Search for Answer Sets....Pages 363-377
A Rewriting Method for Well-Founded Semantics with Explicit Negation....Pages 378-392
Embedding Defeasible Logic into Logic Programs....Pages 393-404
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report....Pages 405-420
Using Logic Programming to Detect Activities in Pervasive Healthcare....Pages 421-436
Logic Programming for Software Engineering: A Second Chance....Pages 437-451
A Logic-Based System for Application Integration....Pages 452-466
The Limits of Horn Logic Programs....Pages 467-467
Multi-adjoint Logic Programming: A Neural Net Approach....Pages 468-468
Automated Analysis of CLP(FD) Program Execution Traces....Pages 469-469
Schema-Based Transformations of Logic Programs in λProlog....Pages 470-471
Non-uniform Hypothesis in Deductive Databases with Uncertainty....Pages 472-472
Probabilistic Finite Domains: A Brief Overview....Pages 473-474
Modelling Multi-agent Reactive Systems....Pages 475-475
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming....Pages 476-476
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs....Pages 477-477
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP....Pages 478-479
Logical Grammars Based on Constraint Handling Rules....Pages 480-480
Debugging in A-Prolog: A Logical Approach....Pages 481-481
....Pages 482-483
