Christian Straßer
8 papers · 2017–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(17)
🏆
Keyword Champion
(3)
Top co-authors
Research topics
Keywords
formal argumentation
(3)
structured argumentation
(3)
logical argumentation
(3)
non-monotonic reasoning
(3)
sequent calculus
(2)
defeasible reasoning
(2)
inconsistency measure
(2)
knowledge base
(2)
syntactic criterion
(1)
argumentation semantics
(1)
rationality postulate
(1)
argumentation framework
(1)
pooling mechanism
(1)
argument graph
(1)
proof system
(1)
pooling technique
(1)
non-monotonic logic
(1)
consequence relation
(1)
plausibility order
(1)
formula ranking
(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
A Comparative Study of Ranking Formulas Based on Consistency
IJCAI 2023
Ranking-based Argumentation Semantics Applied to Logical Argumentation
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