{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T14:53:38Z","timestamp":1759935218189},"reference-count":19,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1996,4]]},"DOI":"10.1080\/095281396147447","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T16:22:42Z","timestamp":1027700562000},"page":"173-190","source":"Crossref","is-referenced-by-count":6,"title":["Dealing with expected and unexpected obstacles"],"prefix":"10.1080","volume":"8","author":[{"given":"FAUSTO","family":"GIUNCHIGLIA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/FI-1995-232344","volume":"23","author":"Bouquet P.","year":"1995","journal-title":"Fundamenta Informaticae"},{"key":"CIT0002","unstructured":"Bouquet, P. and Giunchiglia, F. Reasoning about theory formulation and reformulation. A new solution to the qualification problem. Second World Conference on the Fundamentals of Artificial Intelligence, (WOCFAI 95)."},{"key":"CIT0003","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3574-0","volume-title":"Partitioned Representations","author":"Dinsmore J.","year":"1991"},{"key":"CIT0004","volume-title":"Mental Spaces: Aspects of Meaning Construction in Natural Language","author":"Fauconnier G.","year":"1985"},{"key":"CIT0005","unstructured":"Giunchiglia, F. Multilanguage systems. Proceedings of AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning. Trento, Italy: IRST. Also IRST-Technical Report 9011-17"},{"key":"CIT0006","series-title":"Technical Report 92-0010","volume-title":"The GETFOL Manual - GETFOL version 1","author":"Giunchiglia F.","year":"1992"},{"key":"CIT0007","first-page":"345","author":"Giunchiglia F.","year":"1993","journal-title":"Epistemologia, special issue on I Linguaggi e le Macchine"},{"key":"CIT0008","unstructured":"Giunchiglia, F. and Smaill, A. Reflection in construct ive and non-cons tructive automated reasoning. Proc. of META-88, Workshop on Metaprogramming in Logic. Edited by: Abramson, H. and Rogers, M. H. pp.123\u2013145. University of Edinburgh. Also IRST-Technical Report 8902-04 and DAI Research Paper 375"},{"key":"CIT0009","first-page":"271","volume-title":"Meta-level Architectures and Reflection","author":"Giunchiglia F.","year":"1988"},{"key":"CIT0010","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/B978-0-934613-32-3.50009-5","volume-title":"The Frame Problem in Artificial Intelligence","author":"Lifschitz V.","year":"1987"},{"key":"CIT0011","unstructured":"McCarthy, J. Epistemological problems of artificial intelligence. Proc. of the 5th International Joint Conference on Artificial Intelligence. pp.1038\u20131044. Also in V. Lifschitz (ed.), Formalizing Common Sense: Papers by John McCarthy, (Ablex) 1990, pp. 77-92"},{"key":"CIT0012","first-page":"161","volume-title":"Philosophical Perspectives in Artificial Intelligence","author":"McCarthy J.","year":"1979"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1145\/33447.33448"},{"key":"CIT0016","unstructured":"McCarthy, J. Notes on formalizing context. Proc. of the 13th International Joint Conference on Artificial Intelligence. Chambery, France. pp.555\u2013569."},{"key":"CIT0017","first-page":"463","volume-title":"Machine Intelligence 4","author":"McCarthy J.","year":"1969"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90015-6"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/095281396147447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,4]],"date-time":"2020-03-04T01:43:08Z","timestamp":1583286188000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/095281396147447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["10.1080\/095281396147447"],"URL":"https:\/\/doi.org\/10.1080\/095281396147447","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,4]]}}}