Counterfactuals
Open Access
- 1 October 1986
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 30 (1) , 35-79
- https://doi.org/10.1016/0004-3702(86)90067-6
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An assumption-based TMSArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- The use of design descriptions in automated diagnosisArtificial Intelligence, 1984
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- Learning and executing generalized robot plansArtificial Intelligence, 1972
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971
- Utilitarianisms: Simple and generalInquiry, 1970
- The logic of conditionals1Inquiry, 1965