Jakub Michaliszyn
4 papers
· 2013–2021
· 1 conference
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Interdisciplinary Bridge
π£
Hot Topic Early Bird
π
Cross-Pollinator
(10)
π
Academic Marathon
(8)
π
Trend Setter
π
Conference Pioneer
Conferences
IJCAI (4)
Top co-authors
Keywords
graph querying
(1)
weighted automata
(1)
satisfiability problem
(1)
knowledge graph
(1)
model checking
(1)
epistemic logic
(1)
interval temporal logic
(1)
regular expression
(1)
multi-agent system
(1)
limit-average automata
(1)
automata minimization
(1)
angluin lstar algorithm
(1)
syntactic queries
(1)