De Bona, Glauber

5 publications

AAAI 2025 Germane Conflicts: Desirable Properties for Localising Inconsistency Glauber De Bona, Anthony Hunter

JAIR 2019 Classifying Inconsistency Measures Using Graphs Glauber De Bona, John Grant, Anthony Hunter, Sébastien Konieczny

AAAI 2018 Towards a Unified Framework for Syntactic Inconsistency Measures Glauber De Bona, John Grant, Anthony Hunter, Sébastien Konieczny

AAAI 2017 Algorithms for Deciding Counting Quantifiers over Unary Predicates Marcelo Finger, Glauber De Bona

IJCAI 2011 Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition Marcelo Finger, Glauber De Bona