Fandinno, Jorge

9 publications

AAAI 2025 Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence Jorge Fandinno, Zachary Hansen

AAAI 2025 Solving Epistemic Logic Programs Using Generate-and-Test with Propagation Jorge Fandinno, Lute Lillo

JAIR 2024 Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming Jorge Fandinno, Zachary Hansen, Yuliya Lierler

AAAI 2023 Splitting Answer Set Programs with Respect to Intensionality Statements Jorge Fandinno, Yuliya Lierler

IJCAI 2023 Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs Jorge Fandinno, Markus Hecher

AAAI 2022 Axiomatization of Aggregates in Answer Set Programming Jorge Fandinno, Zachary Hansen, Yuliya Lierler

AAAI 2021 Treewidth-Aware Complexity in ASP: Not All Positive Cycles Are Equally Hard Jorge Fandinno, Markus Hecher

IJCAI 2020 Forgetting Auxiliary Atoms in Forks (Extended Abstract) Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

IJCAI 2020 On the Splitting Property for Epistemic Logic Programs (Extended Abstract) Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro