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

Christian Straßer
×4
Badran Raddaoui
×2
Kees van Berkel
×2
Jesse Heyninck
×1

Papers

  1. Beyond Consistency: A Closer Look at Free Formulas
    KR 2026 · Ofer Arieli,
    Badran Raddaoui
    ,
    Christian Straßer
  2. Compactness and Preservation in Logical Argumentation Frameworks
    KR 2025 · Ofer Arieli,
    Christian Straßer
  3. Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation
    AAAI 2024 · Ofer Arieli,
    Kees van Berkel
    ,
    Christian Straßer
  4. Deontic Reasoning Based on Inconsistency Measures
    KR 2024 · Ofer Arieli,
    Kees van Berkel
    ,
    Badran Raddaoui
    ,
    Christian Straßer
  5. Semantics for Non-Flat Assumption-Based Argumentation, Revisited
    IJCAI 2024 ·
    Jesse Heyninck
    , Ofer Arieli