Logic Programming

Invited Speakers.- Representing Arithmetic Constraints with Finite Automata: An Overview.- Logic Databases on the Semantic Web: Challenges and Opportunities.- Conference Papers.- An Abductive Approach for Analysing Event-Based Requirements Specifications.- Trailing Analysis for HAL.- Access Control for Deductive Databases by Logic Programming.- Reasoning about Actions with CHRs and Finite Domain Constraints.- Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems.- Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.- Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.- A Model Theoretic Semantics for Multi-level Secure Deductive Databases.- Propagation Completeness of Reactive Constraints.- On Enabling the WAM with Region Support.- A Different Look at Garbage Collection for the WAM.- Copying Garbage Collection for the WAM: To Mark or Not to Mark?.- Logical Algorithms.- Logical Loops.- Learning in Logic with RichProlog.- Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.- A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.- Proving the Equivalence of CLP Programs.- A Purely Logical Account of Sequentiality in Proof Search.- Disjunctive Explanations.- Reasoning with Infinite Stable Models II: Disjunctive Programs.- Computing Stable Models: Worst-Case Performance Estimates.- Towards Local Search for Answer Sets.- A Rewriting Method for Well-Founded Semantics with Explicit Negation.- Embedding Defeasible Logic into Logic Programs.- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.- Using Logic Programming to Detect Activities in Pervasive Healthcare.- Logic Programming for Software Engineering: A Second Chance.- A Logic-Based System for Application Integration.- Conference Papers.- The Limits of Horn Logic Programs.- Multi-adjoint Logic