Bernhard Nebel  Home/Search
Context Related
Links: ACM DBLP | informatik.unifrei...nebelaij88.ps.gz cs.man.ac.uk/~tessa...nebelaij88.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: informatik.unifreibur...journals (more) From: cs.man.ac.uk/~tessaris/D...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Terminological reasoning is a mode of reasoning all hybrid knowledge representation systems based on KL-ONE rely on. After a short introduction of what terminological reasoning amounts to, it is proven that a complete inference algorithm for the BACK system would be computationally intractable. Interestingly, this result also applies to the KANDOR system, which had been conjectured to realize complete terminological inferences with a tractable algorithm. More generally, together with an earlier ... (Update)
Context of citations to this paper: More
.... 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...
Cited by: More
Molecular Structure Databases - Darrell Conklin In (Correct)
Basic Description Logics - Baader, Nutt (2003) (Correct)
Attributive Description Formalisms . . . and the Rest of the.. - Nebel, Smolka (1991) (Correct)
Active bibliography (related documents): More All
0.9: Issues of Integration and Balancing in Hybrid Knowledge.. - Nebel, von Luck (1987) (Correct)
0.6: Terminological Cycles: Semantics and Computational Properties - Nebel (1991) (Correct)
0.3: Algebraic Terminological Representation - Schmidt (1991) (Correct)
Similar documents based on text: More All
0.2: An Empirical Analysis of Optimization Techniques.. - Baader.. (1992) (Correct)
0.2: An Empirical Analysis of Optimization Techniques.. - Baader.. (1992) (Correct)
0.1: A Knowledge Level Analysis of Belief Revision - Nebel (1989) (Correct)
Related documents from co-citation: More All
52: An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
35: The complexity of concept languages - Donini, Lenzerini et al. - 1991
34: Expressiveness and Tractability in Knowledge Representation and Reasoning (context) - Levesque, Brachman - 1987
BibTeX entry: (Update)
B. Nebel. Computational complexity of terminological reasoning in BACK. Artificial Intelligence, 34(3):371--383, 1988. http://citeseer.ist.psu.edu/nebel88computational.html More
@article{ nebel88computational,
author = "Bernhard Nebel",
title = "Computational Complexity of Terminological Reasoning in {BACK}",
journal = "Artificial Intelligence",
volume = "34",
number = "3",
pages = "371--383",
year = "1988",
url = "citeseer.ist.psu.edu/nebel88computational.html" }
Citations (may not include all citations):4212 Computers and Intractability---A Guide to the Theory of NP-C.. (context) - Garey, Johnson - 1979
1044 Maintaining Knowledge About Temporal Intervals (context) - Allen - 1983 ACM DBLP
480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985 DBLP
118 The tractability of subsumption in framebased description la.. (context) - Brachman, Levesque - 1984
65 An Essential Hybrid Reasoning System: Knowledge and Symbol L.. (context) - Brachman, Pigman et al. - 1985
41 The Restricted Language Architecture of a Hybrid Representat.. (context) - Vilain - 1985 DBLP
39 Small can be Beautiful in Knowledge Representation (context) - Patel-Schneider - 1984
26 Recent Developments in NIKL (context) - Kaczmarek, Bates et al. - 1986
24 Technische Universitat Berlin (context) - Luck, von and et al. - 1987
16 Reasoning Utility Package User's Manual (context) - McAllester - 1982
15 Data Models in Knowledge Representation Systems: A Case Stud.. (context) - Edelmann, Owsnicki - 1986
14 KL-ONE: Semantics and Classification (context) - Schmolze, Israel - 1983
14 Coverings and colorings of hypergraphs (context) - Lovasz - 1973
12 A Four-Valued Semantics for Frame-Based Description Language.. (context) - Patel-Schneider - 1986 DBLP
12 Logic-Based Knowledge Representation (context) - Patel-Schneider - 1986 DBLP
6 or no notation without denotation (context) - McDermott - 1978
6 the Epistomological Status of Semantic Networks (context) - Brachman - 1979
4 A Logical-Form and Knowledge-Base Design for Natural Languag.. (context) - Sondheimer, Nebel - 1986 DBLP
2 published in: Artificial Intelligence (context) - Levesque - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-freiburg.de/~nebel/journals.html): More
On the Expressivity of Feature Logics with.. - Baader, Bürckert, .. (1993) (Correct)
On the Computational Complexity of Temporal Projection.. - Nebel, Bäckström (1994) (Correct)
Terminological Reasoning is Inherently Intractable - Nebel (1990) (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