Open AccessThe Epistemic Logic Behind the Game Description Language
Author(s) -
Ji Ruan,
Michael Thielscher
Publication year - 2011
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v25i1.7943
Subject(s) - datalog , epistemic modal logic , computer science , nondeterministic algorithm , modal logic , function (biology) , language game , modal , imperfect , artificial intelligence , epistemology , theoretical computer science , multimodal logic , linguistics , description logic , philosophy , biology , chemistry , evolutionary biology , polymer chemistry