Logic Programming

Inhaltsverzeichnis

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