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
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
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 |
From the Publisher:This book deals with the Knowledge Acquisition and Representation Language, KARL, which is a formal and operational specification language for knowledge-based systems or second-generation expert systems. KARL provides language primitives to represent knowledge according to the layers of a KADS-oriented model of expertise. The main features of KARL are: it provides epistemologically adequate modelling primitives which allow knowledge specifications at the knowledge level. Therefore, KARL allows a smooth transition from informal to formal specifications. KARL is a formal knowledge specification language. That is, it has a declarative semantics. KARL is an operational knowledge specification language which allows prototyping, i.e. knowledge evaluation by testing. Knowledge Acquisition and Representation Language, KARL, gives the reader a complete description of this important new language. The book will be essential reading for researchers in Artificial Intelligence and can also be used as an advanced text book.