A semantical perspective on verification of knowledge
Data & Knowledge Engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
A Constraint-Based Approach to the Description of Competence
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Formally Verifying Dynamic Properties of Knowledge Based Systems
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
The unified problem-solving method development language UPML
Knowledge and Information Systems
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
| Hi-index | 0.00 |