Research areas:
- Argumentation
- Automated Reasoning
- Combinatorial Optimisation
- Natural Language Processing
- Optimisation
- Satisfiability models
- Solving constraint-based problems
- XAI
Impact areas:
- Education
- Industry
- Social Networking
SDGs:
- GOAL 09: Industry, Innovation & Infrastructure
- GOAL 11: Sustainable Cities and Communities
- SDGs: General
2023
Eduardo Calò,
& Jordi Levy
(2023).
General Boolean Formula Minimization with QBF Solvers.
Ismael Sanz, Raquel Ros, & Jordi Nin (Eds.),
Artificial Intelligence Research and Development - Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2023, Món Sant Benet, Spain, 25-27 October 2023
(pp. 347--358).
{IOS}Press.
https://doi.org/10.3233/FAIA230705.
[BibTeX]
[PDF]
Eduardo Calò,
Jordi Levy,
Albert Gatt,
& Kees Deemter
(2023).
Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation.
Alexis Palmer, & José Camacho-Collados (Eds.),
Proceedings of the The 12th Joint Conference on Lexical and Computational Semantics, *SEM@ACL 2023, Toronto, Canada, July 13-14, 2023
(pp. 180--192).
Association for Computational Linguistics.
https://doi.org/10.18653/V1/2023.STARSEM-1.17.
[BibTeX]
[PDF]