| 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 |
内容加载中，请稍后...
商品评论（0条）