KNOWLEDGE ACQUISITION IN MULTI-AGENT SYSTEMS: A FORMALIZATION OF THE ELEUSIS CARD GAME
Garanina, N.; Gorlatch, S.
Research article (journal) | Peer reviewedDetails about the publication
Journal: Journal of Mathematical Sciences
Volume: 281
Issue: 2
Status: Published
Release year: 2024
Language in which the publication is written: English
Keywords: Formal Methods; Knowledge Acquisition; Multi-Agent Systems; Eleusis Card Game; Model Checking
Authors from the University of Münster
| Gorlatch, Sergei | Professur für Praktische Informatik (Prof. Gorlatch) |