ICLP 2010 Accepted Papers

Testing and Debugging Techniques for Answer Set Solver Development
Inference with Constrained Hidden Markov Models in PRISM
A Translational Approach to Constraint Answer Set Solving
Using Generalized Annotated Programs to Solve Social Network Optimization Problems
Decidable subclasses of finitary programs
A Complete and Terminating Execution Model for Constraint Handling Rules
Subsumer: A Prolog theta-subsumption engine
Loop Formulas for Description Logic Programs
A Declarative Semantics for CLP with Qualification and Proximity
Disjunctive ASP with Functions: Decidable Queries and Effective Computation
Inductive Logic Programming as Abductive Search
Logic-Based Decision Support for Strategic Environmental Assessment
Dedicated Tabling for a Probabilistic Setting
Runtime Addition of Integrity Constraints in Abductive Logic Programs
Transformations of Logic Programs on Infinite Lists
Circumscription and Projection as Primitives of Logic Programming
Decidability properties for fragments of CHR
Formalization of Psychological Knowledge in Answer Set Programming and its Application
Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Focused Proof Search for Linear Logic in the Calculus of Structures
Abductive Inference in Probabilistic Logic Programs
Efficient solving of time-dependent answer set programs
From Relational Specifications to Logic Programs
Towards Closed World Reasoning in Dynamic Open Worlds
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Methods and Methodologies for Developing Answer-Set Programs---Project Description
FO(FD): Extending classical logic with rule-based fixpoint definitions
Learning Domain-Specific Heuristics for Answer Set Solvers
Implementation Alternatives for Bottom-Up Evaluation
Tight Semantics for Logic Programs
Applying Prolog to Develop Distributed Systems
Test Case Generation for Object-Oriented Imperative Languages in CLP
Using Logic Programming for Finding Models in the Logics of Knowledge and its Applications
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling
Timed Definite Clause Omega-Grammars
Sampler Programs: The Stable Model Semantics Abstract Constraint Programs Revisited
A Framework for Verification and Debugging of Resource Usage Properties
A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics
Contractible Approximations of Soft Global Constraints