Skip to main content
SpringerLink
Log in
Book cover

Computational Logic: Logic Programming and Beyond

Essays in Honour of Robert A. Kowalski, Part II

  • Book
  • © 2002

Overview

Editors:
  1. Antonis C. Kakas

    1. Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fariba Sadri

    1. Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2408)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Logic in Databases and Information Integration

    1. MuTACLP: A Language for Temporal Reasoning with Multiple Theories

      • Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
      Pages 1-40

    2. Description Logics for Information Integration

      • Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
      Pages 41-60

    3. Search and Optimization Problems in Datalog

      • Sergio Greco, Domenico Saccà
      Pages 61-82

    4. The Declarative Side of Magic

      • Paolo Mascellani, Dino Pedreschi
      Pages 83-108

    5. Key Constraints and Monotonic Aggregates in Deductive Databases

      • Carlo Zaniolo
      Pages 109-134

  3. Automated Reasoning

    1. A Decidable CLDS for Some Propositional Resource Logics

      • Krysia Broda
      Pages 135-159

    2. A Critique of Proof Planning

      • Alan Bundy
      Pages 160-177

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

      • Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
      Pages 178-213

    4. A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory

      • Eugenio G. Omodeo, Jacob T. Schwartz
      Pages 214-230

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

      • Jörg Siekmann, Graham Wrightson
      Pages 231-252

  4. Non-deductive Reasoning

    1. Meta-reasoning: A Survey

      • Stefania Costantini
      Pages 253-288

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

      • Phan Minh Dung, Paolo Mancarella, Francesca Toni
      Pages 289-310

    3. Automated Abduction

      • Katsumi Inoue
      Pages 311-341

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

      • Henry Prakken, Giovanni Sartor
      Pages 342-381

  5. Logic for Action and Change

    1. Logic Programming Updating - A Guided Approach

      • José Júlio Alferes, Luís Moniz Pereira
      Pages 382-412

    2. Representing Knowledge in A-Prolog

      • Michael Gelfond
      Pages 413-451

    3. Some Alternative Formulations of the Event Calculus

      • Rob Miller, Murray Shanahan
      Pages 452-490

  6. Logic, Language, and Learning

    1. Issues in Learning Language in Logic

      • James Cussens
      Pages 491-505

    2. On Implicit Meanings

      • Veronica Dahl
      Pages 506-525
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    Antonis C. Kakas

  • Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    Fariba Sadri

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation