CA | ES | EN
Eduardo
Eduardo
 
Calò
Calò

PhD Student
PhD Student


Eduardo
Eduardo
 
Calò
Calò
PhD Student
PhD Student

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
e.calo@uu.nl
e.calo@uu.nl
Research areas:
  • Argumentation
  • Automated Reasoning
  • Combinatorial Optimisation
  • Natural Language Processing
  • Optimisation
  • Satisfiability models
  • Solving constraint-based problems
  • XAI
  • Argumentation
  • Automated Reasoning
  • Combinatorial Optimisation
  • Natural Language Processing
  • Optimisation
  • Satisfiability models
  • Solving constraint-based problems
  • XAI
Impact areas:
  • Education
  • Industry
  • Social Networking
  • Education
  • Industry
  • Social Networking
SDGs:
  • GOAL 09: Industry, Innovation & Infrastructure
  • GOAL 11: Sustainable Cities and Communities
  • SDGs: General
  • 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]