书籍详情

逻辑程序设计(会议录)

逻辑程序设计(会议录)

作者:Peter J. Stuckey 著

出版社:湖南文艺出版社

出版时间:2002-12-01

ISBN:9783540439301

定价:¥632.80

购买这本书可以去
内容简介
  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
猜您喜欢

读书导航