Picture for Paolo Liberatore

Paolo Liberatore

Can we forget how we learned? Doxastic redundancy in iterated belief revision

Add code
Feb 23, 2024
Viaarxiv icon

Natural revision is contingently-conditionalized revision

Add code
Sep 22, 2023
Viaarxiv icon

Can we forget how we learned? Representing states in iterated belief revision}

Add code
May 16, 2023
Viaarxiv icon

Abductive forgetting

Add code
Sep 26, 2022
Viaarxiv icon

Superredundancy: A tool for Boolean formula minimization complexity analysis

Add code
May 02, 2022
Figure 1 for Superredundancy: A tool for Boolean formula minimization complexity analysis
Figure 2 for Superredundancy: A tool for Boolean formula minimization complexity analysis
Figure 3 for Superredundancy: A tool for Boolean formula minimization complexity analysis
Figure 4 for Superredundancy: A tool for Boolean formula minimization complexity analysis
Viaarxiv icon

Four algorithms for propositional forgetting

Add code
Apr 13, 2022
Figure 1 for Four algorithms for propositional forgetting
Figure 2 for Four algorithms for propositional forgetting
Figure 3 for Four algorithms for propositional forgetting
Figure 4 for Four algorithms for propositional forgetting
Viaarxiv icon

On Mixed Iterated Revisions

Add code
Apr 08, 2021
Viaarxiv icon

Merging with unknown reliability

Add code
Jan 07, 2021
Viaarxiv icon

Reconstructing a single-head formula to facilitate logical forgetting

Add code
Dec 18, 2020
Viaarxiv icon

One head is better than two: a polynomial restriction for propositional definite Horn forgetting

Add code
Sep 16, 2020
Viaarxiv icon