Promotional Information

Springer Book Archives

Table of Contents

A Portrait of a Scientist as a Computational Logician.- A Portrait of a Scientist as a Computational Logician.- Bob Kowalski: A Portrait.- Bob Kowalski: A Portrait.- Directions for Logic Programming.- 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.