Journal of the ACM (JACM)
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
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
Hi-index | 0.00 |