Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

Front Matter....Pages -
OWL: A Description Logic Based Ontology Language....Pages 1-4
Preference Reasoning....Pages 5-8
The G12 Project: Mapping Solver Independent Models to Efficient Solutions....Pages 9-13
Use of Logic Programming for Complex Business Rules....Pages 14-20
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization....Pages 21-36
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels )....Pages 37-51
Towards an Integration of Answer Set and Constraint Solving....Pages 52-66
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems....Pages 67-82
Guard and Continuation Optimization for Occurrence Representations of CHR....Pages 83-97
Coordination of Many Agents....Pages 98-112
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis....Pages 113-127
An Optimised Semantic Web Query Language Implementation in Prolog....Pages 128-142
A Distributed and Probabilistic Concurrent Constraint Programming Language....Pages 143-158
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction....Pages 159-173
Abduction of Linear Arithmetic Constraints....Pages 174-188
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming....Pages 189-203
Hybrid Probabilistic Logic Programs with Non-monotonic Negation....Pages 204-220
Reducing Inductive Definitions to Propositional Satisfiability....Pages 221-234
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation....Pages 235-249
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs....Pages 250-264
Nondeterminism Analysis of Functional Logic Programs....Pages 265-279
Techniques for Scaling Up Analyses Based on Pre-interpretations....Pages 280-296
Deductive Multi-valued Model Checking....Pages 297-310
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs....Pages 311-325
Testing for Termination with Monotonicity Constraints....Pages 326-340
A Well-Founded Semantics with Disjunction....Pages 341-355
Semantics of Framed Temporal Logic Programs....Pages 356-370
Practical Higher-Order Pattern Unification with On-the-Fly Raising....Pages 371-386
Small Proof Witnesses for LF....Pages 387-401
A Type System for CHR....Pages 402-403
Decision Support for Personalization on Mobile Devices....Pages 404-406
A Generic Framework for the Analysis and Specialization of Logic Programs....Pages 407-409
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic....Pages 410-411
Modeling Systems in CLP....Pages 412-413
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics....Pages 414-415
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling....Pages 416-417
Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process....Pages 418-420
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP....Pages 421-423
The MYDDAS Project: Using a Deductive Database for Traffic Characterization....Pages 424-426
Open World Reasoning in Datalog....Pages 427-428
Optimizing Queries for Heterogeneous Information Sources....Pages 429-430
Denotational Semantics Using Horn Concurrent Transaction Logic....Pages 431-432
Gentra4cp: A Generic Trace Format for Constraint Programming....Pages 433-434
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary....Pages 435-436
Formalization and Verification of Interaction Protocols....Pages 437-438
 ${\mathcal PS}$ -LTL for Constraint-Based Security Protocol Analysis....Pages 439-440
Concurrent Methodologies for Global Optimization....Pages 441-443
A Temporal Programming Language for Heterogeneous Information Systems....Pages 444-445
Nonmonotonic Logic Programs for the Semantic Web....Pages 446-447
ICLP 2005 Doctoral Consortium....Pages 448-449
Analysis and Optimization of CHR Programs....Pages 450-451
Back Matter....Pages -