Specification and Verification of Knowledge-Based Systems

[1]  Michael J. C. Gordon,et al.  Edinburgh LCF: A mechanised logic of computation , 1979 .

[2]  J. Ross Quinlan,et al.  Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .

[3]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[4]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[5]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[6]  Randall Davis,et al.  Model-based reasoning: troubleshooting , 1988 .

[7]  Walter Van de Velde.  Inference Structure as a Basis for Problem Solving , 1988, ECAI.

[8]  M. Lowry,et al.  Algorithm Theories and Design Tactics , 1989, Sci. Comput. Program..

[9]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[10]  Dean Allemang,et al.  The Computational Complexity of Abduction , 1991, Artif. Intell..

[11]  Tom Bylander,et al.  Complexity Results for Planning , 1991, IJCAI.

[12]  Wolfgang Reif.  Correctness of Generic Modules , 1992, LFCS.

[13]  Wolfgang Reif,et al.  The KIV System: Systematic Construction of Verified Software , 1992, CADE.

[14]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[15]  Kurt Stenzel,et al.  Reuse of Proofs in Software Verification , 1993, FSTTCS.

[16]  Frank Puppe,et al.  Systematic introduction to expert systems - knowledge representations and problem-solving methods , 2011 .

[17]  Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification , 1993, Semantics of Specification Languages.

[18]  Bob J. Wielinga,et al.  Steps in Constructing Problem Solving Methods , 1993, EKAW.

[19]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[20]  Bob J. Wielinga,et al.  Conceptual Modelling of Large Reusable Knowledge Bases , 1994, IS/KI.

[21]  Jan Top,et al.  Tasks and ontologies in engineering modelling , 1994, Int. J. Hum. Comput. Stud..

[22]  Jan Treur.  Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning , 1994 .

[23]  Yves Ledru.  Proof-Based Development of Specifications with KIDS/VDM , 1994, FME.

[24]  Kurt Stenzel,et al.  Three Selected Case Studies in Verification , 1995, KORSO Book.

[25]  Yuval Shahar,et al.  Task Modeling with Reusable Problem-Solving Methods , 1995, Artif. Intell..

[26]  A. T. Schreiber,et al.  A formal analysis of parametric design problem solving , 1995 .

[27]  Dieter Fensel,et al.  Assumptions and Limitations of a Problem-Solving Method: A Case Study , 1995 .

[28]  Dieter Fensel,et al.  Formal specification languages in knowledge and software engineering , 1995, The Knowledge Engineering Review.

[29]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[30]  Christine Golbreich,et al.  TFL: an algebraic language to specify the dynamic behaviour of knowledge-based systems , 1996, The Knowledge Engineering Review.

[31]  Frank van Harmelen,et al.  Structure-preserving specification languages for knowledge-based systems , 1996, Int. J. Hum. Comput. Stud..

[32]  Dieter Fensel,et al.  Combining KARL and CRLM for designing vertical transportation systems , 1996, Int. J. Hum. Comput. Stud..

[33]  Dieter Fensel,et al.  MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems , 1996, ECAI.

[34]  Dieter Fensel,et al.  Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering , 1996, ECAI.

[35]  Bernhard Nebel,et al.  Artificial intelligence: a computational perspective , 1997 .