{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:30Z","timestamp":1749725010689},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,7,1]],"date-time":"1991-07-01T00:00:00Z","timestamp":678326400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[1991,7]]},"DOI":"10.1007\/bf00117746","type":"journal-article","created":{"date-parts":[[2004,10,31]],"date-time":"2004-10-31T06:52:57Z","timestamp":1099205577000},"page":"55-67","source":"Crossref","is-referenced-by-count":5,"title":["Reasoning about reasoning in a meta-level architecture"],"prefix":"10.1007","volume":"1","author":[{"given":"Luigia Carlucci","family":"Aiello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Nardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Schaerf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"R.W. Weyhrauch, ?An example of FOL using meta-theory: Formalizing reasoning systems and introducing derived inference rules,? Proc. of CADE 82, edited by D.W. Loveland, LCNS 138, Springer Verlag: 1982, pp. 151?158.","DOI":"10.1007\/BFb0000057"},{"issue":"1","key":"CR2","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R.W. Weyhrauch","year":"1980","unstructured":"R.W. Weyhrauch, ?Prolegomena to a theory of mechanized formal reasoning?, Artificial Intelligence, vol. 13(1), pp. 133?170, 1980.","journal-title":"Artificial Intelligence"},{"key":"CR3","unstructured":"L. Aiello, D. Nardi, and M. Schaerf, ?Yet another solution to the three wisemen puzzle,? Proc. of ISMIS 88, 1988, edited by Z. Ras and L. Saitta, pp. 398?407."},{"key":"CR4","unstructured":"L. Aiello, D. Nardi, and M. Schaerf, ?Reasoning about knowledge and ignorance,? Proc. of FGCS 88, 1988, pp. 618?627."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"L. Fari\u00f1as del Cerro, ?MOLOG: a system for modal logics,? New Generation Computing, 1986.","DOI":"10.1007\/BF03037381"},{"key":"CR6","unstructured":"K. Konolige, ?Belief and incompleteness,? in Formal Theories of the Commonsenve World, edited by J. Hobbs and R.C. Moore, Ablex Pub. Corp.: 1985, pp. 358?403."},{"key":"CR7","unstructured":"K. Konolige, A Deduction Model of Belief, Morgan Kaufmann Pub: 1986."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"L. Aiello, C. Cecchi, and D. Sartini, ?Representation and use of metaknowledge,? in Proceedings of the IEEE, vol. 74:10, 1986, pp. 1304?1321.","DOI":"10.1109\/PROC.1986.13633"},{"key":"CR9","unstructured":"L. Aiello, and G. Levi, ?The uses of metaknowledge in AI systems,? in Proc. of ECAI 84, edited by T. O'Shea, North-Holland: 1984, pp. 705?717."},{"key":"CR10","first-page":"153","volume-title":"Logic Programming, edited by Tarnlund","author":"K.A. Bowen","year":"1982","unstructured":"K.A. Bowen, and R.A. Kowalski, ?Amalgamating language and metalanguage,? in Logic Programming, edited by Tarnlund, Academic Press: New York, pp. 153?173, 1982."},{"key":"CR11","unstructured":"M.R. Genesereth, ?An overview of meta-level architectures,? Proc. of AAAI 83, 1983, pp. 119?124."},{"key":"CR12","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka, Knowledge and Belief, Cornell University Press: Ithaca, New York, 1962."},{"key":"CR13","first-page":"83","volume":"16","author":"S.A. Kripke","year":"1963","unstructured":"S.A. Kripke, ?Semantical considerations on modal logic?, Acta Philosphica Fennica vol. 16, pp. 83?94, 1963.","journal-title":"Acta Philosphica Fennica"},{"key":"CR14","volume-title":"Computational introspection","author":"J. Batali","year":"1983","unstructured":"J. Batali, ?Computational introspection?, MIT, Cambridge, MA, AI Memo 701, 1983."},{"key":"CR15","unstructured":"P. Maes, and D. Nardi, (Eds.), Meta-level Architectures and Reflection, North Holland: 1988."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"B.C. Smith, ?Varieties of self-reference,? Proc. of the 1986 Conference on Theoretical Aspects on Reasoning about Knowledge, edited by J. Halpern, Morgan Kaufman: 1986, pp. 19?43.","DOI":"10.1016\/B978-0-934613-04-0.50005-3"},{"key":"CR17","unstructured":"F. Giunchiglia, and R.W. Weyhrauch, ?A multi-context monotonic axiomatization of inessential non-monotonicity,? in Meta-level Architectures and Reflections, edited by P. Maes and D. Nardi, North-Holland: pp. 271?285, 1988."},{"key":"CR18","unstructured":"M. Lenzerini, and D. Nardi, ?Belief revision as metareasoning,? Proc. of ECAI 88, 1988, pp. 577?579."},{"key":"CR19","unstructured":"G. Attardi, and M. Simi, ?Reasoning across view-points,? Proc. of ECAI 84, edited by T. O'Shea, North-Holland, 1984, pp. 315?325."},{"key":"CR20","unstructured":"D. Nardi, ?Evaluation and reflection in FOL,? in Meta-level Architectures and Reflections, edited by P. Maes and D. Nardi, North-Holland: pp. 195?207, 1988."},{"key":"CR21","unstructured":"M.R. Genesereth, and N. Nilsson, Fundamentals of Artificial Intelligence, Morgan-Kaufmann: 1987."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"D. Perlis","year":"1985","unstructured":"D. Perlis, ?Languages with self-references I?, Artificial Intelligence, vol. 25, pp. 301?322, 1985.","journal-title":"Artificial Intelligence"},{"key":"CR23","unstructured":"D. Perlis, ?Meta in logic,? in Meta-level Architectures and Reflections, edited by P. Maes and D. Nardi, North-Holland: pp. 37?49, 1988."},{"key":"CR24","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(88)90038-0","volume":"34","author":"D. Perlis","year":"1988","unstructured":"D. Perlis, ?Languages with self-references II?, Artificial Intelligence, vol. 34, pp. 179?212, 1988.","journal-title":"Artificial Intelligence"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"J. des Rivieres, and H.J. Levesque, ?The consistency of syntactical treatments of knowledge,? Proc. of the 1986 Conference on Theoretical Aspects on Reasoning about Knowledge, edited by J. Halpern, Morgan Kaufman: 1986, pp. 115?130.","DOI":"10.1016\/B978-0-934613-04-0.50011-9"},{"key":"CR26","unstructured":"L. Aiello, D. Nardi, and M. Schaerf, ?Reasoning about reasoning in a meta-level architecture,? Technical Report Dipartimento di Informatica e Sistemistica, Univ. di Roma ?La Sapienza?, 1989."},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"C. Geissler, and K. Konolige, ?A resolution method for quantified modal logics of knowledge and belief,? Proc. of the 1986 Conference on Theoretical Aspects on Reasoning about Knowledge, edited by J. Halpern, Morgan Kaufman: 1986, pp. 309?324.","DOI":"10.1016\/B978-0-934613-04-0.50026-0"},{"key":"CR28","unstructured":"K. Konolige, ?Circumscriptive ignorance,? Proc. of AAAI 82, 1982, pp. 202?204."},{"key":"CR29","unstructured":"P. Coscia, P. Franceschi, G. Levi, G. Sardu, and L. Torre, ?Object level reflection of inference rules by partial evaluation?, in Meta-level Architectures and Reflections, edited by P. Maes and D. Nardi, North-Holland: pp. 313?327, 1988."},{"key":"CR30","unstructured":"M. Simi, and E. Motta, ?OMEGA: an integrated reflective framework,? in Meta-level Architectures and Reflections, edited by P. Maes and D. Nardi, North-Holland: pp. 209?226, 1988."},{"key":"CR31","unstructured":"J.S. Kim, and R.A. Kowalski, ?An application of amalgamated logic to multi-agent belief,? Proc. of Meta-90, 1990."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"D.E. Appelt, and K. Konolige, ?A nonmonotonic logic for reasoning about speech acts and belief revision,? Proc. of 2nd International Workshop on Non-Monotonic Reasoning LNAI 346, 1988, pp. 164?175.","DOI":"10.1007\/3-540-50701-9_26"},{"key":"CR33","unstructured":"M. Cialdea, A. Micarelli, D. Nardi, J.C. Spohrer, and L. Aiello, ?A rational reconstruction of the diagnostic process in intelligent tutoring systems,? Technical Report Dipartimento di Informatica e sistemistica, Univ. di Roma ?La Sapienza?, 1989."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00117746.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00117746\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00117746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T16:33:12Z","timestamp":1585931592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00117746"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,7]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,7]]}},"alternative-id":["BF00117746"],"URL":"https:\/\/doi.org\/10.1007\/bf00117746","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,7]]}}}