{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:20:14Z","timestamp":1743049214224,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540891963"},{"type":"electronic","value":"9783540891970"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89197-0_35","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T12:23:50Z","timestamp":1228307030000},"page":"370-381","source":"Crossref","is-referenced-by-count":2,"title":["KT and S4 Satisfiability in a Constraint Logic Environment"],"prefix":"10.1007","author":[{"given":"Lynn","family":"Stevenson","sequence":"first","affiliation":[]},{"given":"Katarina","family":"Britz","sequence":"additional","affiliation":[]},{"given":"Tertia","family":"H\u00f6rne","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The FaCT System. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"35_CR2","unstructured":"Patel-Schneider, P.F.: DLP system description. In: Proceedings of the 1998 International Workshop on Description Logics Workshop (DL 1998), vol.\u00a011, pp. 87\u201389 (1998), CEUR-WS.org"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1016\/B978-044450813-3\/50023-0","volume-title":"Handbook of Automated Reasoning","author":"H. Ohlbach","year":"2001","unstructured":"Ohlbach, H., Nonnengart, A., de Rijke, M., Gabbay, D.: Encoding two-valued non-classical logics in classical logic. In: Handbook of Automated Reasoning, pp. 1403\u20131486. Elsevier Science, Amsterdam (2001)"},{"key":"35_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/3-540-61511-3_115","volume-title":"Automated Deduction - Cade-13","author":"F. Giunchiglia","year":"1996","unstructured":"Giunchiglia, F., Sebastiani, R.: Building Decision Procedures for Modal Logics from Propositional Decision Procedure. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol.\u00a01104, pp. 583\u2013597. Springer, Heidelberg (1996)"},{"key":"35_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1007\/978-3-540-45193-8_55","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"S. Brand","year":"2003","unstructured":"Brand, S., Gennari, R., de Rijke, M.: Constraint programming for modelling and solving modal satisfiability. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 795\u2013800. Springer, Heidelberg (2003)"},{"key":"35_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-24662-6_4","volume-title":"Recent Advances in Constraints","author":"S. Brand","year":"2004","unstructured":"Brand, S., Gennari, R., de Rijke, M.: Constraint methods for modal satisfiability. In: Apt, K.R., Fages, F., Rossi, F., Szeredi, P., V\u00e1ncza, J. (eds.) CSCLP 2003. LNCS (LNAI), vol.\u00a03010, pp. 66\u201386. Springer, Heidelberg (2004)"},{"issue":"1","key":"35_CR7","first-page":"159","volume":"12","author":"M.G. Wallace","year":"1997","unstructured":"Wallace, M.G., Novello, S., Schimpf, J.: ECLiPSe: A platform for constraint logic programming. ICL Systems Journal\u00a012(1), 159\u2013200 (1997)","journal-title":"ICL Systems Journal"},{"key":"35_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-69778-0_5","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I., Patel-Schneider, P.: FaCT and DLP. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 27\u201330. Springer, Heidelberg (1998)"},{"key":"35_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Stevenson, L.: Modal Satisfiability in a Constraint Logic Environment. University of South Africa, M.Sc dissertation (2008)","DOI":"10.1007\/978-3-540-89197-0_35"},{"issue":"3","key":"35_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1006249507577","volume":"24","author":"P. Balsiger","year":"2000","unstructured":"Balsiger, P., Heuerding, A., Schwendimann, S.: A benchmark method for the propositional modal logics K, KT, S4. Journal of Automated Reasoning\u00a024(3), 297\u2013317 (2000)","journal-title":"Journal of Automated Reasoning"},{"key":"35_CR12","unstructured":"Jaeger, G., Balsiger, P., Heuerding, A., Schwendimann, S.: K, KT, S4 test data sets (retrieved, September 2007), http:\/\/www.iam.unibe.ch\/~lwb\/benchmarks\/benchmarks.html"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2008: Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89197-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T02:32:46Z","timestamp":1738722766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89197-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540891963","9783540891970"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89197-0_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}