{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:02:42Z","timestamp":1761976962607,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406683"},{"type":"electronic","value":"9783642406690"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40669-0_38","type":"book-chapter","created":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T13:40:52Z","timestamp":1378302052000},"page":"444-455","source":"Crossref","is-referenced-by-count":7,"title":["SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems"],"prefix":"10.1007","author":[{"given":"Bo\u017cena","family":"Wo\u017ana-Szcze\u015bniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Lomuscio, A., Sergot, M.: Violation, error recovery, and enforcement in the bit transmission problem. In: Proceedings of DEON 2002. Imperial College Press (2002)","key":"38_CR1"},{"doi-asserted-by":"crossref","unstructured":"Cabodi, G., Camurati, P., Quer, S.: Can BDDs compete with SAT solvers on bounded model checking? In: Proceedings of DAC 2002, pp. 117\u2013122. ACM (2002)","key":"38_CR2","DOI":"10.1109\/DAC.2002.1012605"},{"issue":"1","key":"38_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011276507260","volume":"19","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Formal Methods in System Design\u00a019(1), 7\u201334 (2001)","journal-title":"Formal Methods in System Design"},{"unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)","key":"38_CR4"},{"unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, ch. 16, pp. 996\u20131071. Elsevier Science Publishers (1990)","key":"38_CR5"},{"doi-asserted-by":"crossref","unstructured":"Fabre, E., Jezequel, L.: Distributed optimal planning: an approach by weighted automata calculus. In: Proceedings of CDC 2009, pp. 211\u2013216. IEEE (2009)","key":"38_CR6","DOI":"10.1109\/CDC.2009.5400084"},{"key":"38_CR7","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"unstructured":"Levesque, H.: A logic of implicit and explicit belief. In: Proceedings of the 6th National Conference of the AAAI, pp. 198\u2013202. Morgan Kaufman (1984)","key":"38_CR8"},{"issue":"1","key":"38_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A. Lomuscio","year":"2003","unstructured":"Lomuscio, A., Sergot, M.: Deontic interpreted systems. Studia Logica\u00a075(1), 63\u201392 (2003)","journal-title":"Studia Logica"},{"key":"38_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-30206-3_9","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"N. Markey","year":"2004","unstructured":"Markey, N., Schnoebelen, P.: Symbolic model checking of simply-timed systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT 2004. LNCS, vol.\u00a03253, pp. 102\u2013117. Springer, Heidelberg (2004)"},{"key":"38_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-642-30947-2_56","volume-title":"Agent and Multi-Agent Systems. Technologies and Applications","author":"A. M\u0119ski","year":"2012","unstructured":"M\u0119ski, A., Penczek, W., Szreter, M., Wo\u017ana-Szcze\u015bniak, B., Zbrzezny, A.: Two approaches to bounded model checking for linear time logic with knowledge. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol.\u00a07327, pp. 514\u2013523. Springer, Heidelberg (2012)"},{"issue":"2","key":"38_CR12","first-page":"167","volume":"55","author":"W. Penczek","year":"2003","unstructured":"Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae\u00a055(2), 167\u2013185 (2003)","journal-title":"Fundamenta Informaticae"},{"unstructured":"Wooldridge, M.: An introduction to multi-agent systems. John Wiley (2002)","key":"38_CR13"},{"key":"38_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/978-3-642-24769-9_40","volume-title":"Progress in Artificial Intelligence","author":"B.. Wo\u017ana-Szcze\u015bniak","year":"2011","unstructured":"Wo\u017ana-Szcze\u015bniak, B., Zbrzezny, A., Zbrzezny, A.: The BMC method for the existential part of RTCTLK and interleaved interpreted systems. In: Antunes, L., Pinto, H.S. (eds.) EPIA 2011. LNCS, vol.\u00a07026, pp. 551\u2013565. Springer, Heidelberg (2011)"},{"issue":"1-4","key":"38_CR15","doi-asserted-by":"crossref","first-page":"513","DOI":"10.3233\/FUN-2008-851-435","volume":"85","author":"A. Zbrzezny","year":"2008","unstructured":"Zbrzezny, A.: Improving the translation from ECTL to SAT. Fundamenta Informaticae\u00a085(1-4), 513\u2013531 (2008)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40669-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T14:24:55Z","timestamp":1746023095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40669-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406683","9783642406690"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40669-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}