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

Logic Programming逻辑程序设计/会议录 PDF格式下载