【圖書簡介】 在線閱讀本書This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming， ICLP 2002， held in Copenhagen， Denmark， in July/August 2002.The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.
【本書目錄】 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
【圖書簡介】
【購買本書】
