Loading [MathJax]/extensions/tex2jax.js

Logics with probabilistic team semantics and the Boolean negation.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Autorschaft

  • Miika Hannula
  • Minna Hirvonen
  • Juha Kontinen
  • Yasir Mahmood
  • Arne Meier
  • Jonni Virtema

Externe Organisationen

  • Universität Helsinki
  • Universität Paderborn
  • The University of Sheffield

Publikationen

  1. 2023

  2. Veröffentlicht

    Logics with Probabilistic Team Semantics and the Boolean Negation.

    Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 2023, JELIA 2023: Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (Hrsg.). Cham, S. 665-680 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14281 LNAI).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review