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: 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: Essays in honour of Robert A. Kowalski
Language: en
Pages:
Authors:
Categories: Automatic theorem proving
Type: BOOK - Published: 2002 - Publisher:

Program Development in Computational Logic
Language: en
Pages: 546
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: 444
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: 383
Authors: Joao Leite
Categories: Computers
Type: BOOK - Published: 2011-09-18 - Publisher: Springer

This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in
Logic for Problem Solving, Revisited
Language: en
Pages: 345
Authors: Robert Kowalski
Categories: Computers
Type: BOOK - Published: 2014-11-18 - Publisher: BoD – Books on Demand

This seminal book of Computer Science is the most cited reference on the subject of programming in logic. Originally published in 1979, this now classic text wa
Computational Logic and Human Thinking
Language: en
Pages:
Authors: Robert Kowalski
Categories: Computers
Type: BOOK - Published: 2011-07-21 - Publisher: Cambridge University Press

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can