Knowledge compilation and theory approximation
Journal of the ACM (JACM)
The description logic handbook
Inclusion, disjointness and choice: the logic of linguistic classification
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
What's in an attribute? consequences for the least common subsumer
Journal of Artificial Intelligence Research
Vivid knowledge and tractable reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Semantical and computational aspects of horn approximations
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Measuring and improving the effectiveness of representations
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Building theories into instantiation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The complexity of theory revision
Artificial Intelligence
Non-standard inferences in description logics
Non-standard inferences in description logics
Generalization with taxonomic information
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Knowledge compilation using horn approximations
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Computing least common subsumers in description logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Toward efficient default reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Approximating description logic classification for semantic web reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
| Hi-index | 0.00 |