R.J. Brachman, V.P. Gilbert, H.J. Levesque ; An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON ; Proceedings of IJCAI 9, pp. 532-539, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Hybrid Approach to Representation in the Janus Natural.. - Weischedel (1989) (11 citations) (Correct)
Representation of Semantic Knowledge with Term Subsumption.. - Burkett, Forster (1991) (Correct)
Deriving and Retrieving Contextual Categorical.. - Analyti, Spyratos, .. (1998) (1 citation) (Correct)
Equations, Order-Sortedness, and Inheritance in Logic.. - Furbach, Hölldobler (Correct)
Thesauri and Formal Classifications: Terminologies For People and .. - Rector (1997) (3 citations) (Correct)
A Terminological Knowledge Representation System with.. - Baader, Hollunder (1991) (67 citations) (Correct)
MANTRA: A Multi-Level Hybrid Knowledge Representation.. - Bittencourt, Calmet.. (1994) (Correct)
Query Optimization in Deductive Object Bases - Jeusfeld, Staudt (1993) (8 citations) (Correct)
Class Library Implementation of an Open Architecture Knowledge.. - Gaines (1994) (5 citations) (Correct)
An Empirical Analysis of Optimization Techniques.. - Baader.. (1992) (59 citations) (Correct)
Terminological Logic Involving Time and Evolution: A.. - Lambrix, Rönnquist (1993) (1 citation) (Correct)
Using a Subsumption-Based Taxonomy to Construct Networks of.. - Pierre Lim Mark (Correct)
Principles for Organizing Semantic Relations in Large.. - Stephens, Chen (1994) (Correct)
hQkb- The High Quality Knowledge Base Initiative (Sisyphus V.. - Menzies (1999) (Correct)
CARIN: Description Logics as a Constraint Language in Horn Rule.. - Levy, al. (Correct)
Deriving and Retrieving Contextual Categorical.. - Analyti, Spyratos, .. (1998) (1 citation) (Correct)
Knowledge Engineering: Principles and Methods - Studer, Benjamins, Fensel (1998) (16 citations) (Correct)
Decidable Reasoning in Terminological Knowledge.. - Buchheit, Donini.. (1993) (141 citations) (Correct)
A Hybrid Belief System For Doubtful Agents - Saffiotti (1991) (Correct)
A Framework for Representing Algebraic Knowledge Using .. - Tjandra, Calmet.. (2002) (Correct)
Mantra: A Shell For Hybrid Knowledge Representation - Calmet Bittencourt Tjandra (1991) (1 citation) (Correct)
Unified Domains and Abstract Computational Structures - Calmet, Homann, Tjandra (1993) (Correct)
Logic Programming: The Case of Description and Hybrid Logic - Areces (Correct)
Walking through the Semantics of Frame-Based Description.. - Cattoni, Franconi (1990) (3 citations) (Correct)
AL-log: Integrating Datalog and Description Logics - Donini, Lenzerini, al. (1998) (22 citations) (Correct)
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