Explanatory belief ascription: notes and premature formalization
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Autoepistemic logic and introspective circumscription
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Logic-based knowledge representation
Artificial intelligence today
Combining circumscription and modal logic
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Artificial Intelligence
Correct Reasoning
The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning
Fundamenta Informaticae
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Hi-index | 0.00 |