© 2002

Computational Logic: Logic Programming and Beyond

Essays in Honour of Robert A. Kowalski Part I

  • Antonis C. Kakas
  • Fariba Sadri

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2407)

Table of contents

  1. Front Matter
    Pages I-XII
  2. A Portrait of a Scientist as a Computational Logician

    1. Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten van Emden
      Pages 1-4
  3. Bob Kowalski: A Portrait

    1. Marek Sergot
      Pages 5-25
  4. Directions for Logic Programming

    1. Robert A. Kowalski
      Pages 26-32
  5. Logic Programming Languages

    1. Keith Clark, Peter J. Robinson
      Pages 33-65
    2. Andrew Davison
      Pages 66-104
    3. John W. Lloyd
      Pages 105-137
  6. Program Derivation and Properties

    1. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
      Pages 162-186
    2. Danny De Schreye, Alexander Serebrenik
      Pages 187-210
    3. Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri
      Pages 240-272
    4. Alberto Pettorossi, Maurizio Proietti
      Pages 273-309
  7. Software Development

    1. Kung-Kiu Lau, Mario Ornaghi
      Pages 347-373
    2. Leon Sterling
      Pages 374-401
  8. Extensions of Logic Programming

    1. Marc Denecker, Antonis Kakas
      Pages 402-436
    2. Jack Minker, Dietmar Seipel
      Pages 472-511
    3. Mark Wallace
      Pages 512-532

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.


Automat artificial intelligence automated reasoning database intelligence learning logic programming programming language

Editors and affiliations

  • Antonis C. Kakas
    • 1
  • Fariba Sadri
    • 2
  1. 1.Department of Computer ScienceUniversity of CyprusNicosiaCyprus
  2. 2.Department of ComputingImperial College of Science, Technology and MedicineLondonUK

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment