Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jorge Fandinno
Map detail
Jorge Fandinno13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJorge FandinnoAJorge FandinnoResearcherAbstract argumentation and answer set programming: two faces of Nelson's logicWAbstract argumentation ...preprint / 2022Positive Dependency Graphs RevisitedWPositive Dependency Gra...preprint / 2022Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic SplittingWFounded (Auto)Epistemic...preprint / 2020Anthem 2.0: Automated Reasoning for Answer Set ProgrammingWAnthem 2.0: Automated R...preprint / 2025Deductive Systems for Logic Programs with CountingWDeductive Systems for L...preprint / 2025Deriving Conclusions From Non-Monotonic Cause-Effect RelationsWDeriving Conclusions Fr...preprint / 2016A System for Explainable Answer Set ProgrammingWA System for Explainabl...preprint / 2020Modular Answer Set Programming as a Formal Specification LanguageWModular Answer Set Prog...preprint / 2020eclingo: A solver for Epistemic Logic ProgramsWeclingo: A solver for E...preprint / 2020Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally HardWTreewidth-Aware Complex...preprint / 2020A Uniform Treatment of Aggregates and Constraints in Hybrid ASPWA Uniform Treatment of ...preprint / 2020An ASP semantics for Constraints involving Conditional AggregatesWAn ASP semantics for Co...preprint / 2020
Person12 links

Jorge Fandinno

Researcher