Reasoning about action I
- 1 June 1988
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 35 (2) , 165-195
- https://doi.org/10.1016/0004-3702(88)90011-2
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- CounterfactualsArtificial Intelligence, 1986
- An assumption-based TMSArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971