Christian Straßer
8 papers · 2017–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🌉 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
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