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
DBLP profile ↗ORCID search ↗
×4
Badran Raddaoui
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Beyond Consistency: A Closer Look at Free Formulas
    KR 2026 ·
    Ofer Arieli
    DBLP profile ↗ORCID search ↗
  2. Compactness and Preservation in Logical Argumentation Frameworks
    KR 2025 ·
    Ofer Arieli
    DBLP profile ↗ORCID search ↗
  3. Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques
    IJCAI 2025 · Christian Straßer
  4. Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation
    AAAI 2024 ·
    Ofer Arieli
    DBLP profile ↗ORCID search ↗
  5. Deontic Reasoning Based on Inconsistency Measures
    KR 2024 ·
    Ofer Arieli
    DBLP profile ↗ORCID search ↗
  6. Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases
    IJCAI 2024 ·
    Badran Raddaoui
    DBLP profile ↗ORCID search ↗