Logic Programming: 21st International Conference 逻辑程序设计/会议录

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
……