conftrace_
← Authors

Wolfgang Faber

4 papers · 2015–2023 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
+1 more ↓ 🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)
🚀 Conference Pioneer

Conferences

AAAI (2) IJCAI (2)

Top co-authors

Michael Morak (2) Mario Alviano (2) Martin Gebser (1) Stefan Woltran (1)

Keywords

epistemic logic (2) answer set programming (2) complexity analysis (1) logic programming (1) quantified boolean formula (1) epistemic logic program (1) strong equivalence (1) rule subsumption (1) tautological rule (1) logical reasoning (1) logical characterization (1) knowledge representation (1)

Papers

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 From Non-Convex Aggregates to Monotone Aggregates in ASP IJCAI 2016 Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective IJCAI 2015