计算机性能评价 Computational logic：Logic Programming and Beyond
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,计算机理论,
作者： Antonis C.Kakas 著
出 版 社： 湖南文艺出版社
出版时间： 2002-12-1字数：版次： 1页数： 975印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540439592包装： 平装内容简介
Computational Logic: Logic Programming and Beyond Together with its companion volume, LNAI 2408, this book commemorates the 6oth birthday of Bob Kowalski, one of the founders of and major contributors to computational logic.
This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of pro-gramming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contribution of computation-
al logic to databases and artificial intelligence with particular emphasis on automated reasoning, reasoning about actions and change, natural language, and learning.
目录
A Portrait of a Scientist as a Computational Logician
Bob Kowalski: A Portrait
Directions for Logic Programming
Ⅰ Logic Programming Languages
Agents as Multi-threaded Logical Objects
Logic Programming Languages for the Internet
Higher-Order Computational Logic
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Ⅱ Program Derivation and Properties
Transformation Systems and Nondeclarative Properties
Acceptability with General Orderings
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
Negation as Failure through Abduction: Reasoning about Termination.
Program Derivation=Rules+Strategies
Ⅲ Software Development
Achievements and Prospects of Program Synthesis
Logic for Component-Based Software Development
Patterns for Prolog Programming
Ⅳ Extensions of Logic Programming
Abduction in Logic Programming
Learning in Clausal Logic: A Perspective on Inductive Logic Programming
Disjunctive Logic Programming: A Survey and Assessment
Constraint Logic Programming
Ⅴ Applications in Logic
Planning Attacks to Security Protocols: Case Studies in Logic Programming
Multiagent Compromises, Joint Fixpoints, and Stable Models
Error-Tolerant Agents
Logic-Based Hybrid Agents
Heterogeneous Scheduling and Rotation
Author Index
