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

出版时间：2004-1  出版社：北京燕山出版社  作者：Palamidessi, Catuscia  页数：520  

内容概要

This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003.    The 23 revised full papers and 19 poster papers presented together with 5 invited full contributions and abstracts of 4 invited contributions were carefully reviewed and selected from 81 submissions. All current issues in logic programming are addressed.

书籍目录

Invited Talks  Achieving Type Safety for Low-Level Code  Logic Information Systems for Logic Programmers  A Logic Programming View of Authorization in Distributed Systems  Compositional Verification of Infinite State Systems  A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing MethodsInvited Tutorials  Concurrency, Time, and Constraints  Symbolic Model-Checking for Biochemical Systems  Component-Based Software Development and Logic Programming  A Tutorial on Proof Theoretic Foundations of Logic ProgrammingRegular Papers  Objective: In Minimum Context  Handling Existential Derived Predicates in View Updating  Efficient Evaluation of Logic Programs for Querying Data Integration Systems  Argumentation Databases  Order and Negation as Failure  Computing Minimal Models, Stable Models, and Answer Sets  Uniform Equivalence of Logic Programs under the Stable Model Semantics  Answer Set Programming Phase Transition: A Study on Randomly Generated Programs  Termination Analysis with Types Is More Accurate  A Propagation Tracer for GNU-Prolog: From Formal Definition to  Efficient Implementation  Intensional Sets in CLP  Implementing Constraint Propagation by Composition of Reductions  Forward versus Backward Verification of Logic Programs  Native Preemptive Threads in SWI-Prolog  Flow Java: Declarative Concurrency for Java  On the Complexity of Dependent And-Parallelism in Logic Programming  Higher-Order Substitution Tree Indexing  Incremental Evaluation of Tabled Logic Programs  ……PostersAothor Index