Michael Morak
7 papers · 2013–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (2) π Academic Marathon (10) π Cross-Pollinator (15) πΊοΈ Taxonomy Completionist (12)
π§
Keyword Pioneer
π
Conference Pioneer
Conferences
IJCAI (4)
AAAI (3)
Top co-authors
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
The Impact of Treewidth on ASP Grounding and Solving
IJCAI 2017
Making Cross Products and Guarded Ontology Languages Compatible
IJCAI 2017
The Impact of Disjunction on Query Answering under Guarded-Based Existential Rules
IJCAI 2013