Logics with probabilistic team semantics and the Boolean negation

M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, J. Virtema, in: 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
Hannula, Miika; Hirvonen, Minna; Kontinen, Juha; Mahmood, YasirLibreCat; Meier, Arne; Virtema, Jonni
Department
Publishing Year
Proceedings Title
18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings
LibreCat-ID

Cite this

Hannula M, Hirvonen M, Kontinen J, Mahmood Y, Meier A, Virtema J. Logics with probabilistic team semantics and the Boolean negation. In: 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings. ; 2023.
Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A., & Virtema, J. (2023). Logics with probabilistic team semantics and the Boolean negation. 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings.
@inproceedings{Hannula_Hirvonen_Kontinen_Mahmood_Meier_Virtema_2023, title={Logics with probabilistic team semantics and the Boolean negation}, booktitle={18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings}, author={Hannula, Miika and Hirvonen, Minna and Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Virtema, Jonni}, year={2023} }
Hannula, Miika, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, and Jonni Virtema. “Logics with Probabilistic Team Semantics and the Boolean Negation.” In 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, and J. Virtema, “Logics with probabilistic team semantics and the Boolean negation,” 2023.
Hannula, Miika, et al. “Logics with Probabilistic Team Semantics and the Boolean Negation.” 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar