{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T08:34:18Z","timestamp":1791189258772,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":121,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540439608","type":"print"},{"value":"9783540456322","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45632-5_11","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T07:37:27Z","timestamp":1179646647000},"page":"253-288","source":"Crossref","is-referenced-by-count":19,"title":["Meta-reasoning: A Survey"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"key":"11_CR1","unstructured":"Hill, P.M., Gallagher, J.: Meta-programming in logic programming. In Gabbay, D., Hogger, C.J., Robinson, J.A., eds.: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5, Oxford University Press (1995)"},{"key":"11_CR2","unstructured":"Barklund, J.: Metaprogramming in logic. In Kent, A., Williams, J.G., eds.: Encyclopedia of Computer Science and Technology. Volume 33. M. Dekker, New York (1995) 205\u2013227"},{"key":"11_CR3","unstructured":"Lanzarone, G.A.: Metalogic programming. In Sessa, M.I., ed.: 1985\u20131995 Ten Years of Logic Programming in Italy. Palladio (1995) 29\u201370"},{"key":"11_CR4","volume-title":"Meta-Programming in Logic Programming","year":"1989","unstructured":"Abramson, H., Rogers, M.H., eds.: Meta-Programming in Logic Programming, Cambridge, Mass., THE MIT Press (1989)"},{"key":"11_CR5","unstructured":"Bruynooghe, M., ed.: Proc. of the Second Workshop on Meta-Programming in Logic, Leuven (Belgium), Dept. of Comp. Sci., Katholieke Univ. Leuven (1990)"},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Meta-Programming in Logic","year":"1992","unstructured":"Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Berlin, Springer-Verlag (1992)"},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Logic Program Synthesis and Transformation-Meta-Programming in Logic","year":"1994","unstructured":"Fribourg, L., Turini, F., eds.: Logic Program Synthesis and Transformation-Meta-Programming in Logic. LNCS 883, Springer-Verlag (1994)"},{"key":"11_CR8","unstructured":"Barklund, J., Costantini, S., van Harmelen, F., eds.: Proc. Workshop on Meta Programming and Metareasonong in Logic, post-JICSLP96 workshop, Bonn (Germany), UPMAIL technical Report No. 127 (Sept. 2, 1996), Computing Science Dept., Uppsala Univ. (1996)"},{"key":"11_CR9","volume-title":"Meta-Logics and Logic Programming","year":"1995","unstructured":"Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995)"},{"key":"11_CR10","volume-title":"Meta-Level Architectures and Reflection","year":"1988","unstructured":"Maes, P., Nardi, D., eds.: Meta-Level Architectures and Reflection, Amsterdam, North-Holland (1988)"},{"key":"11_CR11","unstructured":"Kiczales, G., ed.: Meta-Level Architectures and Reflection, Proc. Of the First Intnl. Conf. Reflection 96, Xerox PARC (1996)"},{"key":"11_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Meta-Level Architectures and Reflection","year":"1999","unstructured":"Cointe, A., ed.: Meta-Level Architectures and Reflection, Proc. Of the Second Intnl. Conf. Reflection 99. LNCS 1616, Berlin, Springer-Verlag (1999)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Smorinski, C.: The incompleteness theorem. In Barwise, J., ed.: Handbook of Mathematical Logic. North-Holland (1977) 821\u2013865","DOI":"10.1016\/S0049-237X(08)71123-6"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Smullyan, R.: Diagonalization and Self-Reference. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198534501.001.0001"},{"key":"11_CR15","first-page":"493","volume":"16","author":"S.A. Kripke","year":"1963","unstructured":"Kripke, S.A.: Semantical considerations on modal logic. In: Acta Philosophica Fennica. Volume 16. (1963) 493\u2013574","journal-title":"Acta Philosophica Fennica"},{"key":"11_CR16","first-page":"243","volume-title":"Meta-Logics and Logic Programming","author":"L. Carlucci Aiello","year":"1995","unstructured":"Carlucci Aiello, L., Cialdea, M., Nardi, D., Schaerf, M.: Modal and meta languages: Consistency and expressiveness. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 243\u2013266"},{"key":"11_CR17","first-page":"1","volume-title":"Proc. Fourth Intl. Joint Conf. on Artificial Intelligence","author":"M. Aiello","year":"1975","unstructured":"Aiello, M., Weyhrauch, L.W.: Checking proofs in the metamathematics of first order logic. In: Proc. Fourth Intl. Joint Conf. on Artificial Intelligence, Tbilisi, Georgia, Morgan Kaufman Publishers (1975) 1\u20138"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(81)90010-2","volume":"16","author":"A. Bundy","year":"1981","unstructured":"Bundy, A., Welham, B.: Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Artificial Intelligence 16 (1981) 189\u2013212","journal-title":"Artificial Intelligence"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence (1980) 133\u201370","DOI":"10.1016\/0004-3702(80)90015-6"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"1304","DOI":"10.1109\/PROC.1986.13633","volume":"74","author":"L. Carlucci Aiello","year":"1986","unstructured":"Carlucci Aiello, L., Cecchi, C., Sartini, D.: Representation and use of metaknowledge. Proc. of the IEEE 74 (1986) 1304\u20131321","journal-title":"Proc. of the IEEE"},{"key":"11_CR21","unstructured":"Carlucci Aiello, L., Levi, G.: The uses of metaknowledge in AI systems. In: Proc. European Conf. on Artificial Intelligence. (1984) 705\u2013717"},{"key":"11_CR22","first-page":"920","volume-title":"Procs. Fifth Int. Joint Conf. On Artificial Intelligence","author":"R. Davis","year":"1977","unstructured":"Davis, R., Buchanan, B.: Meta-level knowledge: Overview and applications. In: Procs. Fifth Int. Joint Conf. On Artificial Intelligence, Los Altos, Calif., Morgan Kaufmann (1977) 920\u2013927"},{"key":"11_CR23","unstructured":"Maes, P.: Computational Reflection. PhD thesis, Vrije Universiteit Brussel, Faculteit Wetenschappen, Dienst Artificiele Intelligentie, Brussel (1986)"},{"key":"11_CR24","unstructured":"Genesereth, M.R.: Metalevel reasoning. In: Logic-87-8, Logic Group, Stanford University (1987)"},{"key":"11_CR25","first-page":"243","volume-title":"Meta-Level Architectures and Reflection","author":"L. Carlucci Aiello","year":"1988","unstructured":"Carlucci Aiello, L., Levi, G.: The uses of metaknowledge in AI systems. In Maes, P., Nardi, D., eds.: Meta-Level Architectures and Reflection. North-Holland, Amsterdam (1988) 243\u2013254"},{"key":"11_CR26","unstructured":"Carlucci Aiello, L., Nardi, D., Schaerf, M.: Yet Another Solution to the Three Wisemen Puzzle. In Ras, Z.W., Saitta, L., eds.: Methodologies for Intelligent Systems 3: ISMIS-88, Elsevier Science Publishing (1988) 398\u2013407"},{"key":"11_CR27","unstructured":"Carlucci Aiello, L., Nardi, D., Schaerf, M.: Reasoning about Knowledge and Ignorance. In: Proceedings of the International Conference on Fifth Generation Computer Systems 1988: FGCS-88, ICOT Press (1988) 618\u2013627"},{"key":"11_CR28","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"Genesereth, M.R., Nilsson, J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos, California (1987)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Russell, S.J., Wefald, E.: Do the right thing: studies in limited rationality (Chapter 2: Metareasoning Architectures). The MIT Press (1991)","DOI":"10.7551\/mitpress\/2474.001.0001"},{"key":"11_CR30","unstructured":"Carlucci Aiello, L., Cialdea, M., Nardi, D.: A meta level abstract description of diagnosis in Intelligent Tutoring Systems. In: Proceedings of the Sixth International PEG Conference, PEG-91. (1991) 437\u2013442"},{"key":"11_CR31","first-page":"397","volume":"4","author":"L. Carlucci Aiello","year":"1993","unstructured":"Carlucci Aiello, L., Cialdea, M., Nardi, D.: Reasoning about Student Knowledge and Reasoning. Journal of Artificial Intelligence and Education 4 (1993) 397\u2013413","journal-title":"Journal of Artificial Intelligence and Education"},{"key":"11_CR32","first-page":"267","volume-title":"Meta-Logics and Logic Programming","author":"C. Dam\u00e1sio","year":"1995","unstructured":"Dam\u00e1sio, C., Nejdl, W., Pereira, L.M., Schroeder, M.: Model-based diagnosis preferences and strategies representation with logic meta-programming. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 267\u2013308"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Barklund, J., Costantini, S., Dell\u2019Acqua, P., Lanzarone, G.A.: Reflection Principles in Computational Logic. Journal of Logic and Computation 10 (2000)","DOI":"10.1093\/logcom\/10.6.743"},{"key":"11_CR34","first-page":"383","volume-title":"Meta-Programming in Logic Programming","author":"J. Barklund","year":"1989","unstructured":"Barklund, J.: What is a meta-variable in Prolog? In Abramson, H., Rogers, M.H., eds.: Meta-Programming in Logic Programming. The MIT Press, Cambridge, Mass. (1989) 383\u201398"},{"key":"11_CR35","first-page":"23","volume-title":"Meta-Programming in Logic Programming","author":"P.M. Hill","year":"1988","unstructured":"Hill, P.M., Lloyd, J.W.: Analysis of metaprograms. In Abramson, H., Rogers, M.H., eds.: Meta-Programming in Logic Programming, Cambridge, Mass., THE MIT Press (1988) 23\u201351"},{"key":"11_CR36","first-page":"288","volume-title":"Logic Programming-Proc. 1995 Intl. Symp.","author":"J. Barklund","year":"1995","unstructured":"Barklund, J., Costantini, S., Dell\u2019Acqua, P., Lanzarone, G.A.: Semantical properties of encodings in logic programming. In Lloyd, J.W., ed.: Logic Programming-Proc. 1995 Intl. Symp., Cambridge, Mass., MIT Press (1995) 288\u2013302"},{"key":"11_CR37","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-56282-6_6","volume-title":"Meta-Programming in Logic","author":"F. Harmelen van","year":"1992","unstructured":"van Harmelen, F.: Definable naming relations in meta-level systems. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Berlin, Springer-Verlag (1992) 89\u2013104"},{"key":"11_CR38","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-56282-6_10","volume-title":"Meta-Programming in Logic","author":"I. Cervesato","year":"1992","unstructured":"Cervesato, I., Rossi, G.: Logic meta-programming facilities in\u2019 Log. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Berlin, Springer-Verlag (1992) 148\u2013161"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Costantini, S.: Semantics of a metalogic programming language. Intl. Journal of Foundation of Computer Science 1 (1990)","DOI":"10.1142\/S0129054190000175"},{"key":"11_CR40","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"D. Perlis","year":"1985","unstructured":"Perlis, D.: Languages with self-reference I: foundations (or: we can have everything in first-order logic!). Artificial Intelligence 25 (1985) 301\u2013322","journal-title":"Artificial Intelligence"},{"key":"11_CR41","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(88)90038-0","volume":"34","author":"D. Perlis","year":"1988","unstructured":"Perlis, D.: Languages with self-reference II. Artificial Intelligence 34 (1988) 179\u2013212","journal-title":"Artificial Intelligence"},{"key":"11_CR42","first-page":"61","volume-title":"Meta-Level Architectures and Reflection","author":"K. Konolige","year":"1988","unstructured":"Konolige, K.: Reasoning by introspection. In Maes, P., Nardi, D., eds.: Meta-Level Architectures and Reflection. North-Holland, Amsterdam (1988) 61\u201374"},{"key":"11_CR43","first-page":"75","volume-title":"Meta-Level Architectures and Reflection","author":"M.R. Genesereth","year":"1988","unstructured":"Genesereth, M.R.: Introspective fidelity. In Maes, P., Nardi, D., eds.: Meta-Level Architectures and Reflection. North-Holland, Amsterdam (1988) 75\u201386"},{"key":"11_CR44","first-page":"175","volume-title":"Enhancing the Knowledge Engineering Process-Contributions from ESPRIT","author":"F. Harmelen van","year":"1992","unstructured":"van Harmelen, F., Wielinga, B., Bredeweg, B., Schreiber, G., Karbach, W., Reinders, M., Voss, A., Akkermans, H., Bartsch-Sp\u00f6rl, B., Vinkhuyzen, E.: Knowledgelevel reflection. In: Enhancing the Knowledge Engineering Process-Contributions from ESPRIT. Elsevier Science, Amsterdam, The Netherlands (1992) 175\u2013204"},{"key":"11_CR45","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Using Meta-theoretic Reasoning to do Algebra","author":"L. Carlucci Aiello","year":"1980","unstructured":"Carlucci Aiello, L., Weyhrauch, R.W.: Using Meta-theoretic Reasoning to do Algebra. Volume 87 of Lecture Notes in Computer Science., Springer Verlag (1980) 1\u201313"},{"key":"11_CR46","first-page":"153","volume-title":"Logic Programming","author":"K.A. Bowen","year":"1982","unstructured":"Bowen, K.A., Kowalski, R.A.: Amalgamating language and metalanguage in logic programming. In Clark, K.L., T\u00e4rnlund, S.\u00c5., eds.: Logic Programming. Academic Press, London (1982) 153\u2013172"},{"key":"11_CR47","unstructured":"McCarthy, J.e.a.: (The LISP 1.5 Programmer\u2019s Manual)"},{"key":"11_CR48","first-page":"354","volume-title":"Logic Programming-Procs. of the Tenth International Conference","author":"G. Levi","year":"1993","unstructured":"Levi, G., Ramundo, D.: A formalization of metaprogramming for real. In Warren, D.S., ed.: Logic Programming-Procs. of the Tenth International Conference, Cambridge, Mass., The MIT Press (1993) 354\u2013373"},{"key":"11_CR49","first-page":"1","volume-title":"Meta-Programming in Logic Programming","author":"V.S. Subrahmanian","year":"1988","unstructured":"Subrahmanian, V.S.: Foundations of metalogic programming. In Abramson, H., Rogers, M.H., eds.: Meta-Programming in Logic Programming, Cambridge, Mass., The MIT Press (1988) 1\u201314"},{"key":"11_CR50","doi-asserted-by":"crossref","unstructured":"Martens, B., De Schreye, D.: Why untyped nonground metaprogramming is not (much of) a problem. J. Logic Programming 22 (1995)","DOI":"10.1016\/0743-1066(94)00015-X"},{"key":"11_CR51","volume-title":"The Art of Prolog","year":"1986","unstructured":"Sterling, L., Shapiro, E.Y., eds.: The Art of Prolog. The MIT Press, Cambridge, Mass. (1986)"},{"key":"11_CR52","unstructured":"Kowalski, R.A.: Meta matters. invited presentation at Second Workshop on Meta-Programming in Logic META90 (1990)"},{"key":"11_CR53","first-page":"1","volume-title":"Computational Logic","author":"R.A. Kowalski","year":"1990","unstructured":"Kowalski, R.A.: Problems and promises of computational logic. In Lloyd, J.W., ed.: Computational Logic. Springer-Verlag, Berlin (1990) 1\u201336"},{"key":"11_CR54","doi-asserted-by":"crossref","unstructured":"Smith, B.C.: Reflection and semantics in Lisp. Technical report, Xerox Parc ISL-5, Palo Alto (CA) (1984)","DOI":"10.1145\/800017.800513"},{"key":"11_CR55","doi-asserted-by":"crossref","unstructured":"Lemmens, I., Braspenning, P.: A formal analysis of smithinsonian computational reflection. (In Cointe, P., ed.: Proc. Reflection\u2019 99) 135\u2013137","DOI":"10.1007\/3-540-48443-4_10"},{"key":"11_CR56","unstructured":"Casaschi, G., Costantini, S., Lanzarone, G.A.: Realizzazione di un interprete riflessivo per clausole di Horn. In Mello, P., ed.: Gulp89, Proc. 4th Italian National Symp. on Logic Programming, Bologna (1989 (in italian)) 227\u2013241"},{"key":"11_CR57","unstructured":"Friedman, D.P., Sobel, J.M.: An introduction to reflection-oriented programming. In Kiczales, G., ed.: Meta-Level Architectures and Reflection, Proc. Of the First Intnl. Conf. Reflection 96, Xerox PARC (1996)"},{"key":"11_CR58","first-page":"315","volume-title":"Proc. European Conf. on Artificial Intelligence","author":"G. Attardi","year":"1984","unstructured":"Attardi, G., Simi, M.: Meta-level reasoning across viewpoints. In O\u2019Shea, T., ed.: Proc. European Conf. on Artificial Intelligence, Amsterdam, North-Holland (1984) 315\u2013325"},{"key":"11_CR59","volume-title":"The G\u00f6del Programming Language","author":"P.M. Hill","year":"1994","unstructured":"Hill, P.M., Lloyd, J.W.: The G\u00f6del Programming Language. The MIT Press, Cambridge, Mass. (1994)"},{"key":"11_CR60","first-page":"137","volume-title":"Meta-Logics and Logic Programming","author":"A.F. Bowers","year":"1995","unstructured":"Bowers, A.F., Gurr, C.: Towards fast and declarative meta-programming. In Apt, K.R., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 137\u2013166"},{"key":"11_CR61","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/3-540-58792-6_26","volume-title":"Logic Program Synthesis and Transformation-Meta-Programming in Logic","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Cimatti, A.: Introspective metatheoretic reasoning. In Fribourg, L., Turini, F., eds.: Logic Program Synthesis and Transformation-Meta-Programming in Logic. LNCS 883 (1994) 425\u2013439"},{"key":"11_CR62","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(95)00002-X","volume":"80","author":"F. Giunchiglia","year":"1996","unstructured":"Giunchiglia, F., Traverso, A.: A metatheory of a mechanized object theory. Artificial Intelligence 80 (1996) 197\u2013241","journal-title":"Artificial Intelligence"},{"key":"11_CR63","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65 (1994) 29\u201370","journal-title":"Artificial Intelligence"},{"key":"11_CR64","first-page":"218","volume-title":"Proc. 6th Intl. Conf. on Logic Programming","author":"S. Costantini","year":"1989","unstructured":"Costantini, S., Lanzarone, G.A.: A metalogic programming language. In Levi, G., Martelli, M., eds.: Proc. 6th Intl. Conf. on Logic Programming, Cambridge, Mass., The MIT Press (1989) 218\u2013233"},{"key":"11_CR65","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1080\/09528139408953789","volume":"6","author":"S. Costantini","year":"1994","unstructured":"Costantini, S., Lanzarone, G.A.: A metalogic programming approach: language, semantics and applications. Int. J. of Experimental and Theoretical Artificial Intelligence 6 (1994) 239\u2013287","journal-title":"Int. J. of Experimental and Theoretical Artificial Intelligence"},{"key":"11_CR66","series-title":"Lect Notes Comput Sci","volume-title":"Meta-Programming in Logic","author":"K. Konolige","year":"1992","unstructured":"Konolige, K.: An autoepistemic analysis of metalevel reasoning in logic programming. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Barlin, Springer-Verlag (1992)"},{"key":"11_CR67","volume-title":"Degree thesis","author":"P. DellAcqua","year":"1989","unstructured":"Dell\u2019Acqua, P.: Development of the interpreter for a metalogic programming language. Degree thesis, Univ. degli Studi di Milano, Milano (1989 (in italian))"},{"key":"11_CR68","unstructured":"Maes, P.: Concepts and experiments in computational reflection. In: Proc. Of OOPSLA\u201987. ACM SIGPLAN NOTICES (1987) 147\u2013155"},{"key":"11_CR69","doi-asserted-by":"crossref","unstructured":"Kiczales, G., des Rivieres, J., Bobrow, D.G.: The Art of Meta-Object Protocol. The MIT Press (1991)","DOI":"10.7551\/mitpress\/1405.001.0001"},{"key":"11_CR70","unstructured":"Malenfant, J., Lapalme, G., Vaucher, G.: Objvprolog: Metaclasses in logic. In: Proc. Of ECOOP\u201989, Cambridge Univ. Press (1990) 257\u2013269"},{"key":"11_CR71","unstructured":"Malenfant, J., Lapalme, G., Vaucher, G.: Metaclasses for metaprogramming in prolog. In Bruynooghe, M., ed.: Proc. of the Second Workshop on Meta-Programming in Logic, Dept. of Comp. Sci., Katholieke Univ. Leuven (1990) 272\u201383"},{"key":"11_CR72","series-title":"Lect Notes Comput Sci","volume-title":"the evolution of a reflective java extension","author":"R. Stroud","year":"1999","unstructured":"Stroud, R., Welch, I.: the evolution of a reflective java extension. LNCS 1616, Berlin, Springer-Verlag (1999)"},{"key":"11_CR73","first-page":"387","volume-title":"Proc. 11th Intl. Conf. on Logic Programming","author":"Y.J. Jiang","year":"1994","unstructured":"Jiang, Y.J.: Ambivalent logic as the semantic basis of metalogic programming: I. In Van Hentenryck, P., ed.: Proc. 11th Intl. Conf. on Logic Programming, Cambridge, Mass., THE MIT Press (1994) 387\u2013401"},{"key":"11_CR74","first-page":"27","volume-title":"Meta-Logics and Logic Programming","author":"M. Kalsbeek","year":"1995","unstructured":"Kalsbeek, M., Jiang, Y.: A vademecum of ambivalent logic. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 27\u201356"},{"key":"11_CR75","first-page":"3","volume-title":"Meta-Logics and Logic Programming","author":"M. Kalsbeek","year":"1995","unstructured":"Kalsbeek, M.: Correctness of the vanilla meta-interpreter and ambivalent syntax. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 3\u201326"},{"key":"11_CR76","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-56282-6_14","volume-title":"Meta-Programming in Logic","author":"H. Christiansen","year":"1992","unstructured":"Christiansen, H.: A complete resolution principle for logical meta-programming languages. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Barlin, Springer-Verlag (1992) 205\u2013234"},{"key":"11_CR77","unstructured":"Christiansen, H.: Efficient and complete demo predicates for definite clause languages. Datalogiske Skrifter, Technical Report 51, Dept. of Computer Science, Roskilde University (1994)"},{"key":"11_CR78","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-642-76274-1_7","volume-title":"Computational Logic","author":"A. Brogi","year":"1990","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Composition operators for logic theories. In Lloyd, J.W., ed.: Computational Logic. Springer-Verlag, Berlin (1990) 117\u2013134"},{"key":"11_CR79","first-page":"167","volume-title":"Meta-Logics and Logic Programming","author":"A. Brogi","year":"1995","unstructured":"Brogi, A., Contiero, S.: Composing logic programs by meta-programming in G\u00f6del. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 167\u2013194"},{"key":"11_CR80","first-page":"83","volume-title":"Meta-Logics and Logic Programming","author":"A. Brogi","year":"1995","unstructured":"Brogi, A., Turini, F.: Meta-logic for program composition: Semantic issues. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 83\u2013110"},{"key":"11_CR81","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-58792-6_17","volume-title":"Logic Program Synthesis and Transformation-Meta-Programming in Logic","author":"J. Barklund","year":"1994","unstructured":"Barklund, J., Boberg, K., Dell\u2019Acqua, P.: A basis for a multilevel metalogic programming language. In Fribourg, L., Turini, F., eds.: Logic Program Synthesis and Transformation-Meta-Programming in Logic. LNCS 883, Berlin, Springer-Verlag (1994) 262\u2013275"},{"key":"11_CR82","first-page":"195","volume-title":"Meta-Logics and Logic Programming","author":"J. Barklund","year":"1995","unstructured":"Barklund, J., Boberg, K., Dell\u2019Acqua, P., Veanes, M.: Meta-programming with theory systems. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 195\u2013224"},{"key":"11_CR83","unstructured":"Shoham, Y., McDermott, D.: Temporal reasoning. In Encyclopedia of Artificial Intelligence (ed. Shapiro, S. C.) pp. 967\u2013981, 1987."},{"key":"11_CR84","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4 (1986) 67\u201395","journal-title":"New Generation Computing"},{"key":"11_CR85","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4 (1969) 463\u2013502","journal-title":"Machine Intelligence"},{"key":"11_CR86","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A.: Database updates in the event calculus. J. Logic Programming (1992) 121\u2013146","DOI":"10.1016\/0743-1066(92)90041-Z"},{"key":"11_CR87","unstructured":"Kowalski, R.A., Sadri, F.: The situation calculus and event calculus compared. In: Proc. 1994 Intl. Logic Programming Symp. (1994) 539\u2013553"},{"key":"11_CR88","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(96)00137-9","volume":"31","author":"R.A. Kowalski","year":"1997","unstructured":"Kowalski, R.A., Sadri, F.: Reconciling the event calculus with the situation calculus. J. Logic Programming 31 (1997) 39\u201358","journal-title":"J. Logic Programming"},{"key":"11_CR89","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1111\/j.1467-8640.1996.tb00272.x","volume":"12","author":"A. Provetti","year":"1996","unstructured":"Provetti, A.: Hypothetical reasoning: From situation calculus to event calculus. Computational Intelligence Journal 12 (1996) 478\u2013498","journal-title":"Computational Intelligence Journal"},{"key":"11_CR90","unstructured":"D\u00edaz, O., Paton, N.: Stimuli and business policies as modeling constructs: their definition and validation through the event calculus. In: Proc. of CAiSE\u201997. (1997) 33\u201346"},{"key":"11_CR91","doi-asserted-by":"crossref","first-page":"99","DOI":"10.7551\/mitpress\/4298.003.0019","volume-title":"Proc. 12th Intl. Conf. on Logic Programming","author":"S. Sripada","year":"1995","unstructured":"Sripada, S.: Efficient implementation of the event calculus for temporal database applications. In Lloyd, J.W., ed.: Proc. 12th Intl. Conf. on Logic Programming, Cambridge, Mass., The MIT Press (1995) 99\u2013113"},{"key":"11_CR92","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-61064-2_33","volume-title":"Trees in Algebra and Programming-CAAP\u2019 96","author":"F. Pfenning","year":"1996","unstructured":"Pfenning, F.: The practice of logical frameworks. In Kirchner, H., ed.: Trees in Algebra and Programming-CAAP\u2019 96. LNCS 1059, Linkoping, Sweden, Springer-Verlag (1996) 119\u2013134"},{"key":"11_CR93","doi-asserted-by":"crossref","unstructured":"Clavel, M.G., Eker, S., Lincoln, P., Meseguer, J.: Principles of Maude. In Proc. First Intl Workshop on Rewriting Logic, volume 4 of Electronic Notes in Th. Comp. Sc. (ed. Meseguer, J.), 1996.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"11_CR94","doi-asserted-by":"crossref","unstructured":"Clavel, M.G., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Quesada, J.: Maude as a metalanguage. In Proc. Second Intl. Workshop on Rewriting Logic, volume 15 of Electronic Notes in Th. Comp. Sc., 1998.","DOI":"10.1016\/S1571-0661(05)82557-5"},{"key":"11_CR95","unstructured":"Clavel, M.G., Meseguer, J.: Axiomatizing reflective logics and languages. In Kiczales, G., ed.: Proc. Reflection\u2019 96, Xerox PARC (1996) 263\u2013288"},{"key":"11_CR96","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF01530892","volume":"14","author":"S. Costantini","year":"1995","unstructured":"Costantini, S., Lanzarone, G.A., Sbarbaro, L.: A formal definition and a sound implementation of analogical reasoning in logic programming. Annals of Mathematics and Artificial Intelligence 14 (1995) 17\u201336","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"11_CR97","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/3-540-56282-6_9","volume-title":"Meta-Programming in Logic","author":"S. Costantini","year":"1992","unstructured":"Costantini, S., Dell\u2019Acqua, P., Lanzarone, G.A.: Reflective agents in metalogic programming. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Berlin, Springer-Verlag (1992) 135\u2013147"},{"issue":"1\u20132","key":"11_CR98","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1080\/088395199117504","volume":"13","author":"D.L. Martin","year":"1999","unstructured":"Martin, D.L., Cheyer, A.J., Moran, D.B.: The open agent architecture: a framework for building distributed software systems. Applied Artificial Intelligence 13(1\u20132) (1999) 91\u2013128","journal-title":"Applied Artificial Intelligence"},{"key":"11_CR99","first-page":"473","volume-title":"Proceedings of Knowledge Representation and Reasoning (KR&R-91)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In Fikes, R., Sandewall, E., eds.: Proceedings of Knowledge Representation and Reasoning (KR&R-91), Morgan Kaufmann Publishers: San Mateo, CA (1991) 473\u2013484"},{"key":"11_CR100","unstructured":"Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, CA (1995) 312\u2013319"},{"key":"11_CR101","unstructured":"J., D., Subrahmanian, V., Pick, G.: Meta-agent programs. J. Logic Programming 45 (2000)"},{"key":"11_CR102","unstructured":"Kim, J.S., Kowalski, R.A.: An application of amalgamated logic to multi-agent belief. In Bruynooghe, M., ed.: Proc. of the Second Workshop on Meta-Programming in Logic, Dept. of Comp. Sci., Katholieke Univ. Leuven (1990) 272\u201383"},{"key":"11_CR103","doi-asserted-by":"crossref","unstructured":"Kim, J.S., Kowalski, R.A.: A metalogic programming approach to multi-agent knowledge and belief. In Lifschitz, V., ed.: Artificial Intelligence and Mathematical Theory of Computation, Academic Press (1991)","DOI":"10.1016\/B978-0-12-450010-5.50019-0"},{"key":"11_CR104","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031739","volume-title":"Proc. International Workshop on Logic in Databases","author":"R.A. Kowalski","year":"1996","unstructured":"Kowalski, R.A., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Proc. International Workshop on Logic in Databases. LNCS 1154, Berlin, Springer-Verlag (1996)"},{"key":"11_CR105","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"R.A. Kowalski","year":"1999","unstructured":"Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. In Annals of Mathematics and Artificial Intelligence, Vol. 25, pp. 391\u2013410, 1999.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"11_CR106","series-title":"Lect Notes Comput Sci","volume-title":"Logics in Artificial Intelligence","author":"P. DellAcqua","year":"1998","unstructured":"Dell\u2019Acqua, P., Sadri, F., Toni, F.: Combining introspection and communication with rationality and reactivity in agents. In Dix, J., Cerro, F.D., Furbach, U., eds.: Logics in Artificial Intelligence. LNCS 1489, Berlin, Springer-Verlag (1998)"},{"key":"11_CR107","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"Fung, T.H., R. A. Kowalski, R.A.: The IFF proof procedure for abductive logic programming. J. Logic Programming 33 (1997) 151\u2013165","journal-title":"J. Logic Programming"},{"key":"11_CR108","unstructured":"Dell\u2019Acqua, P., Sadri, F., Toni, F.: Communicating agents. In: Proc. International Workshop on Multi-Agent Systems in Logic Programming, in conjunction with ICLP\u201999, Las Cruces, New Mexico (1999)"},{"key":"11_CR109","unstructured":"Costantini, S.: Towards active logic programming. In Brogi, A., Hill, P., eds.: Proc. of 2nd International Workshop on Component-based Software Development in Computational Logic (COCL\u201999). PLI\u201999, Paris, France, http:\/\/www.di.unipi.it\/brogi\/ResearchActivity\/COCL99\/proceedings\/index.html (1999)"},{"key":"11_CR110","series-title":"Lect Notes Comput Sci","first-page":"135","volume-title":"MetaProgramming in Logic","author":"P. G\u00e4rdenfors","year":"1992","unstructured":"G\u00e4rdenfors, P.: Belief revision: a vademecum. In Pettorossi, A., ed.: MetaProgramming in Logic. LNCS 649, Berlin, Springer-Verlag (1992) 135\u2013147"},{"key":"11_CR111","unstructured":"G\u00e4rdenfors, P., Roth, H.: Belief revision. In Gabbay, D., Hogger, C., Robinson, J., eds.: Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4. Clarendon Press (1995) 36\u2013119"},{"key":"11_CR112","unstructured":"Dell\u2019Acqua, P., Pereira, L.M.: Updating agents. (1999)"},{"key":"11_CR113","unstructured":"Lamma, E., Riguzzi, F., Pereira, L.M.: Agents learning in a three-valued logical setting. In Panayiotopoulos, A., ed.: Workshop on Machine Learning and Intelligent Agents, in conjunction with Machine Learning and Applications, Advanced Course on Artificial Intelligence (ACAI\u201999), Chania (Greece) (1999) (Also available at http:\/\/centria.di.fct.unl.pt\/~lmp\/ )."},{"key":"11_CR114","unstructured":"Brewka, G.: Declarative representation of revision strategies. In Baral, C., Truszczynski, M., eds.: NMR\u20192000, Proc. Of the 8th Intl. Workshop on Non-Monotonic Reasoning. (2000)"},{"key":"11_CR115","first-page":"129","volume":"9","author":"J. McCarthy","year":"1979","unstructured":"McCarthy, J.: First order theories of individual concepts and propositions. Machine Intelligence 9 (1979) 129\u2013147","journal-title":"Machine Intelligence"},{"key":"11_CR116","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, Second Edition. Springer-Verlag, Berlin (1987)","edition":"Second Edition"},{"key":"11_CR117","volume-title":"PhD Thesis","author":"P. DellAcqua","year":"1998","unstructured":"Dell\u2019Acqua, P.: Reflection principles in computational logic. PhD Thesis, Uppsala University, Uppsala (1998)"},{"key":"11_CR118","volume-title":"PhL Thesis","author":"P. DellAcqua","year":"1995","unstructured":"Dell\u2019Acqua, P.: SLD-Resolution with reflection. PhL Thesis, Uppsala University, Uppsala (1995)"},{"key":"11_CR119","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0743-1066(84)90010-4","volume":"3","author":"J. Jaffar","year":"1984","unstructured":"Jaffar, J., Lassez, J.L., Maher, M.J.: A theory of complete logic programs with equality. J. Logic Programming 3 (1984) 211\u2013223","journal-title":"J. Logic Programming"},{"key":"11_CR120","first-page":"57","volume-title":"Meta-Logics and Logic Programming","author":"B. Martens","year":"1995","unstructured":"Martens, B., De Schreye, D.: Two semantics for definite meta-programs, using the non-ground representation. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 57\u201382"},{"key":"11_CR121","first-page":"993","volume-title":"Proc. 5th Intl. Conf. Symp. on Logic Programming","author":"M. Falaschi","year":"1988","unstructured":"Falaschi, M.and Levi, G., Martelli, M., Palamidessi, C.: A new declarative semantics for logic languages. In Kowalski, R. A.and Bowen, K.A., ed.: Proc. 5th Intl. Conf. Symp. on Logic Programming, Cambridge, Mass., MIT Press (1988) 993\u20131005"}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45632-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T13:53:56Z","timestamp":1737035636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45632-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439608","9783540456322"],"references-count":121,"URL":"https:\/\/doi.org\/10.1007\/3-540-45632-5_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}