Nonmonotonic default modal logics
Journal of the ACM (JACM)
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Artificial nonmonotonic neural networks
Artificial Intelligence
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
On decision-theoretic foundations for defaults
Artificial Intelligence
Logical considerations on default semantics
Annals of Mathematics and Artificial Intelligence
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
The Possibilistic Handling of Irrelevance in Exception-Tolerant Reasoning
Annals of Mathematics and Artificial Intelligence
An Empirical Test of Patterns for Nonmonotonic Inference
Annals of Mathematics and Artificial Intelligence
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge
Journal of Logic, Language and Information
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Analytic Modal Revision for Multi-agent Systems
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Epistemic Context, Defeasible Inference and Conversational Implicature
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Modeling Paraconsistent Reasoning by Classical Logic
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Artificial Intelligence
Explaining default intuitions using maximum entropy
Journal of Applied Logic - Special issue on combining probability and logic
Order-consistent programs are cautiously monotonic
Theory and Practice of Logic Programming
Nonmonotonic proof systems: algebraic foundations
Fundamenta Informaticae
A nonmonotonic observation logic
Artificial Intelligence - Special issue on nonmonotonic reasoning
Nonmonotonic default modal logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Rationality postulates for induction
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Additive consolidation for dialogue game
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
Annals of Mathematics and Artificial Intelligence
Redundancy in logic III: Non-monotonic reasoning
Artificial Intelligence
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Nonmonotonic modes of inference
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Preference-based semantics for nonmonotonic logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic reasoning and multiple belief revision
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Possibilistic logic, preferential models, non-monotonicity and related issues
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Specificity and inheritance in default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
The 'majority' and 'by default' modalities
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Logic-based knowledge representation
Artificial intelligence today
Connectives in cumulative logics
Pillars of computer science
Towards closed world reasoning in dynamic open worlds
Theory and Practice of Logic Programming
A maximum entropy approach to nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Algebraic sematics for cumulative inference operations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Relational probabilistic conditional reasoning at maximum entropy
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Proof complexity of propositional default logic
Archive for Mathematical Logic
Non-monotonic reasoning and the reversibility of belief change
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Proof complexity of propositional default logic
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Proof complexity of non-classical logics
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
A Default Logic Based On Epistemic States
Fundamenta Informaticae
Possible Worlds Semantics For Default Logics
Fundamenta Informaticae
Fundamenta Informaticae
Varying Selection Functions To Relate Conditional Logics And Preferential Models
Fundamenta Informaticae
Hi-index | 0.00 |