Bernhard Nebel, Kai von Luck  Home/Search
Context Related
Links: ACM DBLP | informatik.unifre...luckgwai87.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.unifrei...conferences (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the last several years the hybrid approach to Knowledge Representation has received much attention, because it was felt that one monolithic knowledge representation formalism cannot meet all representational demands. In this paper we will present one particular hybrid knowledge representation system, BACK, concentrating on matters of how to integrate different subformalisms and their interpretation. In particular, `balancing the expressiveness' of the respective subformalisms and combining... (Update)
Context of citations to this paper: More
.... the design of a hybrid KRR system should be done in a way such that the subformalisms employed are balanced in their expressiveness [42]. For instance, it does not make much sense to have the means to represent cardinalities of sets in a TBox without the expressive power of...
...classifying the abstraction. This strategy is employed by two recent systems, KL TWO [Vilain, 1985] and BACK [Luck et al. 1987; Nebel and Luck, 1987] In this paper, we describe an extension of this approach which (1) is deductively more powerful than, and (2) is expected to...
Cited by: More
Benefits of an OODB Representation for Controlled.. - Gu, Halper, Geller, Perl (1999) (Correct)
Integrating Frames, Rules and Uncertainty in a.. - Drescher, Holena, .. (Correct)
A Deductive Pattern Matcher - Gregor (1988) (Correct)
Similar documents (at the sentence level):
56.0%: Hybrid Reasoning in BACK - Nebel, von Luck (1988) (Correct)
Active bibliography (related documents): More All
0.9: Computational Complexity of Terminological Reasoning in BACK - Nebel (1988) (Correct)
0.5: "Reducing" CLASSIC to Practice: Knowledge.. - Brachman.. (1992) (Correct)
0.3: Algebraic Terminological Representation - Schmidt (1991) (Correct)
Similar documents based on text: More All
0.0: Terminological Cycles: Semantics and Computational Properties - Nebel (1991) (Correct)
0.0: Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
0.0: Terminological Representation, Natural Language & Relation Algebra - Schmidt (1992) (Correct)
Related documents from co-citation: More All
2: The Restricted Language Architecture of a Hybrid Representation System (context) - Vilain - 1985
2: The tractability of subsumption in framebased description languages (context) - Brachman, Levesque - 1984
2: CLASSIC: A Structural Data Model for Objects - Borgida, Brachman et al. - 1989
BibTeX entry: (Update)
B. Nebel and K. von Luck. Issues of integration and balancing in hybrid knowledge representation systems. In K. Morik, editor, GWAI87. 11th German Workshop on Artificial Intelligence, pages 114--123, Springer-Verlag, Berlin, West Germany, 1987. http://citeseer.ist.psu.edu/21926.html More
@inproceedings{ nebel87issues,
author = "Bernhard Nebel and Kai von Luck",
title = "Issues of Integration and Balancing in Hybrid Knowledge Representation Systems",
booktitle = "{GWAI}-87. 11th German Workshop on Artificial Intelligence",
publisher = "Springer-Verlag",
address = "Berlin, Heidelberg, New York, Tokyo",
editor = "K. Morik",
pages = "114--123",
year = "1987",
url = "citeseer.ist.psu.edu/21926.html" }
Citations (may not include all citations):663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969 ACM
480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
118 The tractability of subsumption in frame-based description l.. (context) - Brachman, Levesque - 1984
72 Computational Complexity of Terminological Reasoning in BACK - Nebel - 1987 ACM DBLP
65 An Essential Hybrid Reasoning System: Knowledge and Symbol L.. (context) - Brachman, Gilbert et al. - 1985
42 The Logic of Frames (context) - Hayes - 1979
41 The Restricted Language Architecture of a Hybrid Representat.. (context) - Vilain - 1985
39 Small can be Beautiful in Knowledge Representation (context) - Patel-Schneider - 1984
24 Technische Universitat Berlin (context) - von Luck, Nebel et al. - 1987
20 Some Problems and Non-Problems in Representation Theory (context) - Hayes - 1974
15 Data Models in Knowledge Representation Systems: A Case Stud.. (context) - Edelmann, Owsnicki - 1986
12 A Four-Valued Semantics for Frame-Based Description Language.. (context) - Patel-Schneider - 1986
10 Why We Need Many Knowledge Representation Formalisms (context) - Sloman - 1985
6 or no notation without denotation (context) - McDermott, semantics - 1978
2 published in: Artificial Intelligence (context) - Levesque, out et al. - 1986
2 BACK to Consistency and Incompleteness (context) - von Luck, Nebel et al. - 1986
2 Semantic Networks with Number Restricted Roles or Another St.. (context) - von Luck - 1986
2 Contribution to the SIGART Special Issue on Knowledge Repres.. (context) - Kowalski - 1980
1 Neuere KI-Formalismen zur Reprasentation von Wissen (context) - von Luck, Owsnicki-Klewe - 1987
Documents on the same site (http://www.informatik.uni-freiburg.de/~nebel/conferences.html): More
Reasoning about Temporal Relations: A Maximal Tractable.. - Nebel, Bürckert (1994) (Correct)
Complexity Results for SAS+ Planning - Bäckström, Nebel (1993) (Correct)
Preferred Arguments are Harder to Compute than Stable.. - Dimopoulos, Nebel, Toni (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