{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:05:12Z","timestamp":1676005512060},"reference-count":38,"publisher":"Hindawi Limited","issue":"5","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7548,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1995]]},"DOI":"10.1002\/int.4550100504","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T22:54:15Z","timestamp":1183935255000},"page":"501-539","source":"Crossref","is-referenced-by-count":3,"title":["A multicontext architecture for formalizing complex reasoning"],"prefix":"10.1155","volume":"10","author":[{"given":"Enrico","family":"Giunchiglia","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Traverso","sequence":"additional","affiliation":[]}],"member":"98","reference":[{"key":"10.1002\/int.4550100504-BIB1","author":"Giunchiglia","year":"1992","unstructured":"The GETFOL Manual\u2014GETFOL Version 1, Technical Report 92-0010, DIST\u2014University of Genova, Genoa, Italy, 1992."},{"key":"10.1002\/int.4550100504-BIB2","author":"Giunchiglia","year":"1991","unstructured":"\u201cMultilanguage systems,\u201d In Proceedings of AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 1991. (Also IRST-Technical Report, 9011-17, IRST, Trento, Italy.)"},{"key":"10.1002\/int.4550100504-BIB3.1","first-page":"345","author":"Giunchiglia","year":"1993","journal-title":"Epistemologia, Special issue on I Linguaggi e le Macchine"},{"key":"10.1002\/int.4550100504-BIB3.2","unstructured":"(Short version in Proceedings IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39\u201349. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.)"},{"key":"10.1002\/int.4550100504-BIB4","author":"Giunchiglia","year":"1992","unstructured":"\u201cSistemi multi contestuali: Teoria ed applicazioni,\u201d Ph.D. Thesis, University of Genoa, 1992."},{"key":"10.1002\/int.4550100504-BIB5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"Giunchiglia","year":"1994","journal-title":"Artif. Intell."},{"key":"10.1002\/int.4550100504-BIB6","author":"Treur","year":"1991","unstructured":"and , \u201cA bi-modular approach to nonmonotonic reasoning,\u201d In Proc. First World Conference on Fundamentals of Artificial Intelligence (WOC-FAI-91), 1991, pp. 461\u2013476."},{"key":"10.1002\/int.4550100504-BIB7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Reiter","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1002\/int.4550100504-BIB8","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"56","author":"Giunchiglia","year":"1992","journal-title":"Artif. Intell."},{"key":"10.1002\/int.4550100504-BIB9","author":"Giunchiglia","year":"1992","unstructured":", and , \u201cHierarchical meta-logics: Intuitions, proof theory and semantics,\u201d In Proc. of META-92, Workshop on Metaprogramming in Logic, No. 649 in LNCS, Springer-Verlag, Uppsala, Sweden, 1992, pp. 235\u2013249. (Also IRST-Technical Report 9101-05, IRST, Trento, Italy.)"},{"key":"10.1002\/int.4550100504-BIB10","author":"Giunchiglia","year":"1991","unstructured":"and , \u201cReflective reasoning with and between a declarative metatheory and the implementation code,\u201d In Proc. of the 12th International Joint Conference on Artificial Intelligence, Sydney, 1991, pp. 111\u2013117. (Also IRST-Technical Report 9012-03, IRST, Trento, Italy.)"},{"key":"10.1002\/int.4550100504-BIB11","first-page":"271","volume-title":"Meta-Level Architectures and Reflection","author":"Giunchiglia","year":"1988","unstructured":"and , \u201cA multi-context monotonic axiomatization of inessential non-monotonicity,\u201d In Meta-Level Architectures and Reflection, and , Eds. North-Holland, Amsterdam, 1988, pp. 271\u2013285. (Also DIST Technical Report 9105-02, DIST, University of Genova, Italy.)"},{"key":"10.1002\/int.4550100504-BIB12","author":"Giunchiglia","year":"1991","unstructured":"Towards a Logical Treatment of Qualitative Reasoning, Technical Report 91-0002, DIST\u2014University of Genova, Genoa, Italy, 1991. (Short version appeared in the proceedings of the \u201cFirst European workshop on qualitative reasoning about physical systems,\u201d Genoa, Italy, January 1991.)"},{"key":"10.1002\/int.4550100504-BIB13","volume-title":"Formal Specification of Complex Reasoning Systems","author":"Giunchiglia","year":"1993","unstructured":", and , \u201cMulti-context systems as a specification Framework for complex reasoning systems,\u201d In Formal Specification of Complex Reasoning Systems, and , Eds., Ellis Horwood, 1993."},{"key":"10.1002\/int.4550100504-BIB14","volume-title":"Natural Deduction\u2014A Proof Theoretical Study","author":"Prawitz","year":"1965","unstructured":"Natural Deduction\u2014A Proof Theoretical Study, Almquist and Wiksell, Stockholm, 1965."},{"key":"10.1002\/int.4550100504-BIB15","first-page":"68","volume-title":"The Collected Papers of Gerard Gentzen","author":"Gentzen","year":"1969","unstructured":"\u201cInvestigations into logical deduction,\u201d In The Collected Papers of Gerard Gentzen, Ed. North-Holland, Amsterdam, 1969, pp. 68\u2013128."},{"key":"10.1002\/int.4550100504-BIB16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatsh. Math. Phys."},{"key":"10.1002\/int.4550100504-BIB17","author":"Knoblock","year":"1986","unstructured":"and , Formalized Metatheory in Type Theory, Technical Report TR 86-742, Dept. Computer Science, Cornell University, 1986."},{"key":"10.1002\/int.4550100504-BIB18","first-page":"153","volume-title":"Logic Programming","author":"Bowen","year":"1982","unstructured":"and , \u201cAmalgamating language and meta-language in logic programming,\u201d In Logic Programming, Ed., Academic Press, New York, 1982, pp. 153\u2013173."},{"key":"10.1002\/int.4550100504-BIB19","author":"Di Manzo","year":"1993","unstructured":"and , \u201cMulti-context systems as a tool to model temporal evolution,\u201d In Proceedings ISMIS-93, 7th Intnl. Symposium on Methodologies for Intelligent Systems, Trondheim, Norway, 1993. (Also DIST Technical Report 93-0011, DIST, University of Genova, Italy.)"},{"key":"10.1002\/int.4550100504-BIB20","volume-title":"Formal Specification of Complex Reasoning Systems","author":"Treur","year":"1993","unstructured":"and , Formal Specification of Complex Reasoning Systems, Ellis Horwood, 1993."},{"key":"10.1002\/int.4550100504-BIB21.1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF02432151","volume":"2","author":"Pelletier","year":"1986","journal-title":"J. Automated Reason."},{"key":"10.1002\/int.4550100504-BIB21.2","first-page":"235","volume":"4","year":"1988","journal-title":"J. Automated Reason."},{"key":"10.1002\/int.4550100504-BIB22","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"Perlis","year":"1985","journal-title":"Artif. Intelli."},{"key":"10.1002\/int.4550100504-BIB23","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00413468","volume":"44","author":"Thomason","year":"1980","journal-title":"Synthese"},{"key":"10.1002\/int.4550100504-BIB24","author":"van Harmelen","year":"1989","unstructured":"\u201cImproving the efficiency of metalevel reasoning,\u201d Ph.D. Thesis, Dept. of Artificial Intelligence, University of Edinburgh, 1989."},{"key":"10.1002\/int.4550100504-BIB25","volume-title":"Formal Specification of Complex Reasoning Systems","author":"Sierra","year":"1993","unstructured":"and , \u201cSpecifying simple scheduling task in a reflective and modular architecture,\u201d In Formal Specification of Complex Reasoning Systems, and Th. Wetter, Eds., Ellis Horwood, 1993."},{"key":"10.1002\/int.4550100504-BIB26","author":"Giunchiglia","year":"1992","unstructured":"and , A Metatheory of a Mechanized Object Theory, Technical Report 9211-24, IRST, Trento, Italy, 1992."},{"key":"10.1002\/int.4550100504-BIB27","author":"Giunchiglia","year":"1994","unstructured":"and , \u201cProgram tactics and logic tactics,\u201d In Proceedings 5th Intnl. Conference on Logic Programming and Automated Reasoning (LPAR'94), Kiev, Ukraine, July 16-21, 1994. (Also IRST-Technical Report 9301-01, IRST, Trento, Italy. Presented at the Third International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, FL, January 1994.)"},{"key":"10.1002\/int.4550100504-BIB28","author":"Boyer","year":"1979","unstructured":"and , A Computational Logic, Academic Press, 1979. (ACM monograph series.)"},{"key":"10.1002\/int.4550100504-BIB29","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"Weyhrauch","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1002\/int.4550100504-BIB30","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1002\/int.4550040405","volume":"4","author":"Godo","year":"1989","journal-title":"Int. J. Intell. Syst."},{"key":"10.1002\/int.4550100504-BIB31","volume-title":"Formal Specification of Complex Reasoning Systems","author":"Langevelde","year":"1993","unstructured":"van, , and , \u201cA compositional architecture for simple design formally specified in DESIRE,\u201d In Formal Specification of Complex Reasoning Systems, and , Eds., Ellis Horwood, 1993."},{"key":"10.1002\/int.4550100504-BIB32","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1002\/int.4550060304","volume":"6","author":"Treur","year":"1991","journal-title":"Int. J. Intell. Syst."},{"key":"10.1002\/int.4550100504-BIB33","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1017\/S0269888900006767","volume":"9","author":"Fensel","year":"1994","journal-title":"Knowl. Eng. Rev."},{"key":"10.1002\/int.4550100504-BIB34","first-page":"169","volume":"8","author":"Akkermans","year":"1993","journal-title":"Int. J. Intell. Syst."},{"key":"10.1002\/int.4550100504-BIB35","volume-title":"Formal Specification of Complex Reasoning Systems","author":"Balder","year":"1993","unstructured":", and , \u201cA KADS\/(ML)2 model of a scheduling task,\u201d in Formal Specification of Complex Reasoning Systems, and Th. Wetter, Eds., Ellis Horwood, 1993."},{"key":"10.1002\/int.4550100504-BIB36","volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879-1931","author":"Van Heijenoort","year":"1967","unstructured":"From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge, MA, 1967."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550100504","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550100504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:41Z","timestamp":1675956881000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550100504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":38,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1995]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550100504","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}