Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II / edited by Antonis C. Kakas, Fariba Sadri.

Format:

Book

Contributor:

Kakas, Antonis C., editor.

Sadri, Fariba, 1956- editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 2408.

Lecture Notes in Artificial Intelligence ; 2408

Language:

English

Subjects (All):

Artificial intelligence.

Software engineering.

Computer programming.

Logic, Symbolic and mathematical.

Computer science--Mathematics.

Computer science.

Artificial Intelligence.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

Mathematical Logic and Formal Languages.

Symbolic and Algebraic Manipulation.

Local Subjects:

Artificial Intelligence.

Software Engineering/Programming and Operating Systems.

Programming Techniques.

Mathematical Logic and Formal Languages.

Symbolic and Algebraic Manipulation.

Physical Description:

1 online resource (XII, 628 pages).

Edition:

First edition 2002.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.

System Details:

text file PDF

Summary:

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.

Contents:

Logic in Databases and Information Integration

MuTACLP: A Language for Temporal Reasoning with Multiple Theories

Description Logics for Information Integration

Search and Optimization Problems in Datalog

The Declarative Side of Magic

Key Constraints and Monotonic Aggregates in Deductive Databases

Automated Reasoning

A Decidable CLDS for Some Propositional Resource Logics

A Critique of Proof Planning

A Model Generation Based Theorem Prover MGTP for First-Order Logic

A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory

An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure

Non-deductive Reasoning

Meta-reasoning: A Survey

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning

Automated Abduction

The Role of Logic in Computational Models of Legal Argument: A Critical Survey

Logic for Action and Change

Logic Programming Updating - A Guided Approach

Representing Knowledge in A-Prolog

Some Alternative Formulations of the Event Calculus

Logic, Language, and Learning

Issues in Learning Language in Logic

On Implicit Meanings

Data Mining as Constraint Logic Programming

DCGs: Parsing as Deduction?

Statistical Abduction with Tabulation

Computational Logic and Philosophy

Logicism and the Development of Computer Science

Simply the Best: A Case for Abduction.

Other Format:

Printed edition:

ISBN:

978-3-540-45632-2

9783540456322

Access Restriction:

Restricted for use by site license.