Jorge Fandinno
8 papers
· 2020–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🐝
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)