Computational Logic: Logic Programming and Beyond

Computational Logic: Logic Programming and Beyond

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.


Author
Publisher Springer
Release Date
ISBN 3540456325
Pages 628 pages
Rating 4/5 (22 users)

More Books:

Computational Logic: Logic Programming and Beyond
Language: en
Pages: 628
Authors: Antonis C. Kakas
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

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
Computational Logic: Logic Programming and Beyond
Language: en
Pages: 684
Authors: A.C. Kakas
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

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
Computational Logic
Language: en
Pages: 696
Authors: Antonis C. Kakas
Categories: Automatic theorem proving
Type: BOOK - Published: 2014-01-15 - Publisher:

This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the
Computational Logic: Logic Programming and Beyond
Language: en
Pages: 684
Authors: A.C. Kakas
Categories: Computers
Type: BOOK - Published: 2002-07-12 - Publisher: Springer

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
Computational Logic
Language: en
Pages:
Authors:
Categories: Automatic theorem proving
Type: BOOK - Published: 2002 - Publisher:

Computational Logic: Logic Programming and Beyond
Language: en
Pages: 684
Authors: A.C. Kakas
Categories: Computers
Type: BOOK - Published: 2002-07-12 - Publisher: Springer

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
Program Development in Computational Logic
Language: en
Pages: 539
Authors: Maurice Bruynooghe
Categories: Computers
Type: BOOK - Published: 2004-06-17 - Publisher: Springer Science & Business Media

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and tran
Computational Logic in Multi-Agent Systems
Language: en
Pages: 426
Authors: Francesca Toni
Categories: Computers
Type: BOOK - Published: 2006-05-03 - Publisher: Springer Science & Business Media

The sixth edition of CLIMA was held at City University London, UK, on June 27–29, 2005.
Computational Logic in Multi-Agent Systems
Language: en
Pages: 318
Authors: Katsumi Inoue
Categories: Computers
Type: BOOK - Published: 2007-05-16 - Publisher: Springer

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held
Computational Logic in Multi-Agent Systems
Language: en
Pages: 197
Authors: Jürgen Dix
Categories: Computers
Type: BOOK - Published: 2010-10-31 - Publisher: Springer

Annotation This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for M