| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
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
