94 citations · 246 across the 28 of their papers we have counts for
19 papers · 1 filter
Representing states in iterated belief revision
Paolo Liberatore
Iterated belief revision requires information about the current beliefs. This information is represented by mathematical structures called doxastic states. Most literature concentr…
On Mixed Iterated Revisions
Paolo Liberatore
Several forms of iterable belief change exist, differing in the kind of change and its strength: some operators introduce formulae, others remove them; some add formulae unconditio…
Merging with unknown reliability
Paolo Liberatore
Merging beliefs depends on the relative reliability of their sources. When unknown, assuming equal reliability is unwarranted. The solution proposed in this article is that every r…
Reconstructing a single-head formula to facilitate logical forgetting
Paolo Liberatore
Logical forgetting may take exponential time in general, but it does not when its input is a single-head propositional definite Horn formula. Single-head means that no variable is…
One head is better than two: a polynomial restriction for propositional definite Horn forgetting
Paolo Liberatore
Logical forgetting is \np-complete even in the simple case of propositional Horn formulae, and may exponentially increase their size. A way to forget is to replace each variable to…
Belief Merging by Source Reliability Assessment
Paolo Liberatore
Merging beliefs requires the plausibility of the sources of the information to be merged. They are typically assumed equally reliable in lack of hints indicating otherwise; yet, a…