conftrace_

Johannes Schmidt

4 papers · 2021–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 🌉 Interdisciplinary Bridge · Bronze

Venues

AAAI (2) IJCAI (2)

Top co-authors

Arne Meier (2) Yasir Mahmood (2) Markus Hecher (1) Victor Lagerkvist (1) Frédéric Olive (1) Nadia Creignou (1) Mohamed Maizia (1)

Research topics

Knowledge & Reasoning (2) Machine Learning (2) Mathematics & Optimization (2) Optimization & Theory (2) Reasoning (2) Artificial Intelligence (1) Computer Science (1) Core AI (1) Foundations (1) Mathematics (1) Optimization (1)

Keywords

computational complexity (3) propositional logic (2) non-monotonic reasoning (2) knowledge base (2) logic-based argumentation (2) schaefer's framework (2) exponential time hypothesis (1) propositional abduction (1) cardinality minimality (1) fine-grained complexity (1) automated reasoning (1) parameterized complexity (1) argumentation framework (1) fixed-parameter tractable (1)

Papers

A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds IJCAI 2025 Quantitative Claim-Centric Reasoning in Logic-Based Argumentation IJCAI 2024 Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023 Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework AAAI 2021