Jakub Michaliszyn
4 papers · 2013–2021 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🧭 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)