Publications
"Classical generalized probabilistic satisfiability",
Proceedings of the 26th International Joint Conference on Artificial Intelligence: AAAI Press, pp. 908–914, 2017.
"An equation-based classical logic",
International Workshop on Logic, Language, Information, and Computation: Springer, pp. 38–52, 2015.
"Generalized probabilistic satisfiability",
Electronic Notes in Theoretical Computer Science, vol. 332: Elsevier, pp. 39–56, 2017.
Probabilistic Logic over Equations and Domain Restrictions,
: PhD Thesis, IST, Universidade de Lisboa, 2016.