A first-order conditional logic for prototypical properties

First-order conditional logic for default reasoning revisited

ACM Transactions on Computational Logic (TOCL)

Time in a causal theory

Annals of Mathematics and Artificial Intelligence

Action-Based Causal Reasoning

Applied Intelligence

A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge

Journal of Logic, Language and Information

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 Calculus and Complexity Bound for Minimal Conditional Logic

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science

Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs

Annals of Mathematics and Artificial Intelligence

A sequent calculus and a theorem prover for standard conditional logics

ACM Transactions on Computational Logic (TOCL)

Tableau calculus for preference-based conditional logics: PCL and its extensions

ACM Transactions on Computational Logic (TOCL)

Possibilistic logic, preferential models, non-monotonicity and related issues

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Syntactic conditional closures for defeasible reasoning

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Conditional and Preferential Logics: Proof Methods and Theorem Proving

Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving

An approach to default reasoning based on a first-order conditional logic

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

An approach to default reasoning based on a first-order conditional logic

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

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

Default reasoning from statistics

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

Transforming prioritized defaults and specificity into parallel defaults

UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence

PTL: a propositional typicality logic

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence

Automating quantified conditional logics in HOL

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence