Jorge Fandinno
8 papers · 2020–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(12)
🏆
Keyword Champion
(4)
Top co-authors
Research topics
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
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
AAAI 2025
Solving Epistemic Logic Programs Using Generate-and-Test with Propagation
AAAI 2025
Splitting Answer Set Programs with Respect to Intensionality Statements
AAAI 2023
Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs
IJCAI 2023
Axiomatization of Aggregates in Answer Set Programming
AAAI 2022
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard
AAAI 2021
Forgetting Auxiliary Atoms in Forks (Extended Abstract)
IJCAI 2020
On the Splitting Property for Epistemic Logic Programs (Extended Abstract)
IJCAI 2020