This book constitutes the refereed proceedings of the 21st International Conference on Logic and Programming, ICLP 2005, held in Barcelona, Spain, in October 2005.
The 25 revised full papers and 15 revised poster papers presented together with 4 invited papers and 7 abstracts of a poster session of a doctoral consortium were carefully reviewed and selected from 104 submissions. The papers cover all issues of current research in logic programming. Extra attention is given to novel applications of logic programming and work providing novel integrations of different areas.
Author(s): Ian Horrocks (auth.), Maurizio Gabbrielli, Gopal Gupta (eds.)
Series: Lecture Notes in Computer Science 3668 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 458
Tags: Programming Techniques; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
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 -
