Glauber De Bona

According to our database1, Glauber De Bona authored at least 17 papers between 2010 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...