PPaperPicks

Ofer Arieli

5 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×1IJCAI ×1

Frequent coauthors

Jesse Heyninck
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Beyond Consistency: A Closer Look at Free Formulas
    KR 2026 · Ofer Arieli
  2. Compactness and Preservation in Logical Argumentation Frameworks
    KR 2025 · Ofer Arieli
  3. Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation
    AAAI 2024 · Ofer Arieli
  4. Deontic Reasoning Based on Inconsistency Measures
    KR 2024 · Ofer Arieli
  5. Semantics for Non-Flat Assumption-Based Argumentation, Revisited
    IJCAI 2024 ·
    Jesse Heyninck
    DBLP profile ↗ORCID search ↗