The foundations of program verification (2nd ed.)
The foundations of program verification (2nd ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Performance evaluation of data intensive logic programs
Foundations of deductive databases and logic programming
Fundamentals of database systems
Fundamentals of database systems
Modern structured analysis
Bottom-up beats top-down for datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Specifications are not (necessarily) executable
Software Engineering Journal
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
A formal approach to object-oriented databases
Data & Knowledge Engineering
Handbook of theoretical computer science (vol. B)
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Introduction to object-oriented databases
Introduction to object-oriented databases
Yet another formalisation of KADS conceptual models
EKAW'92 Proceedings of the 6th European knowledge acquisition workshop on Current developments in knowledge acquisition
Specifications are (preferably) executable
Software Engineering Journal
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
MODEL-K for prototyping and strategic reasoning at the knowledge level
Second generation expert systems
Models: toward integrated knowledge modeling environments
Knowledge Acquisition
Formal specification of complex reasoning systems
Formal specification of complex reasoning systems
Formalizing and operationalizing a design task with KARL
Formal specification of complex reasoning systems
A compositional architecture for simple design formally specified in DESIRE
Formal specification of complex reasoning systems
Proof in VDM: a practitioner's guide
Proof in VDM: a practitioner's guide
The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Task modeling with reusable problem-solving methods
Artificial Intelligence
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Knowledge Acquisition and Representation Language Karl
Knowledge Acquisition and Representation Language Karl
Common KADS Library for Expertise Modelling
Common KADS Library for Expertise Modelling
Systematic Introduction to Expert Systems: Knowledge Representations and Problem Solving Methods
Systematic Introduction to Expert Systems: Knowledge Representations and Problem Solving Methods
Modeling of Dynamic Object Systems: A Logic-Based Approach
Modeling of Dynamic Object Systems: A Logic-Based Approach
Automating Knowledge Acquisition for Expert Systems
Automating Knowledge Acquisition for Expert Systems
Logic; A Foundation for Computer Science (International Computer Science Series)
Logic; A Foundation for Computer Science (International Computer Science Series)
Model Consruction in MIKE (MOdel-Based and Incremental Knowledge Engineering)
Proceedings of the 7th European Workshop on Knowledge Acquisition for Knowledge-Based Systems
The Treatment of Non-Functional Requirements in MIKE
Proceedings of the 5th European Software Engineering Conference
Formal Specification Using Structured Systems Analysis
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Proceedings of the 2. Workshop on Informationssysteme und Künstliche Intelligenz: Modellierung
An Executable Subset of Meta-IV with Loose Specification
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Giving Structured Analysis Technologie a Formal and Operational Semantics with KARL
Requirements Engineering '93: Prototyping, Gemeinsame Fachtagung des Fachausschusses 4.3 Requirements Engineering der Gesellschaft für Informatik (GI) und des Verbunds Software-Technik NRW in Kooperation mit dem German Chapter of the ACM und dem Facha
Deriving expectations to guide knowledge base creation
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
The MOKA Modelling Language (Short Paper)
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
IKRAFT: Interactive Knowledge Representation and Acquisition from Text
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Concept-Based Visual Information Management with Large Lexical Corpus
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
The unified problem-solving method development language UPML
Knowledge and Information Systems
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Object oriented knowledge representation framework for requirements engineering
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
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
VODKA: Variant objects discovering knowledge acquisition
Expert Systems with Applications: An International Journal
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Modelling protocols for multiagent interaction by F-logic
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
International Journal of Human-Computer Studies
| Hi-index | 0.00 |
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. Thus, KARL allows the precise and unique specification of the functionality of a knowledge-based system independent of any implementation details. A KARL model of expertise contains the description of domain knowledge, inference knowledge, and procedural control knowledge. For capturing these different types of knowledge, KARL provides corresponding modeling primitives based on Frame-Logic and Dynamic Logic. A declarative semantics for a complete KARL model of expertise is given by a combination of these two types of logic. In addition, an operational definition of this semantics, which relies on a fixpoint approach, is given. This operational semantics defines the basis for the implementation of the KARL interpreter, which includes appropriate algorithms for efficiently executing KARL specifications. This enables the evaluation of KARL specifications by means of testing.