Christian Straßer

8 papers · 2017–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🐝 Cross-Pollinator (8) 🌈 Renaissance Researcher (5) 🗺️ Taxonomy Completionist (17) 🏆 Keyword Champion (3)

Conferences

IJCAI (7) AAAI (1)

Top co-authors

Badran Raddaoui (4) Said Jabbour (3) Ofer Arieli (2) Jesse Heyninck (2) Kees van Berkel (2) AnneMarie Borg (1)

Keywords

formal argumentation (3) structured argumentation (3) logical argumentation (3) inconsistency measure (2) sequent calculus (2) knowledge base (2) defeasible reasoning (2) non-monotonic reasoning (2) syntactic criterion (1) argumentation semantics (1) rationality postulate (1) argumentation framework (1) pooling mechanism (1) argument graph (1) nonmonotonic reasoning (1) proof system (1) pooling technique (1) non-monotonic logic (1) consequence relation (1) plausibility order (1)

Papers

Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025

Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation AAAI 2024

Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases IJCAI 2024

Ranking-based Argumentation Semantics Applied to Logical Argumentation IJCAI 2023

A Comparative Study of Ranking Formulas Based on Consistency IJCAI 2023

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation IJCAI 2022

Relevance in Structured Argumentation IJCAI 2018

Revisiting Unrestricted Rebut and Preferences in Structured Argumentation. IJCAI 2017