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 |