Two approaches to efficient open-world reasoning
Logic-based artificial intelligence
On the interactions of awareness and certainty
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Semantics and proof-theory of depth bounded Boolean logics
Theoretical Computer Science
Decidable reasoning in a logic of limited belief with introspection and unknown individuals
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |