First-order conditional logic for default reasoning revisited
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)
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
A modal logic of information change
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
Prohairetic Deontic Logic (PDL)
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Distribution of goals addressed to a group of agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
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
Desires, Norms and Constraints
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Similarity between preferential models
Theoretical Computer Science
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties
Fundamenta Informaticae - Deontic Logic in Computer Science
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
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)
Defining relative likelihood in partially-ordered preferential structures
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
A non-monotonic logic for specifying and querying preferences
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Cancelling and overshadowing two types of defeasibility in defeasible deontic logic
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
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
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
Deontics = betterness + priority
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Parallel belief revision: Revising by sets of formulas
Artificial Intelligence
Fast belief update using order-of-magnitude probabilities
UAI'95 Proceedings of the Eleventh 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
The probability of a possibility: adding uncertainty to default rules
UAI'93 Proceedings of the Ninth 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
Analytic tableaux for KLM preferential and cumulative logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Strategies for distributing goals in a team of cooperative agents
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
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
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties
Fundamenta Informaticae - Deontic Logic in Computer Science
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
Embedding and automating conditional logics in classical higher-order logic
Annals of Mathematics and Artificial Intelligence
Normal modal preferential consequence
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Adaptive Logic as a Modal Logic
Studia Logica
Hi-index | 0.00 |