Using Conditional Independence for Belief Revision. | 0 | 0.34 | 2022 |
An Investigation Of Parametrized Difference Revision Operators | 1 | 0.37 | 2021 |
Incompatibilities Between Iterated And Relevance-Sensitive Belief Revision | 0 | 0.34 | 2020 |
A study of possible-worlds semantics of relevance-sensitive belief revision | 0 | 0.34 | 2020 |
Observations on Darwiche and Pearl's Approach for Iterated Belief Revision. | 0 | 0.34 | 2019 |
Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision | 0 | 0.34 | 2019 |
Parametrised Difference Revision. | 0 | 0.34 | 2018 |
Incorporating Relevance in Epistemic States in Belief Revision. | 0 | 0.34 | 2018 |
Event Boards as Tools for Holistic AI. | 0 | 0.34 | 2018 |
Legal Reasoning in Answer Set Programming | 0 | 0.34 | 2018 |
Belief Revision in Answer Set Programming. | 0 | 0.34 | 2017 |
The Altruistic Robot: Do What I Want, Not Just What I Say. | 0 | 0.34 | 2017 |
Epistemic-entrenchment Characterization of Parikh's Axiom. | 1 | 0.36 | 2017 |
Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos. | 0 | 0.34 | 2017 |
Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract). | 0 | 0.34 | 2017 |
Kinetic Consistency and Relevance in Belief Revision. | 1 | 0.36 | 2016 |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions | 0 | 0.34 | 2016 |
Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result | 0 | 0.34 | 2016 |
Relevance in belief revision | 6 | 0.55 | 2015 |
Belief revision in Horn theories. | 14 | 0.59 | 2015 |
Constructive Models for Contraction with Intransitive Plausibility Indifference. | 0 | 0.34 | 2014 |
On the Formal Assessment of Argumentation Support Systems. | 0 | 0.34 | 2014 |
Belief Change and Semiorders. | 4 | 0.48 | 2014 |
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics. | 8 | 0.47 | 2013 |
Comparative Possibility in Set Contraction. | 1 | 0.41 | 2012 |
Maps in Multiple Belief Change | 3 | 0.42 | 2012 |
Revising horn theories | 13 | 0.54 | 2011 |
Associations between constructive models for set contraction | 0 | 0.34 | 2010 |
On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief | 1 | 0.39 | 2008 |
Conflicts between Relevance-Sensitive and Iterated Belief Revision | 2 | 0.39 | 2008 |
STAIRS 2006 - Proceedings of the Third Starting AI Researchers' Symposium, Riva del Garda, Trentino, Italy, 2006 | 30 | 3.14 | 2006 |
Early Estimation of Users' Perception of Software Quality | 10 | 0.86 | 2005 |
The Limit Assumption and Multiple Revision | 10 | 0.61 | 2004 |
System properties of action theories | 2 | 0.48 | 2004 |
Systems theory: melding the AI and simulation perspectives | 0 | 0.34 | 2004 |
Distance Semantics for Relevance-Sensitive Belief Revision | 20 | 1.39 | 2004 |
Constraints from STRIPS — preliminary report | 0 | 0.34 | 2004 |
Dynamic belief revision operators | 47 | 1.87 | 2003 |
Belief revision and organisational knowledge dynamics | 0 | 0.34 | 2003 |
Canonicity and Completeness Results for Many-Valued Modal Logics | 8 | 0.78 | 2002 |
Weaker axioms, more ranges | 6 | 0.52 | 2002 |
Realization for Causal Nondeterministic Input-Output Systems | 0 | 0.34 | 2001 |
Causality and minimal change demystified | 4 | 0.51 | 2001 |
Prolegomena to Concise Theories of Action | 1 | 0.39 | 2001 |
A unifying semantics for causal ramifications | 2 | 0.39 | 2000 |
Measuring similarity in belief revision | 6 | 0.57 | 2000 |
Preferential Semantics for Causal Systems | 5 | 0.51 | 1999 |
Causal Propagation Semantics - A Study | 2 | 0.43 | 1999 |
Inductive Properties of States | 0 | 0.34 | 1997 |
Preferential Semantics for Causal Fixpoints | 1 | 0.41 | 1997 |