Liviu Badea, et al.  Home/Search
Context
Related
| doodecas2.ici.ro/disk2/...pekads3.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: doodecas2.ici.ro/disk2/us...badea (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report presents E x Claim, a hybrid language for knowledge representation and reasoning. Developed as an operationalization language for the KADS knowledge based systems development methodology, E x Claim has a meta-level architecture: it structures the knowledge on three levels, namely the domain, inference and task level. An extension of a description logic is used for implementing the domain level. The inference and task levels are procedural and support non-determinism (inferences... (Update)
Similar documents (at the sentence level):
23.2%: Knowledge Modeling and Reusability in E x Claim - Badea (Correct)
Active bibliography (related documents): More All
0.6: A Terminological Knowledge Representation System with.. - Baader, Hollunder (1991) (Correct)
0.5: Models and Knowledge Acquisition Cycles for Multi-Agent Systems - Glaser, Haton, Haton (1995) (Correct)
0.4: Planning in Description Logics: Deduction versus Satisfiability.. - Badea (1998) (Correct)
Similar documents based on text: More All
0.1: Applying KADS to KADS: knowledge based guidance for knowledge.. - Kingston (1995) (Correct)
0.1: A Methodological Proposal for Multiagent Systems.. - Iglesias, Garijo, .. (1996) (Correct)
0.1: Evaluation of workbenches which support the CommonKADS.. - Kingston, Doheny, Filby (1996) (Correct)
BibTeX entry: (Update)
@misc{ badea-exclaim,
author = "Liviu Badea and et al.",
title = "ExClaim: a language for operationalizing CommonKADS expertise models using
description logics",
url = "citeseer.ist.psu.edu/209957.html" }
Citations (may not include all citations):686 A Guide to the Theory of NP-Completeness (context) - Garey, Johnson - 1979
480 An Overview of the KL-ONE Knowledge Representation System (context) - Brachman, Schmolze - 1985
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
197 The Complexity of Concept Languages - Donini, Lenzerini et al.
189 Living with Classic: When and How to Use a KL-ONE like Langu.. - Brachman - 1991
176 A correspondence theory for terminological logics: prelimina.. - Klaus
152 Decidable Reasoning in Terminological Knowledge Representati.. - Buchheit, Donini et al.
112 Terminological Reasoning is Inherently Intractable - Bernhard - 1990
111 The Evolving Technology of Classification based Knowledge Re.. (context) - MacGregor - 1991
97 Generic Tasks in Knowledge Based Reasoning: High Level Build.. (context) - Chandrasekaran - 1986
89 Terminological Cycles: Semantics and Computational Propertie.. - Nebel - 1991
89 KRIS: Knowledge Representation and Inference System -- Syste.. (context) - Baader, Hollunder
72 Computational Complexity of Terminological Reasoning in BACK - Nebel - 1988
69 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schauss
64 CYC: Towards Programs with Common Sense (context) - Lenat, Guha - 1990
61 KADS: A Principled Approach to Knowledge-Based System Develo.. (context) - Schreiber, Wielinga et al. - 1993
49 Subsumption Algorithms for Concept Languages - Hollunder, Nutt
45 Undecidability of Subsumption in NIKL (context) - Patel-Schneider - 1989
43 Implementing and testing expressive description logics - Bresciani, Franconi et al. - 1995
41 What's in an Aggregate: Foundations for Description Logics w.. - de Giacomo, Lenzerini
40 Principles of Semantic Networks (context) - ed - 1991
38 A comprehensive methodology for KBS development (context) - Schreiber, Wielinga et al. - 1994
27 A comparison of languages which operationalize and formalize.. - Fensel, van Harmelen - 1993
23 the thresholds of knowledge (context) - Lenat, Feigenbaum - 1991
13 Expertise Model Definition Document - ed - 1992
12 The KADS approach to knowledge engineering (context) - Wielinga, Schreiber et al. - 1992
12 University of Amsterdam (context) - SWI-Prolog, Manual - 1994
10 Concept Logics - Baader, urckert et al.
5 Programming in PCE/Prolog (context) - Wielemaker, Anjewierden - 1992
5 A unified architecture for knowledge representation and reas.. - Liviu - 1995
2 Max Planck Institute Report MPI (context) - Hustadt, Nonnengart et al. - 1994
2 Knowledge-level Reflection: Specifications and Architectures (context) - ed - 1992
2 Term Subsumption in Knowledge Representation (context) - Schneider - 1990
1 Support for the formalization and validation of KADS experti.. (context) - Aben, Balder et al. - 1994
1 Newman Using a Description Classifier to enhance Knowledge R.. (context) - Robert, Beranek - 1991
1 KIT Report Technische Universitat Berlin (context) - Klaus, Subsumption - 1988
Documents on the same site (http://doodecas2.ici.ro/disk2/usr/people/wserver/people/badea/badea.html): More
Refinement Operators can be (Weakly) Perfect - Badea, Stanciu (1999) (Correct)
Planning in Description Logics: Deduction versus Satisfiability.. - Badea (1998) (Correct)
Reifying Concepts in Description Logics - Badea (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