Computational Logic: Logic Programming and Beyond

Essays in Honour of Robert A. Kowalski, Part I

By: A.C. Kakas (Editor), F. Sadri (Editor)

Write A Review

Paperback | 12 July 2002

At a Glance

Paperback
696 Pages

Dimensions(cm)
30.48 x 22.86 x 2.54

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d'?tre. The diversity of interests covered here reflects the variety of Bob's concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard's group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Computer Programming & Software Development Programming & Scripting Languages Computer Architecture & Logic Design Object-Oriented Programming or OOP Medicine Medicine in General Systems Analysis & Design Mathematics

Mathematical Foundation Mathematical Logic Databases Data Capture & Analysis Software Engineering Mathematical Theory of Computation Computer Hardware

A Portrait of a Scientist as a Computational Logician	p. 1
Bob Kowalski: A Portrait	p. 5
Directions for Logic Programming	p. 26
Logic Programming Languages
Agents as Multi-threaded Logical Objects	p. 33
Logic Programming Languages for the Internet	p. 66
Higher-Order Computational Logic	p. 105
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language	p. 138
Program Derivation and Properties
Transformation Systems and Nondeclarative Properties	p. 162
Acceptability with General Orderings	p. 187
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach	p. 211
Negation as Failure through Abduction: Reasoning about Termination	p. 240
Program Derivation = Rules + Strategies	p. 273
Software Development
Achievements and Prospects of Program Synthesis	p. 310
Logic for Component-Based Software Development	p. 347
Patterns for Prolog Programming	p. 374
Extensions of Logic Programming
Abduction in Logic Programming	p. 402
Learning in Clausal Logic: A Perspective on Inductive Logic Programming	p. 437
Disjunctive Logic Programming: A Survey and Assessment	p. 472
Constraint Logic Programming	p. 512
Applications in Logic
Planning Attacks to Security Protocols: Case Studies in Logic Programming	p. 533
Multiagent Compromises, Joint Fixpoints, and Stable Models	p. 561
Error-Tolerant Agents	p. 586
Logic-Based Hybrid Agents	p. 626
Heterogeneous Scheduling and Rotation	p. 655
Author Index	p. 677
Logic in Databases and Information Integration
MuTACLP: A Language for Temporal Reasoning with Multiple Theories	p. 1
Description Logics for Information Integration	p. 41
Search and Optimization Problems in Datalog	p. 61
The Declarative Side of Magic	p. 83
Key Constraints and Monotonic Aggregates in Deductive Databases	p. 109
Automated Reasoning
A Decidable CLDS for Some Propositional Resource Logics	p. 135
A Critique of Proof Planning	p. 160
A Model Generation Based Theorem Prover MGTP for First-Order Logic	p. 178
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory	p. 214
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure	p. 231
Non-deductive Reasoning
Meta-reasoning: A Survey	p. 253
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning	p. 289
Automated Abduction	p. 311
The Role of Logic in Computational Models of Legal Argument: A Critical Survey	p. 342
Logic for Action and Change
Logic Programming Updating - A Guided Approach	p. 382
Representing Knowledge in A-Prolog	p. 413
Some Alternative Formulations of the Event Calculus	p. 452
Logic, Language, and Learning
Issues in Learning Language in Logic	p. 491
On Implicit Meanings	p. 506
Data Mining as Constraint Logic Programming	p. 526
DCGs: Parsing as Deduction?	p. 548
Statistical Abduction with Tabulation	p. 567
Computational Logic and Philosophy
Logicism and the Development of Computer Science	p. 588
Simply the Best: A Case for Abduction	p. 605
Author Index	p. 627
Table of Contents provided by Publisher. All Rights Reserved.

Computational Logic: Logic Programming and Beyond

Essays in Honour of Robert A. Kowalski, Part I

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

16th International Workshop, STACOM 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Revised Selected Papers

AI Engineering

Building Applications with Foundation Models

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Beading with Algorithms

Cellular Automata in Peyote Stitch

Effective Machine Learning Teams

Best Practices for ML Practitioners

Metaheuristic Algorithms

Theory and Practice

Nonlinear Analysis for Human Movement Variability

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mining Complex Networks

Advances in Applied Mathematics

Mining Complex Networks

Advances in Applied Mathematics

Theory of Computation for Software Developers

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Mathematics and Intelligent Systems in Industry

MISI'25 Conference, Safi, Morocco, July 9â"10, 2025

Integration of AI Theory and Applications in Diverse Industries

Synthesis Lectures on Computer Science

Scientific Computing and Software

Go20 CSCS, Ghajnsielem, Malta, May 20-24, 2024

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production

14th International Conference, HPCST 2024, Barnaul, Russia, May 17â"18, 2024, Revised Selected Papers

Python Essentials

Symbolic and Numeric Problem-Solving in Engineering

Why Don t Rabbits Rule The World?

Mathematical answers to life s key questions

Differential Equations and Variational Methods on Graphs

With Applications to Machine Learning and Image Analysis

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

This product is categorised by