ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Investigating aboutness axioms using information fields
SIGIR '94 Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)
ACM Computing Surveys (CSUR)
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)
Application of aboutness to functional benchmarking in information retrieval
ACM Transactions on Information Systems (TOIS)
Explaining updates by minimal sums
Theoretical Computer Science
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Quatum logic, Hilbert space, revision theory
Artificial Intelligence
On decision-theoretic foundations for defaults
Artificial Intelligence
An argument-based approach to reasoning with specificity
Artificial Intelligence
Nonmonotonic reasoning for adaptive information filtering
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
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)
Nonmonotonic consequences in default domain theory
Annals of Mathematics and Artificial Intelligence
Logical considerations on default semantics
Annals of Mathematics and Artificial Intelligence
Logic knowledge bases with two default rules
Annals of Mathematics and Artificial Intelligence
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
Set-theoretic completeness for epistemic and conditional logic
Annals of Mathematics and Artificial Intelligence
Contrary-to-duty reasoning with preference-based dyadic obligations
Annals of Mathematics and Artificial Intelligence
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 Qualitative Approach to Syllogistic Reasoning
Annals of Mathematics and Artificial Intelligence
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
Parameters for Utilitarian Desires in a Qualitative Decision Theory
Applied Intelligence
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge
Journal of Logic, Language and Information
Default Reasoning as Situated Monotonic Inference*
Minds and Machines
The Nature of Nonmonotonic Reasoning
Minds and Machines
Foundations of Secure Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
A representation theorem for recovering contraction relations satisfying wci
Theoretical Computer Science
Reliability Measure Theory: A Nonmonotonic Semantics
IEEE Transactions on Knowledge and Data Engineering
Logic and choice: a perspective on belief revision and nonmonotonic reasoning
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
A modal logic of information change
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
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
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Causal Propagation Semantics - A Study
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
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
A Calculus and Complexity Bound for Minimal Conditional Logic
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
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
General Preferential Entailments as Circumscriptions
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
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Explaining Updates by Minimal Sums
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
Possible Worlds Semantics for Credulous and Contraction Inference
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Dynamic belief revision operators
Artificial Intelligence
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
The semantics of preference-based belief operators
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
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
A big-stepped probability approach for discovering default rules
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Intelligent information systems
Normal conditions for inference relations and injective models
Theoretical Computer Science
On the checking of G-coherence of conditional probability bounds
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Nonmonotonic reasoning by inhibition nets II
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Quasi-possibilistic logic and its measures of information and conflict
Fundamenta Informaticae
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Order-consistent programs are cautiously monotonic
Theory and Practice of Logic Programming
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Logical Preference Representation and Combinatorial Vote
Annals of Mathematics and Artificial Intelligence
Nonmonotonic proof systems: algebraic foundations
Fundamenta Informaticae
On Stratified Belief Base Compilation
Annals of Mathematics and Artificial Intelligence
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 nonmonotonic observation logic
Artificial Intelligence - Special issue on nonmonotonic reasoning
Preferential logics: the predicate calculus case
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A knowledge-based framework for belief change part I: foundations
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Belief revision in a changing world
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Non-prioritised ranked belief change
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
Using arguments for making decisions: a possibilistic logic approach
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A unified framework for order-of-magnitude confidence relations
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Theoretical Computer Science
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Abductive logics in a belief revision framework
Journal of Logic, Language and Information
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Inductive inference as ampliative and non monotonic reasoning
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
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A characterization theorem for injective model classes axiomatized by general rules
Theoretical Computer Science
A causal approach to nonmonotonic reasoning
Artificial Intelligence
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)
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
Merging operators: Beyond the finite case
Information Fusion
International Journal of Approximate Reasoning
Notes on “Notes on conditional previsions”
International Journal of Approximate Reasoning
Aspects and modular reasoning in nonmonotonic logic
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Deontic logics for prioritized imperatives
Artificial Intelligence and Law
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)
Annals of Mathematics and Artificial Intelligence
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
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
Prioritized conditional imperatives: problems and a new proposal
Autonomous Agents and Multi-Agent Systems
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Predicting causality ascriptions from background knowledge: model and experimental validation
International Journal of Approximate Reasoning
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
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
Some Puzzles About Probability and Probabilistic Conditionals
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
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
A Comparative Study of Six Formal Models of Causal Ascription
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Transitive Observation-Based Causation, Saliency, and the Markov Condition
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Reasoning about Typicality in Preferential Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Objective Bayesian probabilistic logic
Journal of Algorithms
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Artificial Intelligence
Qualitative Knowledge Discovery
Semantics in Data and Knowledge Bases
On Extending RuleML for Modal Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Using arguments for making and explaining decisions
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)
Tableau calculus for preference-based conditional logics: PCL and its extensions
ACM Transactions on Computational Logic (TOCL)
From the textual description of an accident to its causes
Artificial Intelligence
Rational choice and AGM belief revision
Artificial Intelligence
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
A Note on Cumulative Stereotypical Reasoning
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Dealing Automatically with Exceptions by Introducing Specificity in ASP
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Explaining qualitative decision under uncertainty by argumentation
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Interventions in Possibilistic Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Making Sense of a Sequence of Events: A Psychologically Supported AI Implementation
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
From qualitative to quantitative proofs of security properties using first-order conditional logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Nonmonotonic modes of inference
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
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
Generic preferences over subsets of structured objects
Journal of Artificial Intelligence Research
Defining relative likelihood in partially-ordered preferential structures
Journal of Artificial Intelligence Research
Monotonicity and persistence in preferential logics
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
On the semantics of supernormal defaults
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Preference-based semantics for nonmonotonic logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Inconsistency management and prioritized syntax-based entailment
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
A cumulative-model semantics for dynamic preferences on assumptions
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Credulous nonmonotonic inference
IJCAI'99 Proceedings of the 16th 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
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Weak conditional logics of normality
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A unified view of consequence relation, belief revision and conditional logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Inaccessible worlds and irrelevance preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial 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
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Plausibility measures: a general approach for representing uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Inverse resolution as belief change
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Learning to reason the non monotonic case
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On decision theoretic foundations for defaults
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
Specificity and inheritance in default reasoning
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
Representation dependence in probabilistic inference
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
PrDB: managing and exploiting rich correlations in probabilistic databases
The VLDB Journal — The International Journal on Very Large Data Bases
A causal approach to nonmonotonic reasoning
Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Formal similarities and differences among qualitative conditional semantics
International Journal of Approximate Reasoning
A Theory of Hierarchical Consequence and Conditionals
Journal of Logic, Language and Information
Modelling Object Typicality in Description Logics
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Measuring the incremental information value of documents
Information Sciences: an International Journal
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)
Reasoning about hybrid probabilistic knowledge bases
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
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
Preferential description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
The 'majority' and 'by default' modalities
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
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)
Logic-based knowledge representation
Artificial intelligence today
Connectives in cumulative logics
Pillars of computer science
A general family of preferential belief removal operators
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
Double preference relations for generalised belief change
Artificial Intelligence
Argumentation and rules with exceptions
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on 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
First-order conditional logic revisited
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Conditional logics of normality as modal systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The P-systems: a systematic classification of logics of n onmonotonicity
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
System-Z+: a formalism for reasoning with variable-strength defaults
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Incorporating nonmonotonic reasoning in horn clause theories
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A symbolic generalization of probability theory
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Algebraic sematics for cumulative inference operations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Possibilistic and standard probabilistic semantics of conditional knowledge
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Similarity-based inconsistency-tolerant logics
JELIA'10 Proceedings of the 12th European conference on Logics in 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
Artificial Intelligence
Human and unhuman commonsense reasoning
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
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
Solving conflicts in information merging by a flexible interpretation of atomic propositions
Artificial Intelligence
Probabilistic approach to nonmonotonic consequence relations
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Quasi conjunction and inclusion relation in probabilistic default reasoning
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
A tableau calculus for a nonmonotonic extension of EL⊥
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
A tableau calculus for a nonmonotonic extension of the description logic DL-litecore
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
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
Proof complexity of propositional default logic
Archive for Mathematical Logic
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Parallel belief revision: Revising by sets of formulas
Artificial Intelligence
Probabilistic logic programming under inheritance with overriding
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Comparative uncertainty, belief functions and accepted beliefs
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Belief functions and default reasoning
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Numerical representations of acceptance
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Plausibility measures: a user's guide
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
A qualitative Markov assumption and its implications for belief change
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Defining relative likelihood in partially-ordered preferential structures
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Possibility and necessity functions over non-classical logic
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
The probability of a possibility: adding uncertainty to default rules
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Modal logics for qualitative possibility and beliefs
UAI'92 Proceedings of the Eighth 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
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
Variable-strength conditional preferences for ranking objects in ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Constraint propagation with imprecise conditional probabilities
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Non-monotonic reasoning and the reversibility of belief change
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Programming cognitive agents in defeasible logic
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
Bipolar representations in reasoning, knowledge extraction and decision processes
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
On the qualitative comparison of sets of positive and negative affects
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Generalizing inference rules in a coherence-based probabilistic default reasoning
International Journal of Approximate Reasoning
The logic of risky knowledge, reprised
International Journal of Approximate Reasoning
Proof complexity of propositional default logic
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
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
Projective default epistemology
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
A bipolar possibilistic representation of knowledge and preferences and its applications
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Semantic foundation for preferential description logics
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Towards an agent based retrieval engine: profile information filtering project
IRSG'97 Proceedings of the 19th Annual BCS-IRSG conference on Information Retrieval Research
Inconsistency-Tolerance in knowledge-based systems by dissimilarities
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Reasoning about typicality in low complexity DLs: the logics EL⊥Tmin and DL-LitecTmin
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Making sense as a process emerging from perception–memory interaction: A model
International Journal of Intelligent Systems
Qualitative and quantitative conditions for the transitivity of perceived causation
Annals of Mathematics and Artificial Intelligence
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
Annals of Mathematics and Artificial Intelligence
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
Possible world semantics for defeasible deontic logic
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae
Quasi-Possibilistic Logic and its Measures of Information and Conflict
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
A New Approach to Preferential Structures
Fundamenta Informaticae
Fundamenta Informaticae
On a Logical Basis of Normal Logic Programs
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 Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
A Default Logic Based On Epistemic States
Fundamenta Informaticae
What Is A Nonmonotonic Consequence Relation?
Fundamenta Informaticae
A Modal Logic For Hypothesis Theory
Fundamenta Informaticae
Fundamenta Informaticae
Varying Selection Functions To Relate Conditional Logics And Preferential Models
Fundamenta Informaticae
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
A defeasible reasoning approach for description logic ontologies
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
A defeasible reasoning model of inductive concept learning from examples and communication
Artificial Intelligence
Semantical investigations into nonmonotonic and probabilistic logics
Annals of Mathematics and Artificial Intelligence
Probabilistic reasoning in DL-lite
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Nested sequent calculi for conditional logics
JELIA'12 Proceedings of the 13th European conference on Logics in 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
Jumping to conclusions: a logico-probabilistic foundation for defeasible rule-based arguments
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A preferential framework for trivialization-resistant reasoning with inconsistent information
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Knowledge acquisition: Past, present and future
International Journal of Human-Computer Studies
A framework for the theoretical evaluation of XML retrieval
Journal of the American Society for Information Science and Technology
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
International Journal of Approximate Reasoning
Quasi conjunction, quasi disjunction, t-norms and t-conorms: Probabilistic aspects
Information Sciences: an International Journal
A reasoning platform based on the MI shapley inconsistency value
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the plausibility of abstract arguments
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
International Journal of Approximate Reasoning
Interpolative reasoning with default rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Studia Logica
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
The Logic of Exact Covers: Completeness and Uniform Interpolation
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.01 |