Reasoning About Action II: The Qualification Problem
- 1 January 1987
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- CounterfactualsArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971