ACM Transactions on Database Systems (TODS)
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Propositional default logics made easier: computational complexity of model checking
Theoretical Computer Science
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |