Michael Morak
7 papers
· 2013–2023
· 2 conferences
· across top CS/AI conferences
Achievements
π
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
Single-Shot Epistemic Logic Program Solving
IJCAI 2018