Jakub Michaliszyn

Jakub Michaliszyn

University of Wroclaw - Wroclaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1829051
Uniwersytet Wroclawski
person_outline Jakub Michaliszyn's MOST POPULAR ARTICLES
1-) An Epistemic Halpern–Shoham LogicAR Lomuscio, J MichaliszynInternational Joint Conferences on Artificial Intelligence (IJCAI), 2013762013
2-) Two-variable first-order logic with equivalence closureE Kieronski, J Michaliszyn, I Pratt-Hartmann, L Tendera27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 431-440, 2012762012
3-) The undecidability of the logic of subintervalsJ Marcinkowski, J MichaliszynFundamenta Informaticae 131 (2), 217-240, 2014502014
4-) Decidability of model checking multi-agent systems against a class of EHS specificationsAR Lomuscio, J Michaliszyn21st European Conference on Artificial Intelligence (ECAI) 8, 543-548, 043*
5-) The ultimate undecidability result for the Halpern-Shoham logicJ Marcinkowski, J Michaliszyn2011 IEEE 26th Annual Symposium on Logic in Computer Science, 377-386, 2011362011