Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game

DOI10.1007/S10958-024-07107-YzbMATH Open1547.68758MaRDI QIDQ6579976FDOQ6579976

Authors: Natalia Garanina, S. Gorlatch 

Publication date: 29 July 2024

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Recommendations

• Strategic knowledge acquisition
• scientific article; zbMATH DE number 2087691
• Knowledge condition games
• scientific article; zbMATH DE number 2149447
• scientific article; zbMATH DE number 1738683

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cites Work

• Title not available (Why is that?)
• Algorithmic analysis of programs with well quasi-ordered domains.
• Well-structured transition systems everywhere!
• Cryptography and Game Theory: Designing Protocols for Exchanging Information
• Handbook of model checking
• One hundred prisoners and a light bulb
• Title not available (Why is that?)
• Knowledge in multiagent systems: initial configurations and broadcast
• Title not available (Why is that?)
• Inductive constraint logic

This page was built for publication: Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6579976)