NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Propositional default logics made easier: computational complexity of model checking
Theoretical Computer Science
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Preferred arguments are harder to compute than stable extensions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |