逻辑程序设计/会议录Logic programming

出版时间：2002-12  出版社：1 edition (2002年9月1日)  作者：Peter J. Stuckey  页数：486  

内容概要

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 OpportunitiesConference 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 PapersAuthor Index