Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Knowledge Engineering in Esprit
IEEE Expert: Intelligent Systems and Their Applications
Evaluating a Formal KBS Specification Language
IEEE Expert: Intelligent Systems and Their Applications
AI Magazine
AI Magazine
Formally Verifying Dynamic Properties of Knowledge Based Systems
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Pragmatics in the Synthesis of Logic Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Designing Safety into Medical Decisions and Clinical Processes
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
The unified problem-solving method development language UPML
Knowledge and Information Systems
Knowledge level modelling: concepts and terminology
The Knowledge Engineering Review
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
On the soundness and safety of expert systems
Artificial Intelligence in Medicine
Paper: Symbolic decision support in medical care
Artificial Intelligence in Medicine
Hi-index | 0.00 |