D. Fensel, R. Groenboom, and G. R. Renardel de Lavalette: MCL: Specifying the Reasoning of Knowledge-based Systems, Data and Knowledge Engineering (DKE), 26(3):243-269, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Software Architecture for Knowledge-Based Systems - Fensel, Groenboom (1999) Self-citation (Fensel Groenboom) (Correct)
....the backbone that is used by other publications that focus on its specific aspects. The relationship of this paper to other publications of the authors is as follows: Fensel van Harmelen, 1994] Fensel, 1995b] Fensel, 1995c] van Harmelen Fensel, 1995] Angele et al. 1998] [Fensel et al. 1998a] describe pioneering work on how to combine conceptual models of knowledge based systems with formal specifications. In this paper, we build on this work, however, refine some of the formal means and introduce a component based framework (i.e. conceptual model) enabling knowledge and software ....
....refine some of the formal means and introduce a component based framework (i.e. conceptual model) enabling knowledge and software reuse. Our architecture makes use of some refinements of existing formal methods that were introduced by the languages MLPM [Fensel Groenboom, 1996] and MCL [Fensel et al. 1998b] that provide a more suitable means for specifying the dynamic aspects of the reasoning process of knowledge based systems (as worked out in [Groenboom, 1997] An analysis of existing approaches for specifying these dynamics can be found in [van Eck et al. 1998] The use of our framework ....
[Article contains additional citation context not shown here]
D. Fensel, R. Groenboom, and G. R. Renardel de Lavalette: MCL: Specifying the Reasoning of Knowledge-based Systems, Data and Knowledge Engineering (DKE), 26(3):243-269, 1998.
The Role of Assumptions in Knowledge Engineering - Fensel, Benjamins (1998) (2 citations) Self-citation (Fensel) (Correct)
.... of such competence descriptions can be found in [Fensel Groenboom, 1997] Fensel Sch negge, 1997b] and [Fensel Sch negge, submitted] However, establishing the competence of a PSM requires the definition of a control flow that defines the execution order of the inference steps of a PSM [Fensel et al. to appear] and a notion of the functionality that is provided by the domain knowledge. The competence definition of a PSM like heuristic classification critically depends on the competence of its hierarchical and heuristic match knowledge. Statements about the absolute or relative correctness and ....
D. Fensel, R. Groenboom, and G. R. Renardel de Lavalette: MCL: Specifying the Reasoning of Knowledge-based Systems, to appear in Data and Knowledge Engineering (DKE).
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