Experimenting with power default reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
ACM Computing Surveys (CSUR)
On the expressive power of semi-normal defaults in some semantic variants of default logic
AI Communications - Special issue on Artificial intelligence advances in China
A tutorial on default reasoning
The Knowledge Engineering Review
Theoretical Computer Science
On the expressive power of semi-normal defaults in some semantic variants of default logic
AI Communications - Artificial Intelligence Advances in China
The tractability of path-based inheritance
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Vivid knowledge and tractable reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Skeptical inheritance: computing the intersection of credulous extensions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Default inheritance reasoning in hybrid KL-ONE-style logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Sound and efficient non-monotonic inference
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Computing the extensions of autoepistemic and default logics with a truth maintenance system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Abductive and default reasoning: a computational core
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The complexity of closed world reasoning and circumscription
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Default logic, propositional logic and constraints
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Incorporating nonmonotonic reasoning in horn clause theories
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
The complexity of propositional default 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
Fundamenta Informaticae
Hi-index | 0.00 |