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...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
2401 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002, Proceedings, Peter J. Stuckey (ed.), Berlin, Springer, 2002, 1 vol. (XI-486 p.), Lecture notes in computer science, 3-540-43930-7 • Logic Programming, Texte imprimé, 9783662191583 |
Obsah:
- 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.