{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:38Z","timestamp":1725748178254},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405365"},{"type":"electronic","value":"9783642405372"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40537-2_8","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T12:33:51Z","timestamp":1378902831000},"page":"74-80","source":"Crossref","is-referenced-by-count":2,"title":["A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation"],"prefix":"10.1007","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Della Monica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"8_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"Allen, J.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"issue":"3","key":"8_CR2","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. J. of Automated Reasoning\u00a024(3), 297\u2013317 (2000)","journal-title":"J. of Automated Reasoning"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/logcom\/exn063","volume":"20","author":"D. Bresolin","year":"2010","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sala, P.: Tableaux for logics of subinterval structures over dense orderings. J. of Logic and Computation\u00a020(1), 133\u2013166 (2010)","journal-title":"J. of Logic and Computation"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.apal.2009.07.003","volume":"161","author":"D. Bresolin","year":"2009","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Annals of Pure and Applied Logic\u00a0161(3), 289\u2013304 (2009)","journal-title":"Annals of Pure and Applied Logic"},{"key":"8_CR5","unstructured":"Bresolin, D., Jim\u00e9nez, F., S\u00e1nchez, G., Sciavicco, G.: Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. In: Proc. of the 12th FOGA (in press, 2013)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Montanari, A., Sala, P., Sciavicco, G.: Interval temporal logics over finite linear orders: the complete picture. In: Proc. of the 20th ECAI, pp. 199\u2013204 (2012)","DOI":"10.4204\/EPTCS.96.12"},{"issue":"1-3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10817-006-9051-0","volume":"38","author":"D. Bresolin","year":"2007","unstructured":"Bresolin, D., Montanari, A., Sciavicco, G.: An optimal decision procedure for Right Propositional Neighborhood Logic. J. of Automated Reasoning\u00a038(1-3), 173\u2013199 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"8_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/3-540-45744-5_38","volume-title":"Automated Reasoning","author":"L. Fari\u00f1as del Cerro","year":"2001","unstructured":"Fari\u00f1as del Cerro, L., Fauthoux, D., Gasquet, O., Herzig, A., Longin, D., Massacci, F.: Lotrec: the generic tableau prover for modal and description logics. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 453\u2013458. Springer, Heidelberg (2001)"},{"issue":"9","key":"8_CR9","first-page":"1137","volume":"9","author":"V. Goranko","year":"2003","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. J. of Universal Computer Science\u00a09(9), 1137\u20131167 (2003)","journal-title":"J. of Universal Computer Science"},{"issue":"1-2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.14.9-54","volume":"14","author":"V. Goranko","year":"2004","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. J. of Applied Non-Classical Logics\u00a014(1-2), 9\u201354 (2004)","journal-title":"J. of Applied Non-Classical Logics"},{"issue":"4","key":"8_CR11","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J. Halpern","year":"1991","unstructured":"Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. J. of the ACM\u00a038(4), 935\u2013962 (1991)","journal-title":"J. of the ACM"},{"issue":"12","key":"8_CR12","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10009-010-0140-3","volume":"2","author":"K.Y. Rozier","year":"2010","unstructured":"Rozier, K.Y., Vardi, M.Y.: LTL satisfiability checking. Int. J. on Software Tools for Technology Transfer\u00a02(12), 123\u2013137 (2010)","journal-title":"Int. J. on Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40537-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T05:47:17Z","timestamp":1558072037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40537-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405365","9783642405372"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40537-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}