Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Stuckey, Peter J. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:1st ed. 2002.
Σειρά:Lecture Notes in Computer Science, 2401
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Invited 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.