The pleadings game: formalizing procedural justice
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Circumscription with homomorphisms: solving the equality and counterexample problems
Journal of the ACM (JACM)
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)
Plausibility measures and default reasoning
Journal of the ACM (JACM)
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Logical considerations on default semantics
Annals of Mathematics and Artificial Intelligence
Temporalizing Epistemic Default Logic
Journal of Logic, Language and Information
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
A knowledge-based framework for belief change part I: foundations
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
ACM Transactions on Computational Logic (TOCL)
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Sometimes updates are circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Preference-based semantics for nonmonotonic logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A paraconsistent multi-agent framework for dealing with normative conflicts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
A fault-tolerant default logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Possibilistic semantics for logic programs with ordered disjunction
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A Default Logic Based On Epistemic States
Fundamenta Informaticae
Hi-index | 0.00 |