Case-based planning: viewing planning as a memory task
Case-based planning: viewing planning as a memory task
Task-Structures, Knowledge Acquisition and Learning
Machine Learning
The Redesign System: A Knowledge-Based Approach to VLSI CAD
IEEE Design & Test
Model-based support for mutable parametric design optimization
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Discovering Mechanisms: A Computational Philosophy of Science Perspective
DS '01 Proceedings of the 4th International Conference on Discovery Science
Functional understanding based on an ontology of functional concepts
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
An assessment framework for identifying information technology programs
Proceedings of the 2011 conference on Information technology education
From diagrams to models by analogical transfer
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Hi-index | 0.00 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...