Glauber De Bona
Glauber De Bona
Bestätigte E-Mail-Adresse bei usp.br
Titel
Zitiert von
Zitiert von
Jahr
Probabilistic satisfiability: Logic-based algorithms and phase transition
M Finger, G De Bona
IJCAI, 528-533, 2011
492011
Measuring inconsistency in probabilistic logic: rationality postulates and dutch book interpretation
G De Bona, M Finger
Artificial Intelligence 227, 140-164, 2015
272015
Towards classifying propositional probabilistic logics
G De Bona, FG Cozman, M Finger
Journal of Applied Logic 12 (3), 349-368, 2014
202014
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
172015
Graded incoherence for accuracy-firsters
G De Bona, J Staffel
Philosophy of Science 84 (2), 189-213, 2017
152017
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
132018
Why be (approximately) coherent?
G De Bona, J Staffel
Analysis 78 (3), 405-415, 2018
122018
Localising iceberg inconsistencies
G De Bona, A Hunter
Artificial Intelligence 246, 118-151, 2017
112017
Interpreting embedding models of knowledge bases: a pedagogical approach
AC Gusmao, AHC Correia, G De Bona, FG Cozman
arXiv preprint arXiv:1806.09504, 2018
102018
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
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
Consolidating Probabilistic Knowledge Bases via Belief Contraction.
G De Bona, M Finger, MM Ribeiro, YD Santos, R Wassermann
KR, 125-134, 2016
52016
Notes on measuring inconsistency in probabilistic logic
G De Bona, M Finger
University of Sao Paulo 264, 2014
52014
A logic based algorithm for solving probabilistic satisfiability
M Finger, G De Bona
Ibero-American Conference on Artificial Intelligence, 453-462, 2010
52010
Classifying inconsistency measures using graphs
G De Bona, J Grant, A Hunter, S Konieczny
Journal of Artificial Intelligence Research 66, 937-987, 2019
42019
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20