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

OWL: A Description Logic Based Ontology Language.- Preference Reasoning.- The G12 Project: Mapping Solver Independent Models to Efficient Solutions.- Use of Logic Programming for Complex Business Rules.- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).- Towards an Integration of Answer Set and Constraint Solving.- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.- Guard and Continuation Optimization for Occurrence Representations of CHR.- Coordination of Many Agents.- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.- An Optimised Semantic Web Query Language Implementation in Prolog.- A Distributed and Probabilistic Concurrent Constraint Programming Language.- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.- Abduction of Linear Arithmetic Constraints.- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.- Hybrid Probabilistic Logic Programs with Non-monotonic Negation.- Reducing Inductive Definitions to Propositional Satisfiability.- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.- Nondeterminism Analysis of Functional Logic Programs.- Techniques for Scaling Up Analyses Based on Pre-interpretations.- Deductive Multi-valued Model Checking.- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.- Testing for Termination with Monotonicity Constraints.- A Well-Founded Semantics with Disjunction.- Semantics of Framed Temporal Logic Programs.- Practical Higher-Order Pattern Unification with On-the-Fly Raising.- Small Proof Witnesses for LF.- A Type System for CHR.- Decision Support for Personalization on Mobile Devices.- A Generic Framework for the Analysis and Specialization of Logic Programs.- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.- Modeling Systems in CLP.- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.- Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process.- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP.- The MYDDAS Project: Using a Deductive Database for Traffic Characterization.- Open World Reasoning in Datalog.- Optimizing Queries for Heterogeneous Information Sources.- Denotational Semantics Using Horn Concurrent Transaction Logic.- Gentra4cp: A Generic Trace Format for Constraint Programming.- Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.- Formalization and Verification of Interaction Protocols.- -LTL for Constraint-Based Security Protocol Analysis.- Concurrent Methodologies for Global Optimization.- A Temporal Programming Language for Heterogeneous Information Systems.- Nonmonotonic Logic Programs for the Semantic Web.- ICLP 2005 Doctoral Consortium.- Analysis and Optimization of CHR Programs.