| Probabilistic satisfiability: Logic-based algorithms and phase transition M Finger, G De Bona IJCAI, 528-533, 2011 | 49 | 2011 |
| Measuring inconsistency in probabilistic logic: rationality postulates and dutch book interpretation G De Bona, M Finger Artificial Intelligence 227, 140-164, 2015 | 27 | 2015 |
| Towards classifying propositional probabilistic logics G De Bona, FG Cozman, M Finger Journal of Applied Logic 12 (3), 349-368, 2014 | 20 | 2014 |
| Probabilistic satisfiability: algorithms with the presence and absence of a phase transition M Finger, G De Bona Annals of Mathematics and Artificial Intelligence 75 (3-4), 351-389, 2015 | 17 | 2015 |
| Graded incoherence for accuracy-firsters G De Bona, J Staffel Philosophy of Science 84 (2), 189-213, 2017 | 15 | 2017 |
| Towards a unified framework for syntactic inconsistency measures G De Bona, J Grant, A Hunter, S Konieczny Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 13 | 2018 |
| Why be (approximately) coherent? G De Bona, J Staffel Analysis 78 (3), 405-415, 2018 | 12 | 2018 |
| Localising iceberg inconsistencies G De Bona, A Hunter Artificial Intelligence 246, 118-151, 2017 | 11 | 2017 |
| Interpreting embedding models of knowledge bases: a pedagogical approach AC Gusmao, AHC Correia, G De Bona, FG Cozman arXiv preprint arXiv:1806.09504, 2018 | 10 | 2018 |
| Generalized probabilistic satisfiability through integer programming G De Bona, FG Cozman, M Finger Journal of the Brazilian Computer Society 21 (1), 1-14, 2015 | 7 | 2015 |
| Measuring inconsistency in probabilistic knowledge bases G De Bona Anais do XXX Concurso de Teses e Dissertações, 2017 | 5 | 2017 |
| Algorithms for deciding counting quantifiers over unary predicates M Finger, G De Bona Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 5 | 2017 |
| Consolidating Probabilistic Knowledge Bases via Belief Contraction. G De Bona, M Finger, MM Ribeiro, YD Santos, R Wassermann KR, 125-134, 2016 | 5 | 2016 |
| Notes on measuring inconsistency in probabilistic logic G De Bona, M Finger University of Sao Paulo 264, 2014 | 5 | 2014 |
| A logic based algorithm for solving probabilistic satisfiability M Finger, G De Bona Ibero-American Conference on Artificial Intelligence, 453-462, 2010 | 5 | 2010 |
| Classifying inconsistency measures using graphs G De Bona, J Grant, A Hunter, S Konieczny Journal of Artificial Intelligence Research 66, 937-987, 2019 | 4 | 2019 |
| Encoding the consistency of relational Bayesian networks G De Bona, FG Cozman Encontro Nacional de Inteligência Artificial e Computacional, Uberlândia, Brasil, 2017 | 3 | 2017 |
| Generalized probabilistic satisfiability G De Bona, FG Cozman, M Finger 2013 Brazilian Conference on Intelligent Systems, 182-188, 2013 | 3 | 2013 |
| A refuted conjecture on probabilistic satisfiability M Finger, G De Bona Brazilian Symposium on Artificial Intelligence, 293-302, 2010 | 3 | 2010 |
| Inconsistency measurement in probabilistic logic G De Bona, M Finger, N Potyka, M Thimm Measuring Inconsistency in Information. College Publications, 2018 | 2 | 2018 |
