{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:23:01Z","timestamp":1649164981177},"reference-count":18,"publisher":"Informa UK Limited","issue":"10-11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1080\/00207160902777906","type":"journal-article","created":{"date-parts":[[2009,9,25]],"date-time":"2009-09-25T08:27:47Z","timestamp":1253867267000},"page":"1852-1866","source":"Crossref","is-referenced-by-count":8,"title":["An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning"],"prefix":"10.1080","volume":"86","author":[{"given":"A.","family":"Burrieza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Ojeda-Aciego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Or\u0142owska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.5.653"},{"key":"CIT0002","first-page":"47","volume":"24","author":"Bailey-Kellogg C.","year":"2003","journal-title":"AI Mag."},{"key":"CIT0003","first-page":"1","volume":"3","author":"Bennett B.","year":"1995","journal-title":"Bull. IGPL"},{"key":"CIT0005","first-page":"21","volume":"68","author":"Burrieza A.","year":"2005","journal-title":"Fund. Inform."},{"key":"CIT0007","unstructured":"Dague, P. Numeric reasoning with relative orders of magnitude. Proceedings of the 11th National Conference on Artificial Intelligence. Cambridge, MA and London. pp.541\u2013547. The AAAI Press\/The MIT Press."},{"key":"CIT0009","first-page":"1","volume-title":"TABLEAUX 2005 Position Papers and Tutorial Descriptions","volume":"12","author":"Formisano A.","year":"2005"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-007-9055-8"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00320-6"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1023\/B:ISFI.0000005652.72048.4d"},{"key":"CIT0015","first-page":"1","volume":"75","author":"Litak T.","year":"2005","journal-title":"Studia Logica"},{"key":"CIT0016","unstructured":"Mavrovouniotis, M. L. and Stephanopoulos, G. Reasoning with orders of magnitude and approximate relations. Proceedings of the 6th National Conference on Artificial Intelligence. Cambridge, MA and London. The AAAI Press\/The MIT Press."},{"key":"CIT0018","unstructured":"Nayak, P. Order of magnitude reasoning using logarithms. Proceedings of Principles of Knowledge Representation and Reasoning. pp.201\u2013210. San Francisco, CA: Morgan Kaufmann."},{"key":"CIT0019","first-page":"443","volume-title":"Algebraic Logic","volume":"54","author":"Or\u0142owska E.","year":"1988"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-015-8273-5_11","volume-title":"Philosophical Logic in Poland","author":"Or\u0142owska E.","year":"1994"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90107-U"},{"key":"CIT0023","volume-title":"Mathematics of Metamathematics","author":"Rasiowa H.","year":"1963"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-005-9002-1"},{"key":"CIT0026","first-page":"175","volume-title":"Exploring Artificial Intelligence in the New Millenium","author":"Wolter F.","year":"2002"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207160902777906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T17:02:33Z","timestamp":1558544553000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207160902777906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":18,"journal-issue":{"issue":"10-11","published-print":{"date-parts":[[2009,11]]}},"alternative-id":["10.1080\/00207160902777906"],"URL":"https:\/\/doi.org\/10.1080\/00207160902777906","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11]]}}}