Entrenchment versus Dependence: Coherence and Foundations in Belief Change
Journal of Logic, Language and Information
A representation theorem for recovering contraction relations satisfying wci
Theoretical Computer Science
Belief liberation (and retraction)
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
A negotiation-style framework for non-prioritised revision
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Additive Consolidation with Maximal Change
Electronic Notes in Theoretical Computer Science (ENTCS)
Debugging Incoherent Terminologies
Journal of Automated Reasoning
Formal models of coherence and legal epistemology
Artificial Intelligence and Law
On the Dynamics of Total Preorders: Revising Abstract Interval Orders
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Revising Specifications with CTL Properties Using Bounded Model Checking
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Iterated Belief Revision in the Face of Uncertain Communication
Declarative Agent Languages and Technologies VI
On Generalizing the AGM Postulates
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Base Belief Change and Optimized Recovery
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Reconsideration on Non-Linear Base Orderings
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
A Note on Cumulative Stereotypical Reasoning
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Next steps in propositional horn contraction
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Base belief change for finitary monotonic logics
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
On revising fuzzy belief bases
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
A toolkit for the realization of constraint-based multiagent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Selective revision by deductive argumentation
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Discussion paper: changing norms is changing obligation change
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Modeling local belief revision in a dynamic reasoning system
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Belief base change operations for answer set programming
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Knowledge-Base revision using implications as hypotheses
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
A framework for empirical evaluation of belief change operators
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Horn clause contraction functions
Journal of Artificial Intelligence Research
HANA: A Human-Aware Negotiation Architecture
Decision Support Systems
| Hi-index | 0.00 |