Some computational aspects of circumscription
Journal of the ACM (JACM)
Circumscription with homomorphisms: solving the equality and counterexample problems
Journal of the ACM (JACM)
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
Semantics for Pollock`s Defeasible Reasoning
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Explaining default intuitions using maximum entropy
Journal of Applied Logic - Special issue on combining probability and logic
Epistemic semantics for fixed-points non-monotonic logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Loop formulas for circumscription
Artificial Intelligence
Loop formulas for circumscription
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Reasoning with incomplete initial information and nondeterminism in situation calculus
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Temporal projection and explanation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Circumscription and definability
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Computing circumscription revisited: preliminary report
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Loop formulas for circumscription
Artificial Intelligence
The generalized theory of model preference
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Artificial Intelligence
Stable models and circumscription
Artificial Intelligence
Representing defaults and negative information without negation-as-failure
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Correct Reasoning
Fundamenta Informaticae
Hi-index | 0.00 |