{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:21:34Z","timestamp":1725794494523},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319076164"},{"type":"electronic","value":"9783319076171"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07617-1_41","type":"book-chapter","created":{"date-parts":[[2014,5,21]],"date-time":"2014-05-21T09:30:06Z","timestamp":1400664606000},"page":"466-477","source":"Crossref","is-referenced-by-count":1,"title":["A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Cantone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianna","family":"Nicolosi-Asmundo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2,3","key":"41_CR1","doi-asserted-by":"crossref","first-page":"41","DOI":"10.3233\/IFS-2012-0499","volume":"23","author":"A. Abraham","year":"2012","unstructured":"Abraham, A.: Special issue: Hybrid approaches for approximate reasoning. J. Intell. Fuzzy Syst.\u00a023(2,3), 41\u201342 (2012)","journal-title":"J. Intell. Fuzzy Syst."},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"41_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)"},{"key":"41_CR3","unstructured":"Cantone, D., Nicolosi-Asmundo, M., Orlowska, E.: Dual tableau-based decision procedures for some relational logics. In: Proceedings of the 25th Italian Conference on Computational Logic. CEUR Workshop Proceedings, vol.\u00a0598, pp. 1\u201316 (2010)"},{"issue":"2","key":"41_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.3166\/jancl.21.177-200","volume":"21","author":"D. Cantone","year":"2011","unstructured":"Cantone, D., Nicolosi-Asmundo, M., Orlowska, E.: Dual tableau-based decision procedures for relational logics with restricted composition operator. Journal of Applied Non-Classical Logics\u00a021(2), 177\u2013200 (2011)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"41_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.neucom.2013.07.001","volume":"126","author":"E. Corchado","year":"2014","unstructured":"Corchado, E., Wozniak, M., Abraham, A., de Carvalho, A.C.P.L.F., Sn\u00e1sel, V.: Recent trends in intelligent data analysis. Neurocomputing\u00a0126, 1\u20132 (2014)","journal-title":"Neurocomputing"},{"issue":"3,4","key":"41_CR6","doi-asserted-by":"publisher","first-page":"367","DOI":"10.3166\/jancl.16.367-408","volume":"16","author":"A. Formisano","year":"2006","unstructured":"Formisano, A., Nicolosi-Asmundo, M.: An efficient relational deductive system for propositional non-classical logics. Journal of Applied Non-Classical Logics\u00a016(3,4), 367\u2013408 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"41_CR7","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/j.apal.2013.06.003","volume":"165","author":"J. Golinska-Pilarek","year":"2014","unstructured":"Golinska-Pilarek, J., Huuskonen, T., Mu\u00f1oz-Velasco, E.: Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Ann. Pure Appl. Logic\u00a0165(2), 409\u2013427 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"41_CR8","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1093\/jigpal\/jzq033","volume":"19","author":"J. Golinska-Pilarek","year":"2011","unstructured":"Golinska-Pilarek, J., Mu\u00f1oz-Velasco, E., Mora, A.: A new deduction system for deciding validity in modal logic k. Logic Journal of the IGPL\u00a019(2), 425\u2013434 (2011)","journal-title":"Logic Journal of the IGPL"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Medsker, L.R.: Hybrid intelligent systems. Kluwer (1995)","DOI":"10.1007\/978-1-4615-2353-6"},{"issue":"9","key":"41_CR10","doi-asserted-by":"publisher","first-page":"1869","DOI":"10.1080\/00207160.2010.493211","volume":"88","author":"A. Mora","year":"2011","unstructured":"Mora, A., Mu\u00f1oz-Velasco, E., Golinska-Pilarek, J.: Implementing a relational theorem prover for modal logic. Int. J. Comput. Math.\u00a088(9), 1869\u20131884 (2011)","journal-title":"Int. J. Comput. Math."},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E., Goli\u0144ska-Pilarek, J.: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic, vol.\u00a036. Springer (2011)","DOI":"10.1007\/978-94-007-0005-5"},{"key":"41_CR12","unstructured":"Or\u0142owska, E.: Relational interpretation of modal logics. In: Andreka, H., Monk, D., Nemeti, I. (eds.) Algebraic Logic. Colloquia Mathematica Societatis Janos Bolyai, vol.\u00a054, pp. 443\u2013471. North Holland (1988)"},{"key":"41_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-61708-6_74","volume-title":"KI-96: Advances in Artificial Intelligence","author":"U. Sattler","year":"1996","unstructured":"Sattler, U.: A concept language extended with different kinds of transitive roles. In: G\u00f6rz, G., H\u00f6lldobler, S. (eds.) KI 1996. LNCS, vol.\u00a01137, pp. 333\u2013345. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Artificial Intelligence Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07617-1_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,19]],"date-time":"2020-08-19T18:38:16Z","timestamp":1597862296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07617-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319076164","9783319076171"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07617-1_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}