Temporal logic of programs
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
SALT: a knowledge acquisition language for propose-and-revise systems
Artificial Intelligence
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
The Z notation: a reference manual
The Z notation: a reference manual
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
KADS: a modelling approach to knowledge engineering
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Specification of complex reasoning tasks in KBSSF
Based on the material from the International Workshop on Formal Specification Methods for Complex Reasoning Systems on Formal specification of complex reasoning systems
Formal specification of complex reasoning systems
Formal specification of complex reasoning systems
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
The semantics of KBSSF, a language for KBS design
Knowledge Acquisition
What is a logical system?
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Combining KARL and CRLM for designing vertical transportation systems
International Journal of Human-Computer Studies - Special issue: the Sisyphus-VT initiative
Modelling an elevator design task in DESIRE: the VT example
International Journal of Human-Computer Studies - Special issue: the Sisyphus-VT initiative
Evolving algebras 1993: Lipari guide
Specification and validation methods
Artificial intelligence: a computational perspective
Principles of knowledge representation
Applying rule-based anomalies to KADS inference structures
Decision Support Systems - Eighth workshop on the validation and verification of knowledge-based systems
The essence of problem-solving methods: making assumptions to gain efficiency
International Journal of Human-Computer Studies
A logic for programming database transactions
Logics for databases and information systems
Evolving logical specification in information systems
Logics for databases and information systems
Temporal semantics of compositional task models and problem solving methods
Data & Knowledge Engineering
Regular database update logics
Theoretical Computer Science
Knowledge Acquisition and Representation Language Karl
Knowledge Acquisition and Representation Language Karl
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Modeling of Dynamic Object Systems: A Logic-Based Approach
Modeling of Dynamic Object Systems: A Logic-Based Approach
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Practical Formal Methods with VDM
Practical Formal Methods with VDM
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
CommonKADS: A Comprehensive Methodology for KBS Development
IEEE Expert: Intelligent Systems and Their Applications
Problem-Solving Methods: Making Assumptions for Effeciency Reasons
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
Executable Specifications based on Dynamic Algebras
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
A Linear Temporal Logic Approach to Objects with Transactions
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Dynamic Database Logic: the First-order Case
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics
Formal Development of Reactive Systems - Case Study Production Cell
Why Use Evolving Algebras for Hardware and Software Engineering?
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
An Evolving Algebra Abstract Machine
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
leanEA: A Lean Evolving Algebra Compiler
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Agent orientation in software engineering
The Knowledge Engineering Review
Analysis of meeting protocols by formalisation, simulation, and verification
Computational & Mathematical Organization Theory
Deploying and managing Web services: issues, solutions, and directions
The VLDB Journal — The International Journal on Very Large Data Bases
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
Continuous improvement through knowledge-guided analysis in experience feedback
Engineering Applications of Artificial Intelligence
Formal analysis of trace conditioning
Cognitive Systems Research
A temporal-interactivist perspective on the dynamics of mental states
Cognitive Systems Research
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
Hi-index | 0.00 |
During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. This paper focuses on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and Troll), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of Abstract State Machines.