A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Default Reasoning as Situated Monotonic Inference*
Minds and Machines
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Improving search in a hypothetical reasoning system
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Explaining default intuitions using maximum entropy
Journal of Applied Logic - Special issue on combining probability and logic
An integrated framework for learning and reasoning
Journal of Artificial Intelligence Research
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
| Hi-index | 0.00 |