What's the name of the game? Formal specification of artificial intelligence games

MaRDI QIDQ2848439zbMATH OpenFDO

Authors Vladimir Di Iorio, Roberto S. Bigonha, Mariza A. S. Bigonha, Alcione Oliveira, Eliseu Miguel

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002185

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 1759699
• Verification of games in the game description language
• scientific article; zbMATH DE number 2036549
• A multiagent semantics for the game description language
• General game playing

Cited in

(1)

• scientific article; zbMATH DE number 2036549 (Why is no real title available?)

This page was built for publication: What's the name of the game? Formal specification of artificial intelligence games

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