{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T04:26:48Z","timestamp":1744086408196,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333521"},{"type":"electronic","value":"9783642333538"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33353-8_20","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T10:18:53Z","timestamp":1346926733000},"page":"255-266","source":"Crossref","is-referenced-by-count":1,"title":["On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility"],"prefix":"10.1007","author":[{"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-25945-9_7","volume-title":"Current Topics in Artificial Intelligence","author":"A. Burrieza","year":"2004","unstructured":"Burrieza, A., Ojeda-Aciego, M.: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. In: Conejo, R., Urretavizcaya, M., P\u00e9rez-de-la-Cruz, J.-L. (eds.) CAEPIA\/TTIA 2003. LNCS (LNAI), vol.\u00a03040, pp. 431\u2013440. Springer, Heidelberg (2004)"},{"issue":"1-2","key":"20_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.3233\/FUN-2005-681-202","volume":"68","author":"A. Burrieza","year":"2005","unstructured":"Burrieza, A., Ojeda-Aciego, M.: A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations. Fundamenta Informaticae\u00a068(1-2), 21\u201346 (2005)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/11881216_39","volume-title":"Current Topics in Artificial Intelligence","author":"A. Burrieza","year":"2006","unstructured":"Burrieza, A., Mu\u00f1oz, E., Ojeda-Aciego, M.: Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. In: Mar\u00edn, R., Onaind\u00eda, E., Bugar\u00edn, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol.\u00a04177, pp. 370\u2013378. Springer, Heidelberg (2006)"},{"key":"20_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-75271-4_22","volume-title":"Current Topics in Artificial Intelligence","author":"A. Burrieza","year":"2007","unstructured":"Burrieza, A., Mu\u00f1oz-Velasco, E., Ojeda-Aciego, M.: A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. In: Borrajo, D., Castillo, L., Corchado, J.M. (eds.) CAEPIA 2007. LNCS (LNAI), vol.\u00a04788, pp. 210\u2013219. Springer, Heidelberg (2007)"},{"key":"20_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-89197-0_15","volume-title":"PRICAI 2008: Trends in Artificial Intelligence","author":"J. Goli\u0144ska-Pilarek","year":"2008","unstructured":"Goli\u0144ska-Pilarek, J., Mora, A., Mu\u00f1oz-Velasco, E.: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. In: Ho, T.-B., Zhou, Z.-H. (eds.) PRICAI 2008. LNCS (LNAI), vol.\u00a05351, pp. 128\u2013139. Springer, Heidelberg (2008)"},{"issue":"4","key":"20_CR6","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1093\/jigpal\/jzp016","volume":"17","author":"J. Goli\u0144ska-Pilarek","year":"2009","unstructured":"Goli\u0144ska-Pilarek, J., Mu\u00f1oz-Velasco, E.: Relational approach for a logic for order-of-magnitude qualitative reasoning with negligibility, non-closeness and distance. Logic Journal of IGPL\u00a017(4), 375\u2013394 (2009)","journal-title":"Logic Journal of IGPL"},{"issue":"10-11","key":"20_CR7","doi-asserted-by":"publisher","first-page":"1707","DOI":"10.1080\/00207160902930752","volume":"86","author":"J. Goli\u0144ska-Pilarek","year":"2009","unstructured":"Goli\u0144ska-Pilarek, J., Mu\u00f1oz-Velasco, E.: Dual tableau for a multimodal logic for order-of-magnitude qualitative reasoning with bidirectional negligibility. International Journal of Computer Mathematics\u00a086(10-11), 1707\u20131718 (2009)","journal-title":"International Journal of Computer Mathematics"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E., Goli\u0144ska-Pilarek, J.: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic 36. Springer (2011)","DOI":"10.1007\/978-94-007-0005-5"},{"issue":"1-3","key":"20_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0004-3702(91)90107-U","volume":"51","author":"O. Raiman","year":"1991","unstructured":"Raiman, O.: Order of magnitude reasoning. Artificial Intelligence\u00a051(1-3), 11\u201338 (1991)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33353-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T23:10:40Z","timestamp":1744067440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33353-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333521","9783642333538"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33353-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}