Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems  Home/Search
Context Related
| cs.vu.nl/~frankh/postscrip...TKDE01.pdf 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: During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristic 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 means to specify a complex and large amount of knowledge and they have to provide means to specify the dynamic reasoning behaviour of a... (Update)
Context of citations to this paper: More
...the most important issues of the formalization of the example in all approaches. The interested reader is referred to the long version [6] for a detailed presentation of the example and the formalization of it in all approaches. Section 5 provides a short comparison between...
...values for the improvement rate. We could investigate the use of temporal formalisms for specifying the behaviour axioms (see e.g. [10] for a survey) instead of encoding them in predicate logic via an additional parameter that we had to add to each PSM in order to...
Cited by: More
Describing Problem Solving Methods using Anytime.. - Teije, van Harmelen (2000) (Correct)
Specification of Dynamics for Knowledge-based Systems - van Eck, Engelfriet.. (1998) (Correct)
Similar documents (at the sentence level):
21.5%: Specification of Dynamics for Knowledge-Based.. - van Eck.. (1998) (Correct)
14.5%: Specification of Dynamics for Knowledge-based.. - van Eck.. (1998) (Correct)
Active bibliography (related documents): More All
7.3: A Survey of Languages for Specifying Dynamics: A.. - van Eck.. (1998) (Correct)
0.5: The ASM Workbench: an Open and Extensible Tool Environment for.. - Castillo (1998) (Correct)
0.5: Conceptual and Formal Specifications of Problem-Solving.. - Fensel, Eriksson.. (1996) (Correct)
Similar documents based on text: More All
0.4: Extreme Programming of Knowledge-Based Systems - Knublauch (2002) (Correct)
0.2: Compositional Verification of Knowledge-Based Systems in .. - Engelfriet, Jonker.. (Correct)
0.2: Erdös Graphs Resolve Fine's Canonicity Problem - Goldblatt, Hodkinson, Venema (2004) (Correct)
BibTeX entry: (Update)
P. van Eck, J. Engelfriet, D. Fensel, F. van Harmelen, Y. Venema, and M. Willems. A survey of languages for specifying dynamics: A knowledge engineering perspective. Technical Report IR-447, Vrije Universiteit Amsterdam, Faculty of Mathematics and Computer Science, 1998. http://citeseer.ist.psu.edu/vaneck00survey.html More
@article{ vaneck01survey,
author = "Pascal van Eck and Joeri Engelfriet and Dieter Fensel and Frank van Harmelen and Yde Venema and Mark Willems",
title = "A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective",
journal = "Knowledge and Data Engineering",
volume = "13",
number = "3",
pages = "462-496",
year = "2001",
url = "citeseer.ist.psu.edu/vaneck00survey.html" }
Citations (may not include all citations):689 Systematic Software Development Using VDM - Jones - 1990
407 Introduction to the ISO specification language LOTOS (context) - Bolognesi, Brinksma - 1987
362 Dynamic logic - Harel - 1984
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
224 Algebraic specification (context) - Wirsing - 1990
204 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
161 Fundamentals of Algebraic Specifications (context) - Ehrig, Mahr - 1990
161 Fundamentals of Algebraic Specifications (context) - Ehrig, Mahr - 1985
155 Algebra of communicating processes with abstraction (context) - Bergstra, Klop - 1985
143 Logics of programs (context) - Kozen, Tiuryn - 1990
123 An Introduction to Formal Methods (context) - Diller - 1992
118 KADS: A modelling approach to knowledge engineering (context) - Wielinga, Schreiber et al. - 1992
106 Principles of Maude - Clavel, Eker et al. - 1997
74 Object specification logic - Sernadas, Sernadas et al. - 1995
63 Software Development with Z (context) - Wordsworth - 1992
61 Transaction logic programming - Bonner, Kifer - 1993
54 CommonKADS. A comprehensive methodology for KBS development (context) - Schreiber, Wielinga et al. - 1994
53 TROLL---a language for object-oriented specification of info.. (context) - Jungclaus, Saake et al. - 1996
46 SALT: A knowledge acquisition language for propose and revis.. (context) - Marcus, McDermott - 1988
46 The knowledge acquisition and representation language KARL - Fensel, Angele et al. - 1998
46 The Knowledge Acquisition and Representation Language KARL - Fensel - 1995
45 Formal Specification of Complex Reasoning Systems (context) - Treur, Wetter - 1993
38 TROLLlight: A core language for specifying objects - Conrad, Gogolla et al. - 1992
27 A comparison of languages which operationalize and formalize.. - Fensel, Harmelen - 1994
27 Formal Methods in Knowledge Engineering (context) - Aben - 1995
26 Practical Formal Methods with VDM (context) - Andrews, Ince - 1991
26 Second Generation Expert Systems (context) - David, Krivine et al. - 1993
24 Modeling of Dynamic Object Systems---A Logic-based Approach (context) - Jungclaus - 1993
20 A formalization of objects using equational dynamic logic - Wieringa - 1991
19 Why use evolving algebras for hardware and software engineer.. - Borger - 1995
19 Model checking for abstract state machines (context) - Winter - 1997
18 A Reference Manual (context) - Spivey, Notation - 1992
18 Formal specification languages in knowledge and software eng.. - Fensel - 1995
16 Reasoning about abstract state machines: The WAM case study (context) - Schellhorn, Ahrendt - 1997
15 Dynamic database logic: the first-order case (context) - Spruit, Wieringa et al. - 1993
14 Artificial intelligence: A computational perspective - Nebel - 1996
14 The essence of problem solving methods: Making assumptions f.. - Fensel, Straatman - 1996
13 A logic for programming database transactions - Bonner, Kifer - 1998
12 Modelling an elevator design task in DESIRE: the VT example - Brazier, Langen et al. - 1996
11 A linear temporal logic approach to objects with transaction.. - Denker, Ramos et al. - 1997
10 of Lecture Notes in Computer Science (context) - Bidoit, Kreowski et al. - 1991
10 From rewrite theories to temporal logic theories - Denker - 1998
10 Executable specifications based on dynamic algebras - Kappel - 1993
8 TFL: An algebraic language to specify the dynamic behaviour .. (context) - Pierret-Golbreich, Talon - 1996
8 The essense of problem-solving-methods: Making assumptions f.. (context) - Fensel, Straatman - 1998
7 Temporal semantics of compositional task models and problem .. - Brazier, Treur et al. - 1999
7 An evolving algebra abstract machine (context) - Castillo, Durdanovic et al. - 1996
7 An overview of transaction logic - Bonner, Kifer - 1994
6 Temporal Logic of Programs (context) - Kroeger - 1987
6 MLPM: Defing a semantics and axiomatization for specifying t.. (context) - Fensel, Groenboom - 1996
5 Evolving logical specification in information systems - Conrad, Ramos et al. - 1998
5 the construction of correct compiler back-ends: An ASM appro.. (context) - Zimmerman, Gaul - 1997
5 Reasoning about dynamic features in specification languages - Groenboom, de Lavalette - 1994
5 LCM and MCM: Specification of a control system using dynamic.. (context) - Wieringa - 1995
4 leanEA : A lean evolving algebra compiler - Beckert, Posegga - 1996
4 Combining KARL and CRLM for designing vertical transportatio.. - Poeck, Fensel et al. - 1996
3 Special issue on the VT sisyphus task (context) - Schreiber, Birmingham - 1996
3 Logics of Database Updates (context) - Spruit - 1994
3 ML) 2 : A formal language for KADS conceptual models (context) - Harmelen, Balder - 1992
2 JUCS special ASM issue (context) - Borger - 1997
2 Special issue on the Sisyphus 91/92 models (context) - Linster - 1994
2 Axiomatization, declarative semantics and operational semant.. (context) - Spruit, Wieringa et al. - 1995
2 New York: Prentice Hall Int (context) - Milner, Concurrency - 1989
2 Transaction logic programming (or, a logic of procedural and.. - Bonner, Kifer - 1995
2 Applying rule-base anomalies to kads inference structures - van Harmelen - 1998
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)
Formal Methods in Knowledge Engineering - van Harmelen, Fensel (1995) (Correct)
Approximations in Diagnosis: Motivations and Techniques - van Harmelen, Teije (1995) (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