Dieter Fensel, Rix Groenboom  Home/Search
Context Related
| cs.vu.nl/~dieter/ftp/...architecture.ps 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/~dieter...publications99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The paper introduces a software architecture for the specification and verification of knowledge-based systems combining conceptual and formal techniques. Our focus is component-based specification enabling their reuse. We identify four elements of the specification of a knowledge-based system: a task definition, a problem-solving method, a domain model, and an adapter. We present algebraic specifications and a variant of dynamic logic as formal means to specify and verify these... (Update)
Context of citations to this paper: More
...works for small candidate sets, but it is adequate to demonstrate the ideas in this paper. In terms of the specification framework of [8], formula (1) is the goal definition. In our simple example, this goal definition coincides exactly with the competence description of the...
Cited by: More
A Conceptual Architecture for Semantic Web Enabled Web Services - Bussler, Fensel (2002) (Correct)
Formally verifying dynamic properties of Knowledge Based.. - Groot, Teije, van Harmelen (1999) (Correct)
Similar documents (at the sentence level):
16.6%: Specifying Knowledge-Based Systems with Reusable Components - Fensel, Groenboom (1997) (Correct)
Active bibliography (related documents): More All
2.4: Inverse Verification of Problem-Solving Methods - Fensel, Schönegge (1998) (Correct)
2.1: Modal Change Logic (MCL): Specifying the Reasoning of .. - Fensel, Groenboom.. (1998) (Correct)
2.1: The Role of Assumptions in Knowledge Engineering - Fensel, Benjamins (1998) (Correct)
Similar documents based on text: More All
0.5: MLPM: Defining a Semantics and Axiomatization for Specifying .. - Fensel, Groenboom (1996) (Correct)
0.5: Specification and Verification of Knowledge-Based Systems - Fensel, Schönegge.. (Correct)
0.4: The Component Model Of Upml In A Nutshell - Fensel, Benjamins, Decker.. (1999) (Correct)
BibTeX entry: (Update)
D. Fensel and R. Groenboom. A software architecture for knowledge-based systems. The Knowledge Engineering Review , 1999. To appear. http://citeseer.ist.psu.edu/fensel99software.html More
@misc{ fensel99software,
author = "D. Fensel and R. Groenboom",
title = "A software architecture for knowledge-based systems",
text = "D. Fensel and R. Groenboom. A software architecture for knowledge-based
systems. The Knowledge Engineering Review , 1999. To appear.",
year = "1999",
url = "citeseer.ist.psu.edu/fensel99software.html" }
Citations (may not include all citations):169 Artificial Intelligence - Newell, Level - 1982
121 Kluwer Academic Publisher (context) - Fensel, Acquisition et al. - 1995
81 A Reference Manual (context) - Spivey, Notation - 1992
65 The CommonKADS Library for Expertise Modelling (context) - Breuker, Velde - 1994
45 Automating Knowledge Acquisition for Experts Systems (context) - Marcus - 1988
38 A Comprehensive Methodology for KBS Development (context) - Th, Wielinga et al. - 1994
20 van Harmelen: A Comparison of Languages which Operationalize.. (context) - Fensel - 1994
19 Springer-Verlag (context) - Puppe, to et al. - 1993
19 Musen: Task Modeling with Reusable Problem-Solving Methods (context) - Eriksson, Shahar et al. - 1995
18 A Formal Language for KADS Conceptual Models (context) - van Harmelen, Balder - 1992
17 Smith: Task Structure Analysis for Knowledge Modeling (context) - Chandrasekaran, Johnson - 1992
15 in Knowledge and Software Engineering, The Knowledge Enginee.. (context) - Fensel, Languages - 1995
13 Schreiber: Steps in Constructing ProblemSolving Methods (context) - Akkermans, Wielinga et al. - 1993
13 AI Magazine (context) - Steels, Expertise - 1990
13 Journal of Symbolic Logic (context) - Kripke, Theorem et al. - 1959
12 Straatman: The Essence of Problem-Solving Methods: Making As.. (context) - Fensel - 1996
12 Garlan: Software Architecture: Perspectives on an Emerging D.. (context) - Shaw - 1996
12 Straatman: The Essence of Problem-Solving Methods: Making As.. (context) - Fensel - 1998
12 Straatman: Assumptions of Problem-Solving Methods and Their .. (context) - Benjamins, Fensel - 1996
12 Artificial Intelligence (context) - Davis, Based et al. - 1984
12 Josephson: The Computational Complexity of Abduction (context) - Bylander, Allemang et al. - 1991
11 University of Amsterdam (context) - Teije, of et al. - 1997
11 Studer: The Knowledge Acquisition and Representation Languag.. (context) - Fensel, Angele - 1998
10 Vlissides: Design Patterns (context) - Gamma, Helm et al. - 1995
10 Lecture Notes in Computer Science (context) - Bidoit, Kreowski et al. - 1991
10 Zdrahal: Parametric Design Problem Solving (context) - Motta - 1996
9 IEEE Transactions on Software Engineering (context) - Garlan, Perry et al. - 1995
9 Shadbolt: Knowledge Acquisition Support Through Generalised .. (context) - Terpstra, van Heijst et al. - 1993
9 Talon: An Algebraic Specification of the Dynamic Behaviour o.. (context) - Pierret-Golbreich - 1996
8 Akkermans: Tasks and Ontologies in Engineering Modeling (context) - Top - 1994
7 Wielinga: Using Explicit Ontologies in Knowledge-Based Syste.. (context) - van Heijst, Schreiber - 1997
7 IEEE Transactions on Software Engineering (context) - Shaw, Time et al. - 1989
6 Wielinga: The Unified Problem-solving Method development Lan.. (context) - Fensel, Motta et al.
6 Zdrahal: Using Ontologies For Defining Tasks (context) - Fensel, Motta et al. - 1997
6 International Journal of Expert Systems: Research and Applic.. (context) - Benjamins, Methods et al. - 1995
6 IEEE Expert (context) - Chandrasekaran, in et al. - 1986
6 Studer: Developing Knowledge-Based Systems with MIKE (context) - Angele, Fensel - 1998
5 Wielinga: Specification and Verification of Knowledge-Based .. (context) - Fensel, Schnegge et al. - 1996
5 Motta: Structured Development of Problem Solving Methods (context) - Fensel - 1998
5 Angele: Combining KARL And CRLM For Designing Vertical Trans.. (context) - Poeck, Fensel et al. - 1996
4 Aben: Structure-preserving Specification Languages for Knowl.. (context) - van Harmelen - 1996
3 Groenboom: MLPM: Defining a Semantics and Axiomatization for.. (context) - Fensel - 1996
3 Wielinga: The Component Model of UPML in a Nutshell (context) - Fensel, Benjamins et al. - 1999
3 Schnegge: Inverse Verification of Problem-Solving Methods (context) - Fensel - 1998
3 Benjamins: The Role of Assumptions in Knowledge Engineering (context) - Fensel - 1998
3 Zdrahal: An Intelligent Brokering Service for Knowledge-Comp.. (context) - Benjamins, Plaza et al. - 1998
3 Benjamins: Key Issues for Automated Problem-Solving Methods .. (context) - Fensel - 1998
3 Strom: Protocol Specifications and Component Adapters (context) - Yellin - 1997
3 Fensel: UPML Specification of a Parametric Design Library (context) - Motta, Gaspari - 1999
2 Renardel de Lavalette: MCL: Specifying the Reasoning of Know.. (context) - Fensel, Groenboom - 1998
2 to appear in The Knowledge Engineering Review (context) - Menzies, Maintenance et al.
2 Havelund: Declarative Specifications of Software Architectur.. (context) - Penix, Alexander - 1997
2 Renardel de Lavalette: Reasoning about Dynamic Features in S.. (context) - Groenboom - 1994
2 University of Groningen (context) - Groenboom, Domains et al. - 1997
2 Fensel: Formal Methods in Knowledge Engineering (context) - van Harmelen - 1995
2 Studer: Conceptual and Formal Specifications of Problem-Solv.. (context) - Fensel, Eriksson et al. - 1996
1 Fensel: Knowledge Engineering: Methods and Principles (context) - Studer, Benjamins - 1998
1 Schnegge: Using KIV to Specify and Verify Architectures of K.. (context) - Fensel - 1997
1 Alexander: Toward Automated Component Adaptation (context) - Penix - 1997
1 Rotterdam: Decision Support in Anaesthesia (context) - de Geus - 1992
1 Willems: Specification of Dynamics for Knowledge-Based Syste.. (context) - van Eck, Engelfriet et al. - 1998
1 ten Teije: Formal Support for Development of Knowledge-Based.. (context) - Fensel, van Harmelen et al. - 1998
1 de Geus: Formalisation of Anaesthesiology for Decision Suppo.. (context) - de Lavalette, Groenboom et al. - 1997
Documents on the same site (http://www.cs.vu.nl/~dieter/publications99.html): More
On2broker: Semantic-Based Access to Information.. - Fensel, Angele.. (1999) (Correct)
The Component Model Of Upml In A Nutshell - Fensel, Benjamins, Decker.. (1999) (Correct)
Towards Brokering Problem-Solving Knowledge on the.. - Benjamins, Wielinga.. (1999) (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