Controlling backward inference
- 30 June 1989
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 39 (2) , 145-208
- https://doi.org/10.1016/0004-3702(89)90025-8
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Choosing directions for rulesJournal of Automated Reasoning, 1987
- Planning as search: A quantitative approachArtificial Intelligence, 1987
- Controlling recursive inferenceArtificial Intelligence, 1986
- Ordering conjunctive queriesArtificial Intelligence, 1985
- How much is control knowledge worth?: A primitive exampleArtificial Intelligence, 1984
- Decision Theory and Artificial Intelligence II: The Hungry Monkey*Cognitive Science, 1977
- Optimal problem-solving search: All-or-none solutionsArtificial Intelligence, 1975
- Optimal task sequencing with precedence constraintsDiscrete Mathematics, 1973