{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:58Z","timestamp":1725664558176},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540587927"},{"type":"electronic","value":"9783540491040"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58792-6_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:45:08Z","timestamp":1330274708000},"page":"410-424","source":"Crossref","is-referenced-by-count":3,"title":["Building proofs in context"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Attardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Simi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"25_CR1","volume-title":"CSLI lecture notes, 12","author":"P. Aczel","year":"1988","unstructured":"P. Aczel (1988). Non-well-founded sets, CSLI lecture notes, 12, Center for the Study of Language and Information, Stanford, California."},{"key":"25_CR2","unstructured":"L. C. Aiello, d. Nardi, M. Schaerf (1988). Reasoning about Knowledge and Ignorance, in International Conference of 5th generation Computer System, pages 618\u2013627, Tokyo."},{"key":"25_CR3","volume-title":"ECAI84: Advances in Artificial Intelligence","author":"G. Attardi","year":"1984","unstructured":"G. Attardi and M. Simi (1984). Metalanguage and reasoning across viewpoints, in ECAI84: Advances in Artificial Intelligence, T. O'Shea (ed.), Elsevier Science Publishers, Amsterdam."},{"key":"25_CR4","volume-title":"Reflections about reflection","author":"G. Attardi","year":"1991","unstructured":"G. Attardi and M. Simi (1991). Reflections about reflection, in Allen, J. A., Fikes, R., and Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference. Morgan Kaufmann, San Mateo, California."},{"key":"25_CR5","volume-title":"TR-93-062","author":"G. Attardi","year":"1993","unstructured":"G. Attardi and M. Simi (1993). A formalisation of viewpoints, TR-93-062, International Computer Science Institute, Berkeley."},{"key":"25_CR6","volume-title":"Proofs in context","author":"G. Attardi","year":"1994","unstructured":"G. Attardi and M. Simi (1994). Proofs in context, in Doyle, J. and Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference. Morgan Kaufmann, San Mateo, California."},{"key":"25_CR7","unstructured":"K.A. Bowen and R.A. Kowalski (1982). Amalgamating language and metalanguage in logic programming, in Logic Programming, K. Clark and S. Tarnlund (eds.), Academic Press, 153\u2013172."},{"key":"25_CR8","unstructured":"S. Buva\u010d and I.A. Mason (1993). Propositional Logic in Context, Proc. of the Eleventh AAAI Conference, Washington DC, 412\u2013419."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"A. Cimatti and L. Serafini (1994). Multi Agent Reasoning with Belief Contexts: the Approach and a Case Study\u201d, proceedings of ECAI-94, Workshop on Agent Theories, Architectures, and Languages.","DOI":"10.1007\/3-540-58855-8_4"},{"key":"25_CR10","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"F. Giunchiglia, L. Serafini, Multilanguage hierarchical logics (or: how we can do without modal logics), Artificial Intelligence, 65:29\u201370, 1994.","journal-title":"Artificial Intelligence"},{"key":"25_CR11","unstructured":"R.V. Guha (1991). Contexts: a formalization and some applications, MCC Tech. Rep. ACT-CYC-42391."},{"key":"25_CR12","unstructured":"K. Konolige (1982). A first order formalization of knowledge and action for a multiagent planning system, Machine Intelligence 10."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"R. Kowalski and Kim J.S. (1991). A metalogic programming approach to multi-agent knowledge and belief, in Vladimir Lifschitz (ed.), Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of John McCarthy, Academic Press, 1991, Academic Press, 231\u2013246.","DOI":"10.1016\/B978-0-12-450010-5.50019-0"},{"issue":"12","key":"25_CR14","doi-asserted-by":"crossref","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"J. McCarthy, Generality in Artificial Intelligence, Communications of the ACM, 30(12), 1987, 1030\u20131035.","journal-title":"Communications of the ACM"},{"key":"25_CR15","unstructured":"J. McCarthy (1993). Notes on Formalizing Context, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Chambery."},{"key":"25_CR16","volume-title":"Logic: techniques of formal reasoning","author":"D. Kalish","year":"1964","unstructured":"D. Kalish and R. Montague (1964). Logic: techniques of formal reasoning, New York, Harcourt, Brace & World."},{"key":"25_CR17","first-page":"153","volume":"16","author":"R. Montague","year":"1963","unstructured":"R. Montague (1963). Syntactical treatment of modalities, with corollaries on reflexion principles and finite axiomatizability, Acta Philosoph. Fennica, 16, 153\u2013167.","journal-title":"Acta Philosoph. Fennica"},{"key":"25_CR18","unstructured":"R. C. Moore (1977). Reasoning about knowledge and action, Proc. of IJCAI77, Cambridge, MA, 223\u2013227."},{"key":"25_CR19","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 (1985). Languages with self-reference I: foundations, Artificial Intelligence, 25:301\u2013322.","journal-title":"Artificial Intelligence"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Y. Shoham (1991). Varieties of contexts, in Vladimir Lifschitz (ed.), Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of John McCarthy, Academic Press, 393\u2013407.","DOI":"10.1016\/B978-0-12-450010-5.50028-1"},{"key":"25_CR21","unstructured":"M. Simi (1991). Viewpoints subsume belief, truth and situations, in Trends in Artificial Intelligence, Proc. of 2nd Congress of the Italian Association for Artificial Intelligence, Ardizzone, Gaglio, Sorbello (Eds), Lecture Notes in Artificial Intelligence 549, Springer Verlag, 38\u201347."},{"issue":"12","key":"25_CR22","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R.W. Weyhrauch","year":"1980","unstructured":"R.W. Weyhrauch (1980). Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13(1,2):133\u2013170.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58792-6_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T08:29:13Z","timestamp":1640939353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58792-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587927","9783540491040"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-58792-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}