Nebel, B. (1990) Reasoning and Revision in Hybrid Representation Systems, New York: Springer.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Decidability of Class-Based Knowledge Representation Formalisms - De Giacomo (1995) (11 citations) (Correct)
....of these two aspects. In particular, starting with [14] the research on the computational complexity of the reasoning tasks associated with description logics has shown that in order to ensure decidability and or efficiency of reasoning in all cases, one must renounce some of the expressive power [76, 81, 83, 82, 47, 48, 49]. These results have led to a debate on the trade off between expressive power of representation formalisms and worst case efficiency of the associated reasoning tasks. Recently, this issue has been one of the main themes in the area of description logics, and has led to at least four different ....
....contains the details of a polynomial reduction from DI (CI) to D (C) which was not included in the original version of the thesis. 19 20 Preliminaries In this chapter we present the basic notions regarding both description logics and propositional dynamic logics. We refer the reader to [82] and [74] for an introduction to the subjects. We also prove some propositions to be used in the following chapters. 2.1 Description logics Description logics allow one to represent a domain of interest in terms of concepts and roles. Concepts model classes of individuals, while roles model ....
B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes In Artificial Intelligence. Springer-Verlag, 1990.
Logic Programming over Polymorphically Order-Sorted Types - Smolka (1989) (60 citations) (Correct)
....is a decidable logic that generalizes Ait Kaci s formalism by adding negation and quantification. Feature Logic makes explicit that Ait Kaci s terms, the feature descriptions developed by computational linguists [KB82, RK86, Joh88] and the knowledge representation language KL ONE [BS85, LB87, Neb89, SSS91, NS90] are all closely related members of the same family of logics. These logics offer attributive concept descriptions that are interpreted as sets and are built from sorts and binary relations (called attributes, roles or features) using set operations such as intersection, union and ....
....a decidable logic that generalizes Ait Kaci s formalism by adding negation and quantification. Feature Logic makes explicit that Ait Kaci s terms, the feature descriptions developed by computational linguists [KB82, RK86, Joh88] and the knowledge representation language KL ONE [BS85, LB87, Neb89, SSS91, NS90] are all closely related members of the same family of logics. These logics offer attributive concept descriptions that are interpreted as sets and are built from sorts and binary relations (called attributes, roles or features) using set operations such as intersection, union and ....
[Article contains additional citation context not shown here]
Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems. PhD thesis, Universitat des Saarlandes, Saarbrucken, West Germany, June 1989. To appear in Lecture Notes in Artificial Intelligence, Springer-Verlag.
Attributive Description Formalisms . . . and the Rest of the.. - Nebel, Smolka (1991) (5 citations) Self-citation (Nebel) (Correct)
No context found.
Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Artificial Intelligence. SpringerVerlag, Berlin, Heidelberg, New York, 1990.
A Polynomial Approach to the - Constructive Induction Of (Correct)
No context found.
Nebel, B. (1990) Reasoning and Revision in Hybrid Representation Systems, New York: Springer.
Utilising an Ontology Based Repository - To Connect Web (Correct)
No context found.
Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. Number 422 in Lecture Notes in Artificial Intelligence. Springer-Verlag (1990)
Description Logics with Fuzzy Concrete Domains - Straccia Umberto Isti (2005) (1 citation) (Correct)
No context found.
B. Nebel. Reasoning and revision in hybrid representation systems. Springer, Heidelberg, FRG, 1990.
Molecular Structure Databases - Darrell Conklin In (Correct)
No context found.
Nebel, B. 1990. Reasoning and Revision in Hybrid Representation Systems. Springer--Verlag.
A Sequent Calculus for Reasoning in Four-valued Description Logics - Straccia (1997) (1 citation) (Correct)
No context found.
Bernhard Nebel. Reasoning and revision in hybrid representation systems. Springer, Heidelberg, FRG, 1990.
Journal ofAb12750b Intelligence Research 14 (2001) 137-166.. - Straccia Iei Vn (Correct)
No context found.
Nebel, B. (1990). Reasoning and revision in hybrid representation systems. Springer, Heidelberg, FRG.
On Sets of Terms: - Study Of Generalisation (Correct)
No context found.
B. Nebel, "Reasoning and revision in Hybrid Representation systems". Lecture Notes in Artificial Intelligence 422, Springer-Verlag, ISBN 3-540-52443-6, 1987.
Uncertainty in Description Logics: a Lattice-based Approach - Straccia (2004) (Correct)
No context found.
B. Nebel. Reasoning and revision in hybrid representation systems. Springer, Heidelberg, FRG, 1990.
Optimization Techniques for Retrieving Resources Described.. - Haarslev, Möller (2004) (5 citations) (Correct)
No context found.
Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1990.
A short presentation of YAK, - Hybrid Knowledge Representation (Correct)
No context found.
B. Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Arti cial Intelligence. Springer-Verlag, Berlin, Heidelberg, New York, 1990. 5
Electronic Workshops In Computing - Series Edited By (1997) (Correct)
No context found.
B. Nebel. Reasoning and revision in hybrid representation systems. volume 422 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1990.
Document Retrieval by Relevance Terminological Logics - Straccia (1995) (Correct)
No context found.
Bernhard Nebel. Reasoning and revision in hybrid representation systems. Springer, Heidelberg, FRG, 1990.
Unknown - Formalization And Experimentation (Correct)
No context found.
Bernhard Nebel. Reasoning and revision in hybrid representation systems. Springer, Heidelberg, FRG, 1990.
Corega Tabs: Mapping Semantics onto Pragmatics - Ludwig, Bücher, Görz (2002) (1 citation) (Correct)
No context found.
B. Nebel, Reasoning and Revision in Hybrid Representation Systems. Berlin: Springer (LNAI 422), 1990
Schema Extraction for Semi-Structured Data - Hacid Soualmia And (Correct)
No context found.
B. Nebel. Reasoning and Revision in Hybrid Representation Systems. volume 422 of LNCS, page 300. Springer-Verlag, New York, 1990.
Simplicial Complexes for Description Logics - Terminologies Erika Valencia (Correct)
No context found.
Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems. Number 422 in LNAI. Springer-Verlag, New York, 2nd edition, 1995.
Utilising an Ontology Based Repository to Connect Web Miners and .. - Haustein (2001) (Correct)
No context found.
Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. Number 422 in Lecture Notes in Artificial Intelligence. Springer-Verlag (1990)
Optimization Strategies for Instance Retrieval - Haarslev, Möller (2002) (6 citations) (Correct)
No context found.
Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Artificial Intel ltel e. Springer-Verlag, 1990.
Corega Tabs: Mapping Semantics onto Pragmatics - Ludwig, Bücher, Görz (2002) (1 citation) (Correct)
No context found.
B. Nebel, Reasoning and Revision in Hybrid Representation Systems. Berlin: Springer (LNAI 422), 1990
Corega Tabs: Mapping Semantics onto Pragmatics - Ludwig, Bücher, Görz (2002) (1 citation) (Correct)
No context found.
B. Nebel, Reasoning and Revision in Hybrid Representation Systems. Berlin: Springer (LNAI 422), 1990
Utilising an Ontology Based Repository to Connect Web Miners and .. - Haustein (2001) (Correct)
No context found.
Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. Number 422 in Lecture Notes in Artificial Intelligence. Springer-Verlag (1990)
Corega Tabs: Mapping Semantics onto Pragmatics - Ludwig, Bücher, Görz (2002) (1 citation) (Correct)
No context found.
B. Nebel, Reasoning and Revision in Hybrid Representation Systems. Berlin: Springer (LNAI 422), 1990
First 50 documents Next 50
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