Use of meta level knowledge in the construction and maintenance of large knowledge bases.
Use of meta level knowledge in the construction and maintenance of large knowledge bases.
Improved Exact Algorithms for MAX-SAT
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Validation and Reparation of Knowledge Bases
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Refinement of Conceptual Graphs
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Theory and algorithm for rule base refinement
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
The automated analysis of rule-based systems, based on their procedural semantics
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Very fast decision table execution of propositional expert systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A principled approach to reasoning about the specificity of rules
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Verification of multi-level rule-based expert systems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Comprehensibility improvement of tabular knowledge bases
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Improving the quality of rule-based applications using the declarative verification approach
International Journal of Knowledge Engineering and Data Mining
An expert system for quality assurance of document image collections
EuroMed'12 Proceedings of the 4th international conference on Progress in Cultural Heritage Preservation
| Hi-index | 0.00 |
We describe an intelligent tutor for LISP programming. This tutor achieves a set of pedagogical objectives derived from Anderson's (1983) learning theory provide instruction in the context of problem-solving, have the student generate as much of each ...