PPaperPicks

Jorge Fandinno

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2KR ×1

Papers

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