Wolfgang Faber

4 papers · 2015–2023 · 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 🚀 Conference Pioneer

Venues

AAAI (2) IJCAI (2)

Top co-authors

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

Research topics

Artificial Intelligence (2) Knowledge & Reasoning (2) Core AI (2) Reasoning (2) Mathematics & Optimization (1) Mathematics (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