Bernhard Nebel, Kai von Luck  Home/Search
Context Related
Links: DBLP | informatik.unifre...uckismis88.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: Hybrid knowledge representation formalisms consist of two or more different subformalisms for representing different kinds of knowledge or knowledge in different kinds of representation formats. For a semantically well-founded hybrid formalism not only a precise semantics for each of the participating subformalisms has to be given but a semantics for the interrelationship between these subformalisms as well. A hybrid representation system therefore has to be implemented as a hybrid reasoning... (Update)
Context of citations to this paper: More
.... 1985; Schmolze, 1989] krypton [Brachman et al. 1985] meson [Edelmann and Owsnicki, 1986] back [von Luck et al. 1987; Nebel and von Luck, 1988] loom [MacGregor, 1988] classic [Brachman et al. 1989; Borgida et al. 1989] and sb one [Kobsa, 1989] and the formal...
...1 , to represent and reason about concepts and roles efficiently. Some famous systems of this kind include KL ONE[5] KL TWO[25] BACK[17, 16], CLASSIC[4] and so on. Though terminological logics have proved to be an 1 Some alias include concept logic, description logic, or...
Cited by: More
SILO: Integrating Logic in Objects for Knowledge.. - Hatzilygeroudis (1996) (Correct)
Term Subsumption with Type Constructors - Piza, Schewe, Schmidt (1992) (Correct)
AL-log: Integrating Datalog and Description Logics - Donini, Lenzerini, al. (1998) (Correct)
Similar documents (at the sentence level):
49.5%: Issues of Integration and Balancing in Hybrid Knowledge.. - Nebel, von Luck (1987) (Correct)
Active bibliography (related documents): More All
0.3: A Lexicon for Knowledge-Based MT - Onyshkevych, Nirenburg (1995) (Correct)
0.3: An Ontological-Semantic Framework for Text Analysis - Onyshkevych (1997) (Correct)
0.2: Description Logics are not just for the Flightless-Birds: A New.. - Borgida (1992) (Correct)
Similar documents based on text: More All
0.1: Attributive Description Formalisms - Nebel, Smolka (1991) (Correct)
0.0: Learning in the 'Real World' - Saitta, Neri (1998) (Correct)
0.0: Terminological Cycles: Semantics and Computational Properties - Nebel (1991) (Correct)
Related documents from co-citation: More All
12: CLASSIC: A Structural Data Model for Objects - Borgida, Brachman et al. - 1989
10: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts in KRY.. (context) - Brachman, Pigman et al. - 1985
9: An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
BibTeX entry: (Update)
B. Nebel, K. von Luck. "Hybrid reasoning in BACK." In Z. W. Ras, L. Saitta (editors), Methodologies for Intelligent Systems, pp. 260--269, North Holland, Amsterdam, Netherlands, 1988. http://citeseer.ist.psu.edu/nebel88hybrid.html More
@inproceedings{ nebel88hybrid,
author = "Bernhard Nebel and Kai von Luck",
title = "Hybrid Reasoning in {BACK}",
booktitle = "Proceedings of the Third International Symposium on Methodologies for Intelligent systems",
publisher = "North-Holland",
address = "Amsterdam, The Netherlands",
editor = "Z. W. Ras and L. Saitta",
pages = "260--269",
year = "1988",
url = "citeseer.ist.psu.edu/nebel88hybrid.html" }
Citations (may not include all citations):1044 Maintaining Knowledge About Temporal Intervals (context) - Allen - 1983 ACM DBLP
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
132 Towards a Logical Reconstruction of Relational Database Theo.. (context) - Reiter - 1984 DBLP
118 The tractability of subsumption in frame-based description l.. (context) - Brachman, Levesque - 1984 DBLP
76 Making Believers out of Computers (context) - Levesque - 1986 ACM DBLP
72 Computational Complexity of Terminological Reasoning in BACK - Nebel - 1988 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 DBLP
39 Small can be Beautiful in Knowledge Representation (context) - Patel-Schneider - 1984
20 Some Problems and Non-Problems in Representation Theory (context) - Hayes - 1974
19 Classification in the KL-ONE Knowledge Representation System (context) - Schmolze, Lipkis - 1983 DBLP
17 The Layered Architecture of a System for Reasoning about Pro.. (context) - Rich - 1985
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 DBLP
10 Why We Need Many Knowledge Representation Formalisms (context) - Sloman - 1985
8 The Anatomy of the BACK System (context) - von Luck, Nebel et al. - 1987
3 Tarskian semantics, or no notation without denotation (context) - McDermott - 1978
2 Semantic Networks with Number Restricted Roles or Another St.. (context) - von Luck - 1986 ACM DBLP
2 Contribution to the SIGART Special Issue on Knowledge Repres.. (context) - Kowalski - 1980
1 Knowledge Base Revision in Terminological Representation Sys.. (context) - Nebel
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/conferences.html): More
Issues of Integration and Balancing in Hybrid Knowledge.. - Nebel, von Luck (1987) (Correct)
Reasoning about Temporal Relations: A Maximal Tractable.. - Nebel, Bürckert (1994) (Correct)
Complexity Results for SAS+ Planning - Bäckström, Nebel (1993) (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