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

DOI10.1007/S10958-024-07107-YMaRDI QIDQ6579976zbMATHFDO

Authors Natalia Garanina, S. Gorlatch

Publication date 29 July 2024

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

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)

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

Cites work

• scientific article; zbMATH DE number 2155185 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5051662 (Why is no real title available?)
• Algorithmic analysis of programs with well quasi-ordered domains.
• Cryptography and Game Theory: Designing Protocols for Exchanging Information
• Handbook of model checking
• Inductive constraint logic
• Knowledge in multiagent systems: initial configurations and broadcast
• One hundred prisoners and a light bulb
• Well-structured transition systems everywhere!

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)