NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Approximating the Stable Model Semantics is Hard
Fundamenta Informaticae
Hi-index | 0.00 |