PPaperPicks

Christian Straßer

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

DBLP profile ↗ORCID search ↗

Venues

KR ×3IJCAI ×2AAAI ×1

Frequent coauthors

Ofer Arieli
×4
Badran Raddaoui
×4
Saïd Jabbour
×2
Kees van Berkel
×2

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. Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques
    IJCAI 2025 · Christian Straßer,
    Badran Raddaoui
    ,
    Saïd Jabbour
  4. Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation
    AAAI 2024 ·
    Ofer Arieli
    ,
    Kees van Berkel
    , Christian Straßer
  5. Deontic Reasoning Based on Inconsistency Measures
    KR 2024 ·
    Ofer Arieli
    ,
    Kees van Berkel
    ,
    Badran Raddaoui
    , Christian Straßer
  6. Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases
    IJCAI 2024 ·
    Badran Raddaoui
    , Christian Straßer,
    Saïd Jabbour