by Michael Zakharyaschev
http://www.doc.ic.ac.uk/~mz6/com.ps
Add To MetaCart
Abstract:
operators
Citations
|
519
|
An overview of the KL-ONE knowledge representation system
– Brachman, Schmolze
- 1985
|
|
299
|
CLASSIC: A structural data model for objects
– Borgida, Brachman, et al.
- 1989
|
|
289
|
A guide to completeness and complexity of modal logics of knowledge and belief
– Halpern, Moses
- 1992
|
|
225
|
The complexity of concept languages
– Donini, Lenzerini, et al.
- 1995
|
|
222
|
Reasoning in description logics
– Donini, Lenzerini, et al.
- 1996
|
|
99
|
A Terminological Knowledge Representation System with Complete Inference Algorithms
– Baader, Hollunder
- 1991
|
|
88
|
TBox and ABox reasoning in expressive description logics
– Giacomo, Lenzerini
- 1996
|
|
55
|
Decidability of Class-Based Knowledge Representation Formalisms
– Giacomo
- 1995
|
|
52
|
Temporalizing description logics
– Wolter, Zakharyaschev
- 1999
|
|
42
|
Satisfiability problem in description logics with modal operators
– Wolter, Zakharyaschev
- 1998
|
|
35
|
Combining terminological logics with tense logic
– Schild
- 1993
|
|
32
|
A multi-dimensional terminological knowledge representation language
– Baader, Ohlbach
- 1995
|
|
27
|
Terminological logics with modal operators
– Baader, Laux
- 1995
|
|
11
|
Beliefs in multi-agent worlds: A terminological approach
– Laux
- 1994
|
|
7
|
Dynamic description logic
– Wolter, Zakharyaschev
- 1998
|
