Skip to main content
SpringerLink
Log in
Download book PDF
Book cover
  • Book
  • © 1999

Logical Foundations for Cognitive Agents

Contributions in Honor of Ray Reiter

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)

Sections

Buy it now

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

Table of contents (23 chapters)

  1. Front Matter

    Pages I-XII
    PDF

  2. Ray Reiter - A Memoir

    • Richard Rosemberg
    Pages 1-10
    PDF

  3. Default Logic and purity of reasoning

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

  4. Computing Domain Specific Information

    • Fahiem Bacchus
    Pages 29-40
    PDF

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

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

  6. The Frame Problem and Bayesian Network Action Representations*

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

  8. On existence of extensions for default theories

    • Giovanni Criscuolo, Eliana Minicozzi
    Pages 79-85
    PDF

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

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

  11. Fixpoint 3-valued semantics for autoepistemic logic

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

  12. Toward Efficient Default Reasoning

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

  13. Action, Time and Default

    • D. M. Gabbay
    Pages 151-154
    PDF
  14. PDF

  15. On sensing and off-line interpreting in GOLOG

    • Gerhard Lakemeyer
    Pages 173-189
    PDF

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

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

  17. Success of Default Logic

    • Vladimir Lifschitz
    Pages 208-212
    PDF

  18. Search Algorithms in the Situation Calculus

    • Fangzhen Lin
    Pages 213-233
    PDF
  19. PDF
  20. PDF
Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Download book PDF

Buy it now

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

Search

Navigation