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

DOI10.1007/s10958-024-07107-yzbMath1547.68758MaRDI QIDQ6579976

Natalia Garanina, Sergei Gorlatch

Publication date: 29 July 2024

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

Mathematics Subject Classification ID

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

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