逻辑程序设计（会议录）

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
……
Conference Papers
Author Index