| Titolo |
Pubblicato in |
Anno |
| The ghosts of forgotten things: A study on size after forgetting |
ANNALS OF PURE AND APPLIED LOGIC |
2024 |
| Representing states in iterated belief revision |
ARTIFICIAL INTELLIGENCE |
2024 |
| Common equivalence and size of forgetting from Horn formulae |
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
2024 |
| Mixed Iterated Revisions: Rationale, Algorithms, and Complexity |
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC |
2023 |
| Reconstructing a single-head formula to facilitate logical forgetting |
JOURNAL OF LOGIC AND COMPUTATION |
2023 |
| Belief merging in absence of reliability information |
SYNTHESE |
2022 |
| Belief Integration and Source Reliability Assessment |
THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH |
2018 |
| The size of BDDs and other data structures in temporal logics model checking |
IEEE TRANSACTIONS ON COMPUTERS |
2016 |
| Revision by History |
THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH |
2015 |
| On the complexity of second-best abductive explanations |
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING |
2015 |
| Belief merging by examples |
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC |
2015 |
