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

• Συγγραφή απο Οργανισμό/Αρχή: 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
• Θέματα: Architecture, Computer.; Software engineering.; Mathematical logic.; Artificial intelligence.; Computer programming.; Programming languages (Electronic computers).; Computer System Implementation.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Foundations.; Artificial Intelligence.; Programming Techniques.; Programming Languages, Compilers, Interpreters.

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

Πίνακας περιεχομένων:

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