{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T23:40:01Z","timestamp":1746142801793,"version":"3.40.4"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,2,27]],"date-time":"2014-02-27T00:00:00Z","timestamp":1393459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s11225-014-9547-2","type":"journal-article","created":{"date-parts":[[2014,2,26]],"date-time":"2014-02-26T12:03:40Z","timestamp":1393416220000},"page":"321-338","source":"Crossref","is-referenced-by-count":0,"title":["Logical-Epistemic Foundations of General Game Descriptions"],"prefix":"10.1007","volume":"102","author":[{"given":"Ji","family":"Ruan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,27]]},"reference":[{"key":"9547_CR1","doi-asserted-by":"crossref","unstructured":"Apt, Krzysztof, Howard A. Blair, and Adrian Walker, Towards a theory of declarative knowledge, in J. Minker, (ed.), Foundations of Deductive Databases and Logic Programming, chap. 2, Morgan Kaufmann, 1987, pp. 89\u2013148.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"9547_CR2","doi-asserted-by":"crossref","first-page":"1161","DOI":"10.2307\/2171725","volume":"63","author":"Robert Aumann","year":"1995","unstructured":"Aumann Robert, Adam Brandenburger (1995) Epistemic conditions for Nash equilibrium. Econometrica 63, 1161\u20131180","journal-title":"Econometrica"},{"key":"9547_CR3","doi-asserted-by":"crossref","unstructured":"Fagin, Ronald, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi, Reasoning About Knowledge, The MIT Press: Cambridge, MA, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9547_CR4","doi-asserted-by":"crossref","unstructured":"Gelder, Allen Van, The alternating fixpoint of logic programs with negation, in Proceedings of the 8th Symposium on Principles of Database Systems, ACM SIGACTSIGMOD, 1989, pp. 1\u201310.","DOI":"10.1145\/73721.73722"},{"key":"9547_CR5","unstructured":"Gelfond, Michael, and Vladimir Lifschitz, The stable model semantics for logic programming, in R. Kowalski, and K. Bowen, (eds.), Proceedings of the International Joint Conference and Symposium on Logic Programming (IJCSLP), MIT Press, Seattle, OR, 1988, pp. 1070\u20131080."},{"issue":"2","key":"9547_CR6","first-page":"62","volume":"26","author":"Michael Genesereth","year":"2005","unstructured":"Genesereth Michael, Nathaniel Love, Barney Pell (2005) General game playing: Overview of the AAAI competition. AI Magazine 26(2):62\u201372","journal-title":"AI Magazine"},{"key":"9547_CR7","doi-asserted-by":"crossref","unstructured":"Halpern, Joseph Y., and Moshe Y. Vardi, The complexity of reasoning about knowledge and time, in Proceedings 18th ACM Symposium on Theory of Computing, 1986, pp. 304\u2013315.","DOI":"10.1145\/12130.12161"},{"key":"9547_CR8","unstructured":"Hintikka, Jaakko, Knowledge and Belief, Cornell University Press, Ithaca, NY, 1962."},{"key":"9547_CR9","doi-asserted-by":"crossref","unstructured":"Huang, Xiaowei, Ji Ruan, and Michael Thielscher, Model checking for reasoning about incomplete information games, in Proceedings of the Australasian Conference on Artificial Intelligence, Springer LNAI 8272, Dunedin, New Zealand, 2013, pp. 246\u2013258.","DOI":"10.1007\/978-3-319-03680-9_27"},{"key":"9547_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"Saul Kripke","year":"1963","unstructured":"Kripke Saul (1963) Semantical analysis of modal logic. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 9, 67\u201396","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9547_CR11","doi-asserted-by":"crossref","unstructured":"Lloyd, John, Foundations of Logic Programming, second, extended edn., Series Symbolic Computation, Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"9547_CR12","doi-asserted-by":"crossref","unstructured":"Lloyd, John W., Rodney W. Topor,(1986) A basis for deductive database systems II. J. Log. Program. 3(1):55-67","DOI":"10.1016\/0743-1066(86)90004-X"},{"key":"9547_CR13","unstructured":"Love, Nathaniel, Timothy Hinrichs, David Haley, Eric Schkufza, and Michael Genesereth, General Game Playing: Game Description Language Specification, Tech. Rep. LG\u20132006\u201301, Stanford Logic Group, Computer Science Department, Stanford University, 2006."},{"key":"9547_CR14","unstructured":"Moore, Robert C., A formal theory of knowledge and action, in J.F. Allen, J. Hendler, and A. Tate, (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA, 1990, pp. 480\u2013519."},{"key":"9547_CR15","unstructured":"Pell, Barney, Strategy Generation and Evaluation for Meta-Game Playing, Ph.D. thesis, Computer Laboratory, University of Cambridge, 1993."},{"key":"9547_CR16","unstructured":"Pitrat, Jacques, A general game playing program, in N. Findler, and B. Meltzer, (eds.), Artificial Intelligence and Heuristic Programming, Edinburgh University Press, 1971, pp. 125\u2013155."},{"key":"9547_CR17","unstructured":"Pritchard, David, The Encyclopedia of Chess Variants, Godalming, 1994."},{"key":"9547_CR18","unstructured":"Rao, Anand S., and Michael P. Georgeff, Modeling rational agents within a BDI-architecture, in James F. Allen, Richard Fikes, and Erik Sandewall, (eds.), KR, Morgan Kaufmann, 1991, pp. 473\u2013484."},{"key":"9547_CR19","doi-asserted-by":"crossref","unstructured":"Ruan, Ji, and Michael Thielscher, Strategic and epistemic reasoning for the game description language GDL-II, in Proceedings of the European Conference on Artificial Intelligence (ECAI 2012), IOS Press, Montpellier, France, 2012, pp. 696\u2013701.","DOI":"10.3233\/978-1-61499-098-7-696"},{"issue":"6","key":"9547_CR20","doi-asserted-by":"crossref","first-page":"1127","DOI":"10.1093\/logcom\/exp039","volume":"19","author":"Ji Ruan","year":"2009","unstructured":"Ruan Ji, Wiebe van der Hoek, Michael Wooldridge (2009) Verification of games in the Game Description Language. Journal Logic and Computation 19(6):1127\u20131156","journal-title":"Journal Logic and Computation"},{"key":"9547_CR21","doi-asserted-by":"crossref","unstructured":"Thielscher, Michael, A general game description language for incomplete information games, in Proceedings of the Conference on the Advancement of Artificial Intelligence (AAAI), Atlanta, 2010, pp. 994\u2013999.","DOI":"10.1609\/aaai.v24i1.7647"},{"key":"9547_CR22","unstructured":"Thielscher, Michael, The general game playing description language is universal, in Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, 2011, pp. 1107\u20131112."},{"key":"9547_CR23","unstructured":"Wooldridge, Michael, An Introduction to Multiagent Systems, John Wiley & Sons, 2002."},{"key":"9547_CR24","doi-asserted-by":"crossref","unstructured":"Wooldridge, Michael, and Alessio Lomuscio, A computationally grounded logic of visibility, perception, and knowledge, Logic Journal of the IGPL 9(2):257\u2013272, 2001.","DOI":"10.1093\/jigpal\/9.2.257"},{"key":"9547_CR25","unstructured":"Wright, Georg H. von, An Essay in Modal Logic, North-Holland, Amsterdam, 1951."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9547-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-014-9547-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9547-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T23:00:14Z","timestamp":1746140414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-014-9547-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,27]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["9547"],"URL":"https:\/\/doi.org\/10.1007\/s11225-014-9547-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2014,2,27]]}}}