Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Some contributions to nonmonotonic consequence
Journal of Computer Science and Technology
Plausibility measures and default reasoning
Journal of the ACM (JACM)
Quatum logic, Hilbert space, revision theory
Artificial Intelligence
On decision-theoretic foundations for defaults
Artificial Intelligence
Decision, nonmonotonic reasoning and possibilistic logic
Logic-based artificial intelligence
Qualitative decision theory: from savage's axioms to nonmonotonic reasoning
Journal of the ACM (JACM)
The Possibilistic Handling of Irrelevance in Exception-Tolerant Reasoning
Annals of Mathematics and Artificial Intelligence
Probabilistic Reasoning Under Coherence in System P
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
An Empirical Test of Patterns for Nonmonotonic Inference
Annals of Mathematics and Artificial Intelligence
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge
Journal of Logic, Language and Information
Refined Epistemic Entrenchment
Journal of Logic, Language and Information
Teleology as Higher-Order Causation: A Situation-Theoretic Account
Minds and Machines
Autonomous Agents and Multi-Agent Systems
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modeling Paraconsistent Reasoning by Classical Logic
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Representing and Learning Conditional Information in Possibility Theory
Proceedings of the International Conference, 7th Fuzzy Days on Computational Intelligence, Theory and Applications
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
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
Connecting Lexicographic with Maximum Entropy Entailment
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Bridging Logical, Comparative, and Graphical Possibilistic Representation Frameworks
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Some Operators for Iterated Revision
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Possible Worlds Semantics for Credulous and Contraction Inference
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
A stratification-based approach for handling conflicts in access control
Proceedings of the eighth ACM symposium on Access control models and technologies
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Extending the Maximum Entropy Approach to Variable Strength Defaults
Annals of Mathematics and Artificial Intelligence
Brave Nonmonotonic Inference and Its Kinds
Annals of Mathematics and Artificial Intelligence
Editorial: fuzzy set and possibility theory-based methods in artificial intelligence
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Artificial Intelligence
Explaining default intuitions using maximum entropy
Journal of Applied Logic - Special issue on combining probability and logic
System JLZ: rational default reasoning by minimal ranking constructions
Journal of Applied Logic - Special issue on combining probability and logic
Normal conditions for inference relations and injective models
Theoretical Computer Science
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Nonmonotonic proof systems: algebraic foundations
Fundamenta Informaticae
Artificial Intelligence - Special issue on nonmonotonic reasoning
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
Artificial Intelligence - Special issue on nonmonotonic reasoning
A knowledge-based framework for belief change part I: foundations
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Lexicographic probability, conditional probability, and nonstandard probability
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Distance semantics for belief revision
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Rationality postulates for induction
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
A unified framework for order-of-magnitude confidence relations
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Abductive logics in a belief revision framework
Journal of Logic, Language and Information
Inductive inference as ampliative and non monotonic reasoning
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
First-order classical modal logic: applications in logics of knowledge and probability
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Similarity between preferential models
Theoretical Computer Science
A characterization theorem for injective model classes axiomatized by general rules
Theoretical Computer Science
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Additive Consolidation with Maximal Change
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Approximate Reasoning
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
ACM Transactions on Computational Logic (TOCL)
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
Variable-strength conditional preferences for ranking objects in ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Expressive probabilistic description logics
Artificial Intelligence
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Predicting causality ascriptions from background knowledge: model and experimental validation
International Journal of Approximate Reasoning
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning
Handling uncertainty and defeasibility in a possibilistic logic setting
International Journal of Approximate Reasoning
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
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
Reasoning with Uncertainty by Nmatrix---Metric Semantics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
How to Restore Compactness into Probabilistic Logics?
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Weak Implication in Terms of Conditional Uncertainty Measures
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Artificial Intelligence
Iterated Belief Revision in the Face of Uncertain Communication
Declarative Agent Languages and Technologies VI
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
From the textual description of an accident to its causes
Artificial Intelligence
Reasoning with Prioritized Data by Aggregation of Distance Functions
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Distance-Based Non-Deterministic Semantics
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Background default knowledge and causality ascriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Automated Deduction for Logics of Default Reasoning
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Representing and aggregating conflicting beliefs
Journal of Artificial Intelligence Research
Representation dependence in probabilistic inference
Journal of Artificial Intelligence Research
Ordinal and probabilistic representations of acceptance
Journal of Artificial Intelligence Research
Statistical foundations for default reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Qualitative relevance and independence: a roadmap
IJCAI'97 Proceedings of the 15th 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
Maximum entropy and variable strength defaults
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Weak conditional logics of normality
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Plausibility measures: a general approach for representing uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Reconstructing an agent's epistemic state from observations
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On specificity in default logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Syntactic conditional closures for defeasible reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Weak nonmonotonic probabilistic logics
Artificial Intelligence
A Theory of Hierarchical Consequence and Conditionals
Journal of Logic, Language and Information
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Modelling Object Typicality in Description Logics
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Dialogue game tree with nondeterministic additive consolidation
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Two puzzles concerning measures of uncertainty and the positive Boolean connectives
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
Electronic Notes in Theoretical Computer Science (ENTCS)
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Plausibility measures and default reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Bridging possibilistic conditional knowledge bases and partially ordered bases
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A nonmonotonic extension of KLM preferential logic P
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
A framework for reasoning under uncertainty based on non-deterministic distance semantics
International Journal of Approximate Reasoning
Preferences in AI: An overview
Artificial Intelligence
Rainbow of computer science
Probabilistic approach to nonmonotonic consequence relations
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Parallel belief revision: Revising by sets of formulas
Artificial Intelligence
Belief functions and default reasoning
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Defaults and infinitesimals defeasible inference by nonarchimedean entropy maximization
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Decision-making under ordinal preferences and comparative uncertainty
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Coping with the limitations of rational inference in the framework of possibility theory
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Penalty logic and its link with Dempster-Shafer theory
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Analytic tableau calculi for KLM rational logic R
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Reasoning about an agent based on its revision history with missing inputs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Variable-strength conditional preferences for ranking objects in ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Analytic tableaux for KLM preferential and cumulative logics
LPAR'05 Proceedings of the 12th 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
Approaches to measuring inconsistent information
Inconsistency Tolerance
Permissions and uncontrollable propositions in DSDL3: non-monotonicity and algorithms
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
The relationship of the logic of big-stepped probabilities to standard probabilistic logics
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Acceptance, conditionals, and belief revision
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Semantic foundation for preferential description logics
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Defeasible inheritance-based description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Qualitative and quantitative conditions for the transitivity of perceived causation
Annals of Mathematics and Artificial Intelligence
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae
A New Approach to Preferential Structures
Fundamenta Informaticae
Fundamenta Informaticae
A Two-Stage Approach to First Order Default Reasoning
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A defeasible reasoning approach for description logic ontologies
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Semantical investigations into nonmonotonic and probabilistic logics
Annals of Mathematics and Artificial Intelligence
PTL: a propositional typicality logic
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A minimal model semantics for nonmonotonic reasoning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
Normal modal preferential consequence
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Preferential Semantics for Plausible Subsumption in Possibility Theory
Minds and Machines
Interpolative reasoning with default rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |