Advertisement

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
  9. Applications in Logic

    1. Luigia Carlucci Aiello, Fabio Massacci
      Pages 533-560
    2. Francesco Buccafurri, Georg Gottlob
      Pages 561-585
    3. Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian
      Pages 586-625
    4. Christoph G. Jung, Klaus Fischer
      Pages 626-654
    5. Thomas Sjöland, Per Kreuger, Martin Aronsson
      Pages 655-675
  10. Back Matter
    Pages 677-678

About this book

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/3-540-45628-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43959-2
  • Online ISBN 978-3-540-45628-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Law
Energy, Utilities & Environment
Aerospace
Engineering