{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:35:02Z","timestamp":1737005702538,"version":"3.33.0"},"reference-count":28,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2005,1]]},"DOI":"10.3166\/jancl.15.189-213","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T14:22:22Z","timestamp":1176301342000},"page":"189-213","source":"Crossref","is-referenced-by-count":14,"title":["PDL with negation of atomic programs"],"prefix":"10.1080","volume":"15","author":[{"given":"Carsten","family":"Lutz","sequence":"first","affiliation":[{"name":"a Institute for Theoretical Computer Science , TU Dresden (Germany)"}]},{"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[{"name":"b Department of Computer Science , University of Liverpool (UK)"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","first-page":"133","volume-title":"chapter Algebraic Logic","volume":"2","author":"ANDR\u00c9KA H.","year":"2001"},{"volume-title":"The Description Logic Handbook: Theory, implementation and applications","year":"2003","author":"BAADER F.","key":"CIT0002"},{"key":"CIT0003","first-page":"51","volume-title":"Advances in Modal Logics Volume 4","author":"BROERSEN J.","year":"2003"},{"first-page":"34","volume-title":"Proceedings of the Fifth Symposium on Computation Theory, vol. 208 of LNCS","author":"DANECKI S.","key":"CIT0004"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/800119.803886","volume-title":"Sixth annual ACM Symposium on Theory of Computing","author":"EHRENFEUCHT A.","year":"1974"},{"key":"CIT0006","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"FAGIN R.","year":"1995"},{"first-page":"286","volume-title":"Conference record of the ninth annual ACM Symposium on Theory of Computing","author":"FISCHER M. J.","key":"CIT0007"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-1-4613-0897-3_17","volume-title":"Mathematical Logic and Applications","author":"GARGOV G.","year":"1987"},{"key":"CIT0010","first-page":"205","volume-title":"Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94)","volume":"1","author":"DE GIACOMO G."},{"key":"CIT0011","first-page":"103","volume-title":"Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95)","volume":"992","author":"DE GIACOMO G."},{"issue":"1","key":"CIT0012","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1305\/ndjfl\/1093635335","volume":"31","author":"GORANKO V.","year":"1990","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"CIT0013","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"GORANKO V.","year":"1992","journal-title":"Journal of Logic and Computation"},{"first-page":"203","volume-title":"Proceedings of the Fifth Symposium on Principles of Programming Languages","author":"HAREL D.","key":"CIT0014"},{"key":"CIT0015","first-page":"496","volume-title":"Handbook of Philosophical Logic","author":"HAREL D.","year":"1984"},{"key":"CIT0016","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"HAREL D.","year":"2000"},{"issue":"3","key":"CIT0017","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","volume":"24","author":"HUMBERSTONE I. L.","year":"1983","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-002"},{"first-page":"213","volume-title":"Proceedings of the 2000 International Workshop in Description Logics (DL2000)","author":"LUTZ C.","key":"CIT0019"},{"volume-title":"Advances in Modal Logics Volume 3","year":"2001","author":"LUTZ C.","key":"CIT0020"},{"volume-title":"Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR'04)","author":"LUTZ C.","key":"CIT0021"},{"issue":"2","key":"CIT0022","first-page":"555","volume":"2","author":"MATIJASEVICH Y.","year":"1967","journal-title":"Soviet mathematics (Doklady)"},{"issue":"2","key":"CIT0023","doi-asserted-by":"crossref","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"PASSY S.","year":"1991","journal-title":"Information and Computation"},{"volume-title":"FOCS: IEEE Symposium on Foundations of Computer Science (FOCS)","author":"PRATT","key":"CIT0024"},{"issue":"2","key":"CIT0025","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"PRENDINGER H.","year":"1996","journal-title":"Journal of Logic, Language, and Information"},{"first-page":"466","volume-title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91)","author":"SCHILD K. D.","key":"CIT0026"},{"first-page":"413","volume-title":"Proceedings of the Conference on Logic of Programs, vol. 193 of LNCS","author":"VARDI M. Y.","key":"CIT0027"},{"key":"CIT0028","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"VARDI M. Y.","year":"1986","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.15.189-213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T18:07:01Z","timestamp":1736964421000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.15.189-213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":28,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2005,1]]}},"alternative-id":["10.3166\/jancl.15.189-213"],"URL":"https:\/\/doi.org\/10.3166\/jancl.15.189-213","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2005,1]]}}}