书籍详情
逻辑程序设计（会议录）
作者：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
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
猜您喜欢
