CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Integrating Multiple Paradigms within the Blackboard Framework
IEEE Transactions on Software Engineering
The description logic handbook
On perfect introspection with quantifying-in: extended abstract
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Selected AI-Related Dissertations Assembled
ACM SIGART Bulletin
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
A model of decidable introspective reasoning with quantifying-in
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Decidable reasoning in first-order knowledge bases with perfect introspection
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Semantic web reasoners and languages
Artificial Intelligence Review
Hi-index | 0.00 |