{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:20:49Z","timestamp":1758979249085},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540710691"},{"type":"electronic","value":"9783540710707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71070-7_17","type":"book-chapter","created":{"date-parts":[[2008,8,29]],"date-time":"2008-08-29T09:56:30Z","timestamp":1220003790000},"page":"194-209","source":"Crossref","is-referenced-by-count":11,"title":["A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments"],"prefix":"10.1007","author":[{"given":"Renate A.","family":"Schmidt","sequence":"first","affiliation":[]},{"given":"Dmitry","family":"Tishkovsky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/978-3-540-45206-5_18","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. Abate","year":"2003","unstructured":"Abate, P., Gor\u00e9, R.: The Tableaux Work Bench. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS, vol.\u00a02796, pp. 230\u2013236. Springer, Heidelberg (2003)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Log.\u00a069, 5\u201340 (2001)","journal-title":"Stud. Log."},{"key":"17_CR3","series-title":"Camb. Tracts Theor. Comput. Sci","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Camb. Tracts Theor. Comput. Sci, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"issue":"32","key":"17_CR4","doi-asserted-by":"crossref","first-page":"281","DOI":"10.3233\/FI-1997-323404","volume":"3-4","author":"M.A. Castilho","year":"1997","unstructured":"Castilho, M.A., Fari\u00f1as del Cerro, L., Gasquet, O., Herzig, A.: Modal tableaux with propagation rules and structural rules. Fundam. Inform.\u00a03-4(32), 281\u2013297 (1997)","journal-title":"Fundam. Inform."},{"key":"17_CR5","unstructured":"Fari\u00f1as del Cerro, L., Gasquet, O., Herzig, A., Sahade, M.: Modal tableaux: Completeness vs. termination. In: We Will Show Them!, vol.\u00a01, pp. 587\u2013614. College Publ. (2005)"},{"key":"17_CR6","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. North-Holland, Amsterdam (2003)"},{"issue":"1","key":"17_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"D.M. Gabbay","year":"1998","unstructured":"Gabbay, D.M., Shehtman, V.: Products of modal logics, part 1. Log.\u00a0J. IGPL\u00a06(1), 73\u2013146 (1998)","journal-title":"Log.\u00a0J. IGPL"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Gargov, G., Passy, S., Tinchev, T.: Modal environment for Boolean speculations. In: Proc. G\u00f6del 1986, Plenum, pp. 253\u2013263 (1987)","DOI":"10.1007\/978-1-4613-0897-3_17"},{"key":"17_CR9","unstructured":"Gasquet, O., Herzig, A., Sahade, M.: Terminating modal tableaux with simple completeness proof. In: Proc. AiML 2006, pp. 167\u2013186. College Publ. (2006)"},{"key":"17_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"1","key":"17_CR11","first-page":"177","volume":"2","author":"A. Heuerding","year":"1996","unstructured":"Heuerding, A., J\u00e4ger, G., Schwendimann, S., Seyfried, M.: The Logics Workbench LWB: A snapshot. Euromath. Bull.\u00a02(1), 177\u2013186 (1996)","journal-title":"Euromath. Bull."},{"issue":"3","key":"17_CR12","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J.\u00a0Log. Comput.\u00a09(3), 385\u2013410 (1999)","journal-title":"J.\u00a0Log. Comput."},{"key":"17_CR13","unstructured":"Schmidt, R.A., Tishkovsky, D.: A general tableau method for deciding description logics, modal logics and related first-order fragments, http:\/\/www.cs.man.ac.uk\/~dmitry\/papers\/gtm2008.pdf"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1007\/978-3-540-76298-0_32","volume-title":"The Semantic Web","author":"R.A. Schmidt","year":"2007","unstructured":"Schmidt, R.A., Tishkovsky, D.: Using tableau to decide expressive description logics with role negation. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ISWC 2007. LNCS, vol.\u00a04825, pp. 438\u2013451. Springer, Heidelberg (2007)"},{"key":"17_CR15","unstructured":"Tishkovsky, D.: MetTel system, http:\/\/www.cs.man.ac.uk\/dmitry\/implementations\/MetTeL\/"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71070-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:15:09Z","timestamp":1605762909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71070-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540710691","9783540710707"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71070-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}