Glauber De Bona
Glauber De Bona
Verifierad e-postadress på usp.br
Titel
Citeras av
Citeras av
År
Probabilistic satisfiability: Logic-based algorithms and phase transition
M Finger, G De Bona
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
492011
Measuring inconsistency in probabilistic logic: rationality postulates and dutch book interpretation
G De Bona, M Finger
Artificial Intelligence 227, 140-164, 2015
302015
Towards classifying propositional probabilistic logics
G De Bona, FG Cozman, M Finger
Journal of Applied Logic 12 (3), 349-368, 2014
212014
Graded incoherence for accuracy-firsters
G De Bona, J Staffel
Philosophy of Science 84 (2), 189-213, 2017
182017
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), 351-389, 2015
172015
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
152018
Localising iceberg inconsistencies
G De Bona, A Hunter
Artificial Intelligence 246, 118-151, 2017
142017
Why be (approximately) coherent?
G De Bona, J Staffel
Analysis 78 (3), 405-415, 2018
132018
Interpreting embedding models of knowledge bases: a pedagogical approach
AC Gusmão, AHC Correia, G De Bona, FG Cozman
arXiv preprint arXiv:1806.09504, 2018
132018
Generalized probabilistic satisfiability through integer programming
G De Bona, FG Cozman, M Finger
Journal of the Brazilian Computer Society 21 (1), 1-14, 2015
72015
Classifying inconsistency measures using graphs
G De Bona, J Grant, A Hunter, S Konieczny
Journal of Artificial Intelligence Research 66, 937-987, 2019
62019
Consolidating probabilistic knowledge bases via belief contraction
G De Bona, M Finger, MM Ribeiro, YD Santos, R Wassermann
Fifteenth International Conference on the Principles of Knowledge …, 2016
62016
A logic based algorithm for solving probabilistic satisfiability
M Finger, G De Bona
Ibero-American Conference on Artificial Intelligence, 453-462, 2010
62010
Measuring inconsistency in probabilistic knowledge bases
G De Bona
Anais do XXX Concurso de Teses e Dissertações, 2017
52017
Algorithms for deciding counting quantifiers over unary predicates
M Finger, G De Bona
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
52017
Notes on measuring inconsistency in probabilistic logic
G De Bona, M Finger
University of Sao Paulo 264, 2014
52014
Encoding the consistency of relational Bayesian networks
G De Bona, FG Cozman
Encontro Nacional de Inteligência Artificial e Computacional, Uberlândia, Brasil, 2017
32017
Generalized probabilistic satisfiability
G De Bona, FG Cozman, M Finger
2013 Brazilian Conference on Intelligent Systems, 182-188, 2013
32013
A refuted conjecture on probabilistic satisfiability
M Finger, G De Bona
Brazilian Symposium on Artificial Intelligence, 293-302, 2010
32010
Inconsistency measurement in probabilistic logic
G De Bona, M Finger, N Potyka, M Thimm
Measuring Inconsistency in Information. College Publications, 2018
22018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20