Name Venue Year citations
Contractions Based on Optimal Repairs (Extended Abstract). IJCAI 2025 0
Contractions Based on Optimal Repairs. KR 2024 4
Hyperintensional Partial Meet Contractions. KR 2022 1
Belief Contraction in Non-classical logics as Hyperintensional Belief Change. KR 2021 3
Choosing What to Believe - New Results in Selective Revision. KR 2020 2
Belief Change and Non-Monotonic Reasoning Sans Compactness. AAAI 2019 8
Belief Update without Compactness in Non-finitary Languages. IJCAI 2019 5
Towards Belief Contraction without Compactness. KR 2018 15
Two AGM-Style Characterizations of Model Repair. KR 2018 0
Consolidating Probabilistic Knowledge Bases via Belief Contraction. KR 2016 8
On the revision of planning tasks. ECAI 2014 37
Minimal Change in AGM Revision for Non-Classical Logics. KR 2014 11
Minimal change: Relevance and recovery revisited. Artificial Intelligence 2013 43
Horn Clause Contraction Functions. JAIR 2013 35
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. JAIR 2011 38
Belief Revision on Computation Tree Logic. IJCAI 2011 0
Horn Belief Change: A Contraction Core. ECAI 2010 8
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. KR 2010 39
Expressivity and Control in Limited Reasoning. ECAI 2002 5
An Algorithm for Belief Revision. KR 2000 39
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ