SALT: A knowledge acquisition language for propose-and-revise systems
- 31 May 1989
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 39 (1), 1-37
- https://doi.org/10.1016/0004-3702(89)90002-7
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Use of a domain model to drive an interactive knowledge-editing toolInternational Journal of Man-Machine Studies, 1987
- Heuristic classificationArtificial Intelligence, 1985
- Failure handling in a design expert systemComputer-Aided Design, 1985
- A Sufficient Condition for Backtrack-Free SearchJournal of the ACM, 1982
- OPS5 User's ManualPublished by Defense Technical Information Center (DTIC) ,1981
- Planning and meta-planning (MOLGEN: Part 2)Artificial Intelligence, 1981
- Planning with constraints (MOLGEN: Part 1)Artificial Intelligence, 1981
- A truth maintenance systemArtificial Intelligence, 1979
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- Production rules as a representation for a knowledge-based consultation programArtificial Intelligence, 1977