Общедоступные статьи - Jonni VirtemaПодробнее...
22 статьи доступны в некоторых источниках
Complexity of propositional logics in team semantics
M Hannula, J Kontinen, J Virtema, H Vollmer
ACM Trans. Comput. Log., 2018
Финансирование: Academy of Finland
Approximation and dependence via multiteam semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Annals of Mathematics and Artificial Intelligence 83 (3-4), 297-320, 2018
Финансирование: German Research Foundation, Academy of Finland
Probabilistic team semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Foundations of Information and Knowledge Systems: 10th International …, 2018
Финансирование: Academy of Finland
Complexity of validity for propositional dependence logics
J Virtema
Information and Computation 253, 224-236, 2017
Финансирование: Academy of Finland
Facets of distribution identities in probabilistic team semantics
M Hannula, Å Hirvonen, J Kontinen, V Kulikov, J Virtema
European Conference on Logics in Artificial Intelligence, 304-320, 2019
Финансирование: Academy of Finland
Descriptive complexity of real computation and probabilistic independence logic
M Hannula, J Kontinen, J Van den Bussche, J Virtema
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
Финансирование: Research Foundation (Flanders), National Natural Science Foundation of China …
Complexity of two-variable dependence logic and IF-logic
J Kontinen, A Kuusisto, P Lohmann, J Virtema
Information and Computation 239, 237-253, 2014
Финансирование: Academy of Finland
A team based variant of CTL
A Krebs, A Meier, J Virtema
22nd International Symposium on Temporal Representation and Reasoning, TIME …, 2015
Финансирование: German Research Foundation
Temporal Team Semantics Revisited
JO Gutsfeld, A Meier, C Ohrem, J Virtema
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
Финансирование: German Research Foundation
Polyteam semantics
M Hannula, J Kontinen, J Virtema
Journal of Logic and Computation 30 (8), 1541-1566, 2020
Финансирование: Academy of Finland
Decidability of predicate logics with team semantics
J Kontinen, A Kuusisto, J Virtema
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
Финансирование: Academy of Finland, European Commission
Characterising modal definability of team-based logics via the universal modality
K Sano, J Virtema
Annals of Pure and Applied Logic 170 (9), 1100-1127, 2019
Финансирование: Academy of Finland
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
M Hannula, J Virtema
Annals of Pure and Applied Logic 173 (10), 1-30, 2022
Финансирование: German Research Foundation, Academy of Finland
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
T Hankala, M Hannula, J Kontinen, J Virtema
38th Annual AAAI Conference on Artificial Intelligence, AAAI 2024, 2024
Финансирование: German Research Foundation, Academy of Finland, European Commission
Descriptive complexity of deterministic polylogarithmic time and space
F Ferrarotti, S González, JMT Torres, J Van den Bussche, J Virtema
Journal of Computer and System Sciences, 2021
Финансирование: Austrian Science Fund, Research Foundation (Flanders), German Research …
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
F Barbero, J Virtema
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024., 2024
Финансирование: German Research Foundation, Academy of Finland
Parameterized Complexity of Propositional Inclusion and Independence Logic
Y Mahmood, J Virtema
International Workshop on Logic, Language, Information, and Computation, 274-291, 2023
Финансирование: German Research Foundation, European Commission
Boolean dependence logic and partially-ordered connectives
J Ebbing, L Hella, P Lohmann, J Virtema
Journal of Computer and System Sciences 88, 103-125, 2017
Финансирование: Academy of Finland
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Y Mahmood, J Virtema, T Barlag, ACN Ngomo
13th International Symposium on Foundations of Information and Knowledge …, 2024
Финансирование: European Commission
A remark on the expressivity of asynchronous TeamLTL and HyperLTL
J Kontinen, M Sandström, J Virtema
International Symposium on Foundations of Information and Knowledge Systems …, 2024
Финансирование: German Research Foundation, Academy of Finland
Информация о публикациях и финансировании собрана автоматически.