Contractions Based on Optimal Repairs.
|
KR |
2024 |
0 |
Hyperintensional Partial Meet Contractions.
|
KR |
2022 |
0 |
Belief Contraction in Non-classical logics as Hyperintensional Belief Change.
|
KR |
2021 |
1 |
Choosing What to Believe - New Results in Selective Revision.
|
KR |
2020 |
2 |
Belief Update without Compactness in Non-finitary Languages.
|
IJCAI |
2019 |
3 |
Belief Change and Non-Monotonic Reasoning Sans Compactness.
|
AAAI |
2019 |
5 |
Towards Belief Contraction without Compactness.
|
KR |
2018 |
6 |
Two AGM-Style Characterizations of Model Repair.
|
KR |
2018 |
0 |
Consolidating Probabilistic Knowledge Bases via Belief Contraction.
|
KR |
2016 |
7 |
On the revision of planning tasks.
|
ECAI |
2014 |
31 |
Minimal Change in AGM Revision for Non-Classical Logics.
|
KR |
2014 |
10 |
Minimal change: Relevance and recovery revisited.
|
Artificial Intelligence |
2013 |
36 |
Horn Clause Contraction Functions.
|
JAIR |
2013 |
28 |
Belief Revision on Computation Tree Logic.
|
IJCAI |
2011 |
1 |
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
|
JAIR |
2011 |
35 |
Horn Belief Change: A Contraction Core.
|
ECAI |
2010 |
11 |
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 |
37 |