Glauber De Bona
According to our database1, Glauber De Bona authored at least 17 papers between 2010 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Classifying Inconsistency Measures Using Graphs.
J. Artif. Intell. Res., 2019
Speeding up parameter and rule learning for acyclic probabilistic logic programs.
Int. J. Approx. Reason., 2019
On the Coherence of Probabilistic Relational Formalisms.
Interpreting Embedding Models of Knowledge Bases: A Pedagogical Approach.
Towards a Unified Framework for Syntactic Inconsistency Measures.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Localising iceberg inconsistencies.
Artif. Intell., 2017
Algorithms for Deciding Counting Quantifiers over Unary Predicates.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
Medindo inconsistência em bases de conhecimento probabilístico.
PhD thesis, 2016
Consolidating Probabilistic Knowledge Bases via Belief Contraction.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Generalized probabilistic satisfiability through integer programming.
J. Braz. Comp. Soc., 2015
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition.
Ann. Math. Artif. Intell., 2015
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation.
Artif. Intell., 2015
Towards classifying propositional probabilistic logics.
J. Appl. Log., 2014
Generalized Probabilistic Satisfiability.
Proceedings of the Brazilian Conference on Intelligent Systems, 2013
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.
Proceedings of the IJCAI 2011, 2011
A Refuted Conjecture on Probabilistic Satisfiability.
Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010
A Logic Based Algorithm for Solving Probabilistic Satisfiability.
Proceedings of the Advances in Artificial Intelligence, 2010