# Glauber De Bona

According to our database

Collaborative distances:

^{1}, Glauber De Bona authored at least 17 papers between 2010 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

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

2018

On the Coherence of Probabilistic Relational Formalisms.

Entropy, 2018

Interpreting Embedding Models of Knowledge Bases: A Pedagogical Approach.

CoRR, 2018

Towards a Unified Framework for Syntactic Inconsistency Measures.

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

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

2016

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

2015

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

2014

Towards classifying propositional probabilistic logics.

J. Appl. Log., 2014

2013

Generalized Probabilistic Satisfiability.

Proceedings of the Brazilian Conference on Intelligent Systems, 2013

2011

Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.

Proceedings of the IJCAI 2011, 2011

2010

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