PPaperPicks

Jorge Fandinno

3 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2KR ×1

Frequent coauthors

Yuliya Lierler
×1
Vladimir Lifschitz
×1
Zachary Hansen
×1
Lute Lillo
×1

Papers

  1. A Normal Form for Rules Containing Arithmetic Operations
    KR 2026 · Jorge Fandinno,
    Yuliya Lierler
    ,
    Vladimir Lifschitz
  2. Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
    AAAI 2025 · Jorge Fandinno,
    Zachary Hansen
  3. Solving Epistemic Logic Programs Using Generate-and-Test with Propagation
    AAAI 2025 · Jorge Fandinno,
    Lute Lillo