Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
What does a conditional knowledge base entail?
Artificial Intelligence
Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems
A framework to compute inference rules valid in agents' temporal logics
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Inference rules in multi-agents' temporal logics
Transactions on computational collective intelligence IV
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence
Introducing reactive modal tableaux
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
We introduce $${\mathcal{A}}$$ -ranked preferential structures and combine them with an accessibility relation. $${\mathcal{A}}$$ -ranked preferential structures are intermediate between simple preferential structures and ranked structures. The additional accessibility relation allows us to consider only parts of the overall $${\mathcal{A}}$$ -ranked structure. This framework allows us to formalize contrary to duty obligations, and other pictures where we have a hierarchy of situations, and maybe not all are accessible to all possible worlds. Representation results are proved.