FORMAL THEORIES OF ACTION

Publisher Website

1 January 1987

book chapter
Published by Elsevier

p. 35-57
https://doi.org/10.1016/b978-0-934613-32-3.50009-5

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

A critique of pure reason1
Computational Intelligence, 1987
Reasoning About Action I: A Possible Worlds Approach
Published by Elsevier ,1987
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence, 1986
Autotech '85, Hong Kong
Robotics, 1985
Circumscription—A form of non-monotonic reasoning
Artificial Intelligence, 1980