Jorge Fandinno
8 papers · 2020–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐝 Cross-Pollinator (11) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (5) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(12)
🧭
Keyword Pioneer
🏆
Keyword Champion
(5)
Conferences
AAAI (5)
IJCAI (3)
Top co-authors
Keywords
logic programming
(5)
answer set programming
(4)
stable model
(4)
epistemic logic
(3)
strong equivalence
(2)
formal semantics
(2)
search algorithm
(1)
equilibrium logic
(1)
projective strong equivalence
(1)
epistemic logic program
(1)
stable model semantics
(1)
intensional function
(1)
answer set program
(1)
program splitting
(1)
intensionality statement
(1)
logic program decomposition
(1)
exponential time hypothesis
(1)
semantic characterization
(1)
aggregate operation
(1)
logic program splitting
(1)
Papers
Solving Epistemic Logic Programs Using Generate-and-Test with Propagation
AAAI 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
AAAI 2025
Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs
IJCAI 2023
Splitting Answer Set Programs with Respect to Intensionality Statements
AAAI 2023
Axiomatization of Aggregates in Answer Set Programming
AAAI 2022
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard
AAAI 2021
On the Splitting Property for Epistemic Logic Programs (Extended Abstract)
IJCAI 2020
Forgetting Auxiliary Atoms in Forks (Extended Abstract)
IJCAI 2020