KNOWLEDGE ACQUISITION IN MULTI-AGENT SYSTEMS: A FORMALIZATION OF THE ELEUSIS CARD GAME
Garanina, N.; Gorlatch, S.
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Fachzeitschrift: Journal of Mathematical Sciences
Jahrgang / Bandnr. / Volume: 281
Ausgabe / Heftnr. / Issue: 2
Status: Veröffentlicht
Veröffentlichungsjahr: 2024
Sprache, in der die Publikation verfasst ist: Englisch
Stichwörter: Formal Methods; Knowledge Acquisition; Multi-Agent Systems; Eleusis Card Game; Model Checking
Autor*innen der Universität Münster
| Gorlatch, Sergei | Professur für Praktische Informatik (Prof. Gorlatch) |