Proceedings of the 2002 ACM symposium on Applied computing
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
Formally Verifying Dynamic Properties of Knowledge Based Systems
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Tableaux for Reasoning About Atomic Updates
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
The unified problem-solving method development language UPML
Knowledge and Information Systems
A software architecture for knowledge-based systems
The Knowledge Engineering Review
KAMET II: An open diagnosis knowledge-acquisition methodology
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Hi-index | 0.00 |