|
327
|
CLASSIC: A Structural Data Model for Objects
– Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick
- 1989
|
|
544
|
An overview of the KL-ONE knowledge representation system
– James G. Schmolze, Bolt Beranek, Newman Inc
- 1985
|
|
216
|
Living with CLASSIC: When and How to Use a KL-ONE-Like Language
– Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori A. Resnick, Lori Alperin Resnick, Alexander Borgida
- 1991
|
|
31
|
Classification as a query processing technique in the Candide semantic data model
– Howard W Beck, Sunit Gala, Sham B Navathe
- 1989
|
|
45
|
Small can be beautiful in knowledge representation
– P F Patel-Schneider
- 1984
|
|
13
|
Organizing Knowledge in a Complex Financial Domain
– W Mays, S Tyler, J McCuire, J Schlossberg
- 1987
|
|
155
|
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
– Alex Borgida, Peter F. Patel-Schneider
- 1994
|
|
60
|
Computational Complexity of Terminological Reasoning in BACK
– Bernhard Nebel
- 1988
|
|
21
|
Configuration as a Consistency Maintenance Task
– B Owsnicki-Klewe
|
|
12
|
Knowledge representation support for data archaeology
– R BRACHMAN, P SELFRIDGE, L TERVEEN, B ALTMAN, A BORGIDA, F HALPER, T KIRK, A LAZAR, D MCGUINNESS, L RESNICK
- 1992
|
|
46
|
A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems
– Jon R. Wright, Elia S. Weixelbaum, Gregg T. Vesonder, Karen E. Brown, Stephen R. Palmer, Jay I. Berman, Harry H. Moore
- 1993
|
|
136
|
Terminological Reasoning is Inherently Intractable
– Bernhard Nebel
- 1990
|
|
64
|
Tractable Concept Languages
– F M Donini, M Lenzerini, D Nardi, W Nutt
- 1991
|
|
71
|
Computing Least Common Subsumers in Description Logics
– William W. Cohen, Alex Borgida, Haym Hirsh
- 1992
|
|
219
|
The Complexity of Concept Languages
– Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
- 1991
|
|
243
|
A Scheme for Integrating Concrete Domains into Concept Languages
– Franz Baader, Philipp Hanschke
- 1991
|
|
3
|
The user's guide to the BACK system
– C Peltason, K von Luck, B Nebel
- 1987
|
|
1515
|
A Theory of the Learnable
– L. G. Valiant
- 1984
|
|
111
|
Expressiveness and tractability in knowledge representation and reasoning
– Hector J Levesque, Ronald J Brachman
- 1987
|
