{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T16:41:17Z","timestamp":1778085677483,"version":"3.51.4"},"reference-count":44,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.3166\/jancl.17.423-475","type":"journal-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T10:47:11Z","timestamp":1201517231000},"page":"423-475","source":"Crossref","is-referenced-by-count":74,"title":["Constructive knowledge: what agents can achieve under imperfect information"],"prefix":"10.1080","volume":"17","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[{"name":"a Department of Informatics , Clausthal University of Technology , Germany"}]},{"given":"Thomas","family":"\u00c5gotnes","sequence":"additional","affiliation":[{"name":"b Department of Computer Engineering , Bergen University College , Norway"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","first-page":"100","volume-title":"Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS)","author":"Alur R."},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49213-5_2"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1988.tb00717.x"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exl025"},{"key":"CIT0006","first-page":"52","volume-title":"Proceedings of Logics of Programs Workshop, vol. 131 of Lecture Notes in Computer Science","author":"Clarke E."},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"CIT0009","volume-title":"Temporal Logics","author":"Fisher M.","year":"2006"},{"key":"CIT0010","first-page":"259","volume-title":"Proceedings of TARK VIII","author":"Goranko V."},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024915.66183.d1"},{"key":"CIT0012","first-page":"34","volume-title":"Procedings of the Workshop on Knowledge and Games","author":"\u00c5gotnes T."},{"issue":"2","key":"CIT0013","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/s11229-005-3875-8","volume":"149","author":"\u00c5gotnes T.","year":"2006","journal-title":"Synthese"},{"key":"CIT0014","first-page":"1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 4: Epistemic and Temporal Reasoning","author":"Halpern J.","year":"1995"},{"key":"CIT0015","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel D.","year":"2000"},{"key":"CIT0016","first-page":"209","volume-title":"Proceedings of AAMAS'06","author":"Herzig A."},{"key":"CIT0017","first-page":"133","volume-title":"Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003)","author":"Jamroga W."},{"key":"CIT0018","first-page":"419","volume-title":"Proceedings of KI 2006, vol. 4314 of Lecture Notes in Artificial Intelligence","author":"Jamroga W."},{"key":"CIT0019","first-page":"398","volume-title":"Proceedings of CEEMAS 2005, vol. 3690 of Lecture Notes in Computer Science","author":"Jamroga W."},{"key":"CIT0020","volume-title":"Proceedings of EUMAS' 06","author":"Jamroga W."},{"key":"CIT0021","author":"Jamroga W.","year":"2007","journal-title":"Theory of Computing Systems"},{"key":"CIT0022","volume-title":"Constructive Knowledge: What Agents Can Achieve under Incomplete Information","author":"Jamroga W.","year":"2005"},{"key":"CIT0023","first-page":"232","volume-title":"Proceedings of AAMAS'06","author":"Jamroga W."},{"issue":"2","key":"CIT0024","first-page":"185","volume":"63","author":"Jamroga W.","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"CIT0025","volume-title":"Strategic Ability under Uncertainty","author":"Jamroga W.","year":"2005"},{"key":"CIT0026","volume-title":"Feasible Strategies in Alternating-time Temporal Epistemic Logic","author":"Jonker G.","year":"2003"},{"key":"CIT0027","volume-title":"Expressiveness and Complexity of ATL","author":"Laroussinie F.","year":"2006"},{"key":"CIT0028","volume-title":"Formal Theories of the Commonsense World","author":"Moore R.","year":"1985"},{"key":"CIT0029","author":"Morgenstern L.","year":"1991","journal-title":"International Journal of Expert Systems"},{"key":"CIT0030","first-page":"48","volume-title":"Proceedings of the National Academy of Sciences U.S.A","volume":"36","author":"Nash J."},{"key":"CIT0031","volume-title":"A Course in Game Theory","author":"Osborne M.","year":"1994"},{"key":"CIT0032","volume-title":"Game Logic for Game Theorists","author":"Pauly M.","year":"2000"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.1.149"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.2307\/2022451"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82604-0"},{"key":"CIT0037","volume-title":"History of Constructivism in the Twentieth Century","author":"Troelstra A. S.","year":"1991"},{"key":"CIT0038","first-page":"201","volume-title":"Proceedings of AAMAS'06","author":"van der Hoek W."},{"key":"CIT0039","first-page":"1167","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02)","author":"van der Hoek W."},{"issue":"1","key":"CIT0040","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"van der Hoek W.","year":"2003","journal-title":"Studia Logica"},{"key":"CIT0041","first-page":"35","volume-title":"Electronic Notes in Theoretical Computer Science","author":"van Otterloo S."},{"key":"CIT0042","volume-title":"Theory of Games and Economic Behaviour","author":"von Neumann J.","year":"1944"},{"key":"CIT0043","first-page":"70","volume-title":"Proceedings of JELIA'04, vol. 3229 of Lecture Notes in Artificial Intelligence","author":"W\u00f6lfl S."},{"key":"CIT0044","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"Wooldridge M.","year":"2000"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.17.423-475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,26]],"date-time":"2025-01-26T09:34:24Z","timestamp":1737884064000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.17.423-475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":44,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.3166\/jancl.17.423-475"],"URL":"https:\/\/doi.org\/10.3166\/jancl.17.423-475","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}