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

or

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 $79.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.

More in Mathematical Theory of Computation

Computability and Computational Explanation : Elements in the Philosophy of Mathematics - AndrÃ© Curtis-Trudel

$81.75

38%
OFF

Discrete Mathematics for Computing

Grassroots

Paperback

RRP $150.00

$129.75

13%
OFF

Swim Training Patterns : 1st Edition - Plan your Training Sessions with the Power of Mathematics - Christoph Bartneck

$121.60

20%
OFF

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Hardcover

RRP $44.99

$35.99

20%
OFF

AI Engineering

Building Applications with Foundation Models

Paperback

RRP $152.00

$121.60

20%
OFF

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Paperback

RRP $152.00

$121.60

20%
OFF

Nonlinear Analysis for Human Movement Variability - Aaron D. Likens

$136.80

20%
OFF

AI Value Creators

Beyond the Generative AI User Mindset

Paperback

RRP $152.00

$121.60

20%
OFF

Hands-On Generative AI with Transformers and Diffusion Models

Paperback

RRP $152.00

$121.60

20%
OFF

Applied Mathematics with F# - Sudipta Mukherjee

$51.75

58%
OFF

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

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Quantum Control of Hybrid Spin-Oscillator Systems

Springer Theses

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

Effective Machine Learning Teams

Best Practices for ML Practitioners

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

AI Engineering

Building Applications with Foundation Models

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Nonlinear Analysis for Human Movement Variability

Introduction to Modern Cryptography

Revised Third Edition

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Axiomatic Set Theory

An Introduction

Practical Weak Supervision

Doing More with Less Data

AI Value Creators

Beyond the Generative AI User Mindset

Hands-On Generative AI with Transformers and Diffusion Models

Applied Mathematics with F#

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Beading With Algorithms

Cellular Automata In Peyote Stitch

This product is categorised by