Skip to main content
SpringerLink
Log in

Logical Foundations for Cognitive Agents

Contributions in Honor of Ray Reiter

  • Book
  • © 1999

Overview

Editors:
  1. Hector J. Levesque

    1. Department of Computer Science, University of Toronto, Toronto, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fiora Pirri

    1. Dipartimento di Informatica e Sistemistica, Università di Roma „La Sapienza“, Roma, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State of the art of the most significant research in the logical foundations for both reasoning about action and commonsense reasoning of intelligent agents

Part of the book series: Artificial Intelligence (AI)

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (23 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Ray Reiter - A Memoir

    • Richard Rosemberg
    Pages 1-10

  3. Default Logic and purity of reasoning

    • Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
    Pages 11-28

  4. Computing Domain Specific Information

    • Fahiem Bacchus
    Pages 29-40

  5. Specifying Database Transactions and Active Rules in the Situation Calculus

    • Leopoldo Bertossi, Javier Pinto, Ricardo Valdivia
    Pages 41-56

  6. The Frame Problem and Bayesian Network Action Representations*

    • Craig Boutilier, Moisés Goldszmidt
    Pages 57-71

  7. Philosophical and Scientific Presuppositions of Logical AI

    • John McCarthy
    Pages 72-78

  8. On existence of extensions for default theories

    • Giovanni Criscuolo, Eliana Minicozzi
    Pages 79-85

  9. An Incremental Interpreter for High-Level Programs with Sensing

    • Giuseppe De Giacomo, Hector J. Levesque
    Pages 86-102

  10. An Improved Incremental Algorithm for Generating Prime Implicates

    • Johan de Kleer
    Pages 103-112

  11. Fixpoint 3-valued semantics for autoepistemic logic

    • Marc Denecker, V. Wiktor Marek, Mirosław Truszczyński
    Pages 113-136

  12. Toward Efficient Default Reasoning

    • David W. Etherington, James M. Crawford
    Pages 137-150

  13. Action, Time and Default

    • D. M. Gabbay
    Pages 151-154

  14. Explanatory Diagnosis: Conjecturing Actions to Explain Observations

    • Sheila A. Mcllraith
    Pages 155-172

  15. On sensing and off-line interpreting in GOLOG

    • Gerhard Lakemeyer
    Pages 173-189

  16. Reactivity in a Logic-Based Robot Programming Framework (Extended Version)

    • Yves Lespérance, Kenneth Tam, Michael Jenkin
    Pages 190-207

  17. Success of Default Logic

    • Vladimir Lifschitz
    Pages 208-212

  18. Search Algorithms in the Situation Calculus

    • Fangzhen Lin
    Pages 213-233

  19. Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter

    • Jack Minker
    Pages 234-299

  20. Action Inventory for a Knowledge-Based Colloquium Agent. Preliminary Version

    • Erik Sandewall
    Pages 300-308
Back to top

Keywords

About this book

It is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the occasion of his 60th birthday. To say that Ray's research has had a deep impact on the field of Artificial Intel­ ligence is a considerable understatement. Better to say that anyone thinking of do­ ing work in areas like deductive databases, default reasoning, diagnosis, reasoning about action, and others should realize that they are likely to end up proving corol­ laries to Ray's theorems. Sometimes studying related work makes us think harder about the way we approach a problem; studying Ray's work is as likely to make us want to drop our way of doing things and take up his. This is because more than a mere visionary, Ray has always been a true leader. He shows us how to proceed not by pointing from his armchair, but by blazing a trail himself, setting up camp, and waiting for the rest of us to arrive. The International Joint Conference on Ar­ tificial Intelligence clearly recognized this and awarded Ray its highest honor, the Research Excellence award in 1993, before it had even finished acknowledging all the founders of the field. The papers collected here sample from many of the areas where Ray has done pi­ oneering work. One of his earliest areas of application was databases, and this is re­ flected in the chapters by Bertossi et at. and the survey chapter by Minker.

Editors and Affiliations

  • Department of Computer Science, University of Toronto, Toronto, Canada

    Hector J. Levesque

  • Dipartimento di Informatica e Sistemistica, Università di Roma „La Sapienza“, Roma, Italy

    Fiora Pirri

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation