Skip to main content
SpringerLink
Log in
Book cover

Computational Logic: Logic Programming and Beyond

Essays in Honour of Robert A. Kowalski, Part I

  • 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 2407)

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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. A Portrait of a Scientist as a Computational Logician

    1. A Portrait of a Scientist as a Computational Logician

      • Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten van Emden
      Pages 1-4

  3. Bob Kowalski: A Portrait

    1. Bob Kowalski: A Portrait

      • Marek Sergot
      Pages 5-25

  4. Directions for Logic Programming

    1. Directions for Logic Programming

      • Robert A. Kowalski
      Pages 26-32

  5. Logic Programming Languages

    1. Agents as Multi-threaded Logical Objects

      • Keith Clark, Peter J. Robinson
      Pages 33-65

    2. Logic Programming Languages for the Internet

      • Andrew Davison
      Pages 66-104

    3. Higher-Order Computational Logic

      • John W. Lloyd
      Pages 105-137

    4. A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language

      • Kazunori Ueda
      Pages 138-161

  6. Program Derivation and Properties

    1. Transformation Systems and Nondeclarative Properties

      • Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
      Pages 162-186

    2. Acceptability with General Orderings

      • Danny De Schreye, Alexander Serebrenik
      Pages 187-210

    3. Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach

      • Gopal Gupta, Enrico Pontelli
      Pages 211-239

    4. Negation as Failure through Abduction: Reasoning about Termination

      • Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri
      Pages 240-272

    5. Program Derivation = Rules + Strategies

      • Alberto Pettorossi, Maurizio Proietti
      Pages 273-309

  7. Software Development

    1. Achievements and Prospects of Program Synthesis

      • Pierre Flener
      Pages 310-346

    2. Logic for Component-Based Software Development

      • Kung-Kiu Lau, Mario Ornaghi
      Pages 347-373

    3. Patterns for Prolog Programming

      • Leon Sterling
      Pages 374-401

  8. Extensions of Logic Programming

    1. Abduction in Logic Programming

      • Marc Denecker, Antonis Kakas
      Pages 402-436

    2. Learning in Clausal Logic: A Perspective on Inductive Logic Programming

      • Peter Flach, Nada Lavrač
      Pages 437-471

    3. Disjunctive Logic Programming: A Survey and Assessment

      • Jack Minker, Dietmar Seipel
      Pages 472-511

    4. Constraint Logic Programming

      • Mark Wallace
      Pages 512-532
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