NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Fixpoint 3-valued semantics for autoepistemic logic
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Towards First-Order Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Complexity of default logic on generalized conjunctive queries
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
A semantic framework for language layering in WSML
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |