Logic for problem-solving
Realization of a geometry-theorem proving machine
Computers & thought
Steps toward artificial intelligence
Computers & thought
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
Understanding Natural Language
Understanding Natural Language
Understanding Simple Picture Programs
Understanding Simple Picture Programs
Truth Maintenance Systems for Problem Solving
Truth Maintenance Systems for Problem Solving
Human Problem Solving
Interfaces for knowledge-base builders' control knowledge and application-specific procedures
IBM Journal of Research and Development
Model-based integration of planning and learning
ACM SIGART Bulletin
An architecture for bounded rationality
ACM SIGART Bulletin
Supporting organizational problem solving with a work station
ACM Transactions on Information Systems (TOIS)
A semantic comparison of LISP and SCHEME
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A selected descriptor-indexed bibliography to the literature on belief revision
ACM SIGART Bulletin
ACM SIGART Bulletin
Metacognition in computation: a selected research review
Artificial Intelligence
Dependency directed reasoning in the analysis of program modify complex data structure
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Control of inference: role of some aspects of discourse structure-centering
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
An adaptive model of decision-making in planning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A process theory of non-monotonic inference
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
An approach to dependency directed backtracking using domain specific knowledge
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Plan debugging in an intentional system
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Field review: Metacognition in computation: A selected research review
Artificial Intelligence
Robotics and Autonomous Systems
Model-based diagnosis of planning failures
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Reasoned Assumptions And Rational Psychology
Fundamenta Informaticae
Hi-index | 0.00 |
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report describes an approach to dealing with this problem based on making some knowledge which is usually implicitly part of an expert problem solver explicit, thus allowing this knowledge about control to be manipulated and reasoned about. The basic components of this approach involve using explicit representations of the control structure of the problem solver, and linking this and other knowledge manipulated by the expert by means of explicit data dependencies.