Titolo | Pubblicato in | Anno |
---|---|---|
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 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma