SALT: A knowledge acquisition language for propose-and-revise systems

References

Page 1

	Year	Citations
A truth maintenance system Jon Doyle Artificial Intelligence EngineeringDynamic Epistemic LogicAutomated ReasoningVerificationFormal Methods	1979	1.8K
Planning with constraints (MOLGEN: Part 1) Mark Stefik Artificial Intelligence Mathematical ProgrammingPlanning TheoryPart 1EngineeringAi Planning	1981	814
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis Richard Stallman, Gerald Jay Sussman Artificial Intelligence Logic SynthesisEngineeringCircuit DesignProgram AnalysisAutomated Reasoning	1977	708
A Sufficient Condition for Backtrack-Free Search Eugene C. Freuder Journal of the ACM	1982	654
Production rules as a representation for a knowledge-based consultation program☆ Randall Davis, Bruce G. Buchanan, Edward H. Shortliffe Artificial Intelligence Knowledge RepresentationEngineeringKnowledge ModelingRule LanguageDesign	1977	570
Constraints—A language for expressing almost-hierarchical descriptions Gerald Jay Sussman, Guy L. Steele Artificial Intelligence Natural Language ProcessingEngineeringAutomated ReasoningComputational LinguisticsDescription Logic	1980	438
XPLAIN: a system for creating and explaining expert consulting programs William Swartout Artificial Intelligence EngineeringExpert SystemsAutomated ReasoningProgram ComprehensionEnd-user Development	1983	386
Planning and meta-planning (MOLGEN: Part 2) Mark Stefik Artificial Intelligence Planning EducationPart 2Project ManagementDesignPlanning Practice	1981	277
LEAP: a learning apprentice for VLSI design Tom M. Mitchell, Sridhar Mahadevan, Louis Steinberg International Joint Conference on Artificial Intelligence EngineeringElectronic Design AutomationEnough Knowledge BaseComputer ArchitectureIntelligent Systems	1985	249
Towards a Taxonomy of Problem Solving Types Bharath Chandrasekaran AI Magazine EngineeringDiagnosisSoftware EngineeringExpert System ParadigmProblem Discovery	1983	244

Page 1