Frank van Harmelen, Dieter Fensel  Home/Search
Context Related
| cs.vu.nl/~frankh/postscri...KER95.ps.gz cs.vu.nl/~dieter/ftp/paper...KER95.ps.Z aifb.unikarlsruhe.de/WBS...KER95.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.vu.nl/~frankh/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods. We briefly summarise the current state of the art and discuss the most... (Update)
Context of citations to this paper: More
.... such as RML [GMB94] In AI, such rigorous approaches to requirements capture have been taken in for example knowledge based systems [vHF95, MP96, ABvH94] and automated planning [MP97] Within Software Engineering the use of mathematically precise specifications and methods...
.... and formal languages in software engineering and artificial intelligence are provided by van Harmelen and Fensel in a series of papers [45, 46, 47]. 5 3.2 Requirements of Formal Frameworks As argued by Garlan and Notkin [48] software systems are not typically conceived in...
Cited by: More
A Conceptual Framework for Agent Definition and Development - Luck, d'Inverno (2001) (Correct)
The Automated Refinement of a Requirements Domain Theory - McCluskey, West (1999) (Correct)
Similar documents (at the sentence level):
6.8%: Formal support for Development of Knowledge-Based Systems - Fensel, van Harmelen.. (1998) (Correct)
Active bibliography (related documents): More All
1.2: Seven More Myths of Formal Methods: Dispelling Industrial.. - Bowen, Hinchey (1994) (Correct)
1.2: Seven More Myths of Formal Methods - Bowen, Hinchey (1995) (Correct)
1.0: Modularity in Knowledge Acquisition: A Step Towards.. - Vicat, Ganascia, Busac (1995) (Correct)
Similar documents based on text: More All
0.5: A Comparison of Languages which Operationalise and.. - Fensel, van Harmelen (1994) (Correct)
0.3: The Unified Problem-solving Method Development Language .. - Fensel, Motta.. (1999) (Correct)
0.3: The Role of Assumptions in Knowledge Engineering - Fensel, Benjamins (1998) (Correct)
Related documents from co-citation: More All
3: Formal Specification Notation (context) - Bowen, Hinchey et al. - 1995
BibTeX entry: (Update)
F. van Harmelen and D. Fensel. Formal Methods in Knowledge Engineering . Technical report, The University of Amsterdam, 1995. 40 http://citeseer.ist.psu.edu/vanharmelen95formal.html More
@misc{ harmelen95formal,
author = "F. van Harmelen and D. Fensel",
title = "Formal Methods in Knowledge Engineering",
text = "F. van Harmelen and D. Fensel. Formal Methods in Knowledge Engineering
. Technical report, The University of Amsterdam, 1995. 40",
year = "1995",
url = "citeseer.ist.psu.edu/vanharmelen95formal.html" }
Citations (may not include all citations):362 Dynamic logic - Harel - 1984
274 Prentice Hall International (context) - Spivey, Notation et al. - 1992
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
169 Artificial Intelligence - Newell, level - 1982
158 Rulebased Expert Systems: The Mycin Experiments of the Stanf.. (context) - Buchanan, Shortliffe - 1984
154 A Specification Language and its Formal Semantics (context) - Spivey - 1988
154 A specifier's introduction to formal methods (context) - Wing - 1990
149 Heuristic classification (context) - Clancey - 1985
123 Seven myths of formal methods (context) - Hall - 1990
97 Generic tasks in knowledge based reasoning: High level build.. (context) - Chandrasekaran - 1986
82 Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
79 Object-Oriented Programming in Common Lisp (context) - Keene - 1989
69 Introduction to Expert Systems (context) - Jackson - 1990
65 The CommonKADS Library for Expertise Modelling (context) - Breuker, Velde - 1994
62 Seven more myths of formal methods - Bowen, Hinchey - 1994
46 Automated Generation of Model-Based Knowledge-Acquisition To.. (context) - Musen - 1989
45 Formal Specification of Complex Reasoning Systems (context) - Treur, Wetter - 1993
37 Tactical theorem proving in program verification (context) - Heisel, Reif et al. - 1990
34 Model Driven Knowledge Acquisition: Interpretation Models (context) - Breuker, Wielinga et al. - 1987
31 Models of expertise (context) - Wielinga, Breuker - 1986
27 Formal Methods in Knowledge Engineering (context) - Aben - 1995
26 Formal specification of compositional architectures (context) - van Langevelde, Philipsen et al. - 1992
22 The formal specification of advanced AI architectures (context) - Craig - 1991
21 Program verification: The very idea (context) - Fetzer - 1988
20 A comparison of languages which operationalise and formalise.. - Fensel, van Harmelen - 1994
19 declarative semantics and operational semantics of passive a.. (context) - Spruit, Wieringa et al. - 1995
18 a tutorial introduction (context) - Gurevich - 1993
17 Automatic knowledge acquisition for expert systems (context) - Marcus - 1988
16 Temporal semantics of meta-level architectures for dynamic c.. (context) - Treur - 1994
16 Multi-context systems as a specification framework for compl.. - Giunchiglia, Traverso et al. - 1993
13 The treatment of non-functional requirements in MIKE - Landes, Studer - 1995
13 Prototyping at the knowledge level (context) - Karbach, Voss et al. - 1991
12 IEEE Transactions on Software Engineering (context) - Zave, evaluation - 1991
12 First-order logic foundation of the KADS conceptual model (context) - Wetter - 1990
12 Structure preserving specification languages for knowledge-b.. - van Harmelen, Aben - 1995
11 A case study on assumptions and limitations of a problem sol.. - Fensel - 1995
10 Model-based and incremental knowledge engineering: The MIKE .. (context) - Angele, Fensel et al. - 1993
10 A logical foundation for verification (context) - Treur, Willems - 1994
8 cabin communication system -- a Z application (context) - Peleska, Hamer et al.
6 The formal specification of ELEKTRA (context) - Craig - 1991
6 Specifying simple scheduling tasks in a reflective and modul.. - Sierra, Godo - 1993
6 The formalization and analysis of a communication protocol (context) - Anderson, Bruns
5 Can we formally specify a medical decision support system (context) - Krause, Fox et al. - 1993
5 Verification and validation of knowledge based systems with .. (context) - Meseguer, Preece - 1995
5 The knowledge-based acquisition and representation language .. (context) - Angele, Fensel et al. - 1995
5 Verification and test of knowledge-based system (context) - Ayel, Laurent et al. - 1991
5 Artificial Intelligence in Medicine (context) - Fox, soundness et al. - 1993
5 The nature and applicability of the blackboard architecture (context) - Velthuijsen - 1992
5 Implementing verification strategies in the KIV-system (context) - Heisel, Reif et al. - 1988
5 The Knowledge-Based Acquisition and Representation Language .. (context) - Fensel - 1995
4 Applications of formal methods: Observations and trends (context) - Craigen
4 A multi-context architecture for formalizing complex reasoni.. - Giunchiglia, Traverso - 1995
3 Proof in VDM: A Practioner's Guide (context) - Bicarregui, Fitzgerald et al. - 1994
3 Overview of current practice and research initiatives of the.. (context) - Lydiard - 1992
3 Using mathematical descriptions in the inspection of safety-.. (context) - Parnas
3 Specification languages in knowledge engineering and softwar.. (context) - Fensel - 1995
3 Formal development of CICS with B (context) - Hoare
3 A domain independent production rule system for consultation.. (context) - van Melle - 1979
3 How AIDE succeeds in an example design task (context) - Kassel, Greboval - 1993
2 Representing kads models in QIL (context) - Shadbolt, Aitken et al. - 1992
2 Comparative evaluation of three expert system development to.. (context) - Jaurent, Ayel et al. - 1986
2 Formalization of KADS interpretation models (context) - Wetter, Schmidt - 1991
2 MoMo: language and case studies - Gebhardt - 1995
2 Reuse-oriented knowledge engineering with MoMo (context) - Voss, Voss - 1993
2 vol II: The Transformation System CIP-S (context) - Bauer, Ehler et al. - 1987
2 Modelling system-user cooperation in KADS (context) - Breuker, de Greef - 1993
1 Sisyohus-VT: A CommonKADS solution (context) - Th, Terpstra - 1995
1 A specification of the soar cognitive archiecture in z (context) - Milnes - 1992
1 Algebraich specification of reasoning systems (context) - Nakagawa, Sakakihara et al. - 1993
1 The formal design and evaluation of a variety of medical dia.. (context) - Todd, Stamper - 1993
1 Kluwer Academic Publisher (context) - Colburn, Fetzer et al. - 1993
1 GCLA and a sketch of its use for representing KADS models (context) - Aronsson, Eriksson et al. - 1994
1 A conceptual and formal study of the blackboard architecture (context) - Velthuijsen, Braspenning - 1991
1 Sinn und unsinn formaler spezificationssprachen fuer wissens.. (context) - Fensel - 1994
1 Materials KADS User Meeting (context) - Ueberreiter, Voss - 1991
1 International Series in Computer Science (context) - Hinchey, Bowen et al. - 1995
1 Using the operational modeling language OMOS to represent KA.. (context) - Linster - 1993
1 Towards integrated knowledge modeling environments (context) - Barbuceanu - 1993
1 An algebraic specification of the dynamic behaviour of knowl.. (context) - Pierret-Goldbreich, Talon - 1995
Documents on the same site (http://www.cs.vu.nl/~frankh/publications.html): More
Characterising Approximate Problem-Solving By Partially.. - van Harmelen, Teije (1998) (Correct)
Approximations in Diagnosis: Motivations and Techniques - van Harmelen, Teije (1995) (Correct)
(ML)²: A formal language for KADS models of expertise - van Harmelen, Balder (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC