Skip to content
conftrace_

Michael Morak

7 papers · 2013–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 Β· Half πŸŒ‰ Interdisciplinary Bridge Β· Silver πŸ—ΊοΈ Taxonomy Completionist (12) πŸš€ Conference Pioneer

Venues

IJCAI (4) AAAI (3)

Top co-authors

Stefan Woltran (4) Wolfgang Faber (2) Andreas Pieris (2) Pierre Bourhis (2) Markus Hecher (1) Bernhard Bliem (1) Manuel Bichler (1) Marius Moldovan (1)

Research topics

Knowledge & Reasoning (5) Reasoning (5) Artificial Intelligence (4) Core AI (4) Machine Learning (2) Mathematics & Optimization (2) Optimization & Theory (2) Mathematics (1) Optimization (1) Representation (1)

Keywords

answer set programming (5) epistemic logic (3) computational complexity (2) epistemic logic program (2) logic programming (2) program analysis (1) description logic (1) query answering (1) quantified boolean formula (1) strong equivalence (1) rule subsumption (1) tautological rule (1) guarded fragment (1) cross product (1) ontology language (1) logical reasoning (1) logical characterization (1) knowledge representation (1) automated reasoning (1) dynamic programming (1)

Papers

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023 Structural Decompositions of Epistemic Logic Programs AAAI 2020 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 Single-Shot Epistemic Logic Program Solving IJCAI 2018 Making Cross Products and Guarded Ontology Languages Compatible IJCAI 2017 The Impact of Treewidth on ASP Grounding and Solving IJCAI 2017 The Impact of Disjunction on Query Answering under Guarded-Based Existential Rules IJCAI 2013