{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:04Z","timestamp":1725664564506},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:45:18Z","timestamp":1330274718000},"page":"262-275","source":"Crossref","is-referenced-by-count":4,"title":["A basis for a multilevel metalogic programming language"],"prefix":"10.1007","author":[{"given":"Jonas","family":"Barklund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katrin","family":"Boberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierangelo","family":"Dell'Acqua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"17_CR1","unstructured":"Aiello, L. C., Nardi, D. and Schaerf, M., Reasoning about Knowledge and Ignorance, in: H. Tanaka and K. Furukawa (eds.), Proc. Intl. Conf. on Fifth Generation Comp. Sys. 1988, Ohmsha, Tokyo, 1988."},{"key":"17_CR2","volume-title":"Meta-Programming in Logic Programming","author":"J. Barklund","year":"1989","unstructured":"Barklund, J., What is a Meta-Variable in Prolog?, in: H. Abramson and M. H. Rogers (eds.), Meta-Programming in Logic Programming, MIT Press, Cambridge, Mass., 1989."},{"key":"17_CR3","volume-title":"Reflection through Constraint Satisfaction","author":"J. Barklund","year":"1994","unstructured":"Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Reflection through Constraint Satisfaction, in: P. Van Hentenryck (ed.), Logic Programming: Proc. 11th Intl. Conf., MIT Press, Cambridge, Mass., 1994."},{"key":"17_CR4","unstructured":"Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., SLD-Resolution with Reflection, to appear in Proc. ILPS'94, 1994."},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(94)90041-8","volume":"18","author":"J. Barklund","year":"1994","unstructured":"Barklund, J. and Hamfelt, A., Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic, J. Logic Programming, 18:55\u201380 (1994).","journal-title":"J. Logic Programming"},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF03037077","volume":"3","author":"K. A. Bowen","year":"1985","unstructured":"Bowen, K. A., Meta-Level Programming and Knowledge Representation, New Generation Computing, 3:359\u2013383 (1985).","journal-title":"New Generation Computing"},{"key":"17_CR7","volume-title":"Logic Programming","author":"K. A. Bowen","year":"1982","unstructured":"Bowen, K. A. and Kowalski, R. A., Amalgamating Language and Metalanguage in Logic Programming, in: K. L. Clark and S.-\u00e5. T\u00c4rnlund (eds.), Logic Programming, Academic Press, London, 1982."},{"key":"17_CR8","volume-title":"Computational Logic","author":"A. Brogi","year":"1990","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D. and Turini, F., Composition Operators for Logic Theories, in: J. W. Lloyd (ed.), Computational Logic, Springer-Verlag, Berlin, 1990."},{"key":"17_CR9","series-title":"LNCS 649","volume-title":"Meta-Programming in Logic","author":"A. Brogi","year":"1992","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D. and Turini, F., Meta for Modularising Logic Programming, in: A. Pettorossi (ed.), Meta-Programming in Logic, LNCS 649, Springer-Verlag, Berlin, 1992."},{"key":"17_CR10","unstructured":"Brogi, A., Program Construction in Computational Logic, Ph.D. Thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1993."},{"key":"17_CR11","volume-title":"Metalogic for Knowledge Representation","author":"A. Brogi","year":"1991","unstructured":"Brogi, A. and Turini, F., Metalogic for Knowledge Representation, in: J. A. Allen, R. Fikes and E. Sandewall (eds.), Principles of Knowledge Representation and Reasoning: Proc. 2nd Intl. Conf., Morgan Kaufmann, Los Altos, Calif., 1991."},{"key":"17_CR12","series-title":"LNCS 649","volume-title":"Meta-Programming in Logic","author":"I. Cervesato","year":"1992","unstructured":"Cervesato, I. and Rossi, G. F., Logic Meta-Programming Facilities in 'LOG, in: A. Pettorossi (ed.), Meta-Programming in Logic, LNCS 649, Springer-Verlag, Berlin, 1992."},{"key":"17_CR13","volume-title":"Efficient and Complete Demo Predicates for Definite Clause Languages","author":"H. Christiansen","year":"1994","unstructured":"Christiansen, H., Efficient and Complete Demo Predicates for Definite Clause Languages, in: P. Van Hentenryck (ed.), Logic Programming: Proc. 11th Intl. Conf., MIT Press, Cambridge, Mass., 1994."},{"key":"17_CR14","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"Clark, K. L., Negation as Failure, in: H. Gallaire and J. Minker (eds.), Logic and Data Bases, Plenum Press, New York, 1978."},{"key":"17_CR15","volume-title":"Technical report","author":"A. Colmerauer","year":"1972","unstructured":"Colmerauer, A., Kanoui, H., Pasero, R. and Roussel, P., Un Syst\u00e8me de Communication Homme-Machine en Fran\u00c7ais, Technical report, Groupe de Recherche en Intelligence Artificielle, Univ. d'Aix-Marseille, Luminy, 1972."},{"key":"17_CR16","volume-title":"Analogical Reasoning in Reflective Prolog","author":"S. Costantini","year":"1989","unstructured":"Costantini, S. and Lanzarone, G. A., Analogical Reasoning in Reflective Prolog, in: A. A. Martino (ed.), Pre-Proc. 3rd Intl. Conf. on Logica Informatica Diritto, Istituto per la documentazione giuridica, Florence, 1989."},{"key":"17_CR17","series-title":"LNCS 649","volume-title":"Meta-Programming in Logic","author":"S. Costantini","year":"1992","unstructured":"Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Reflective Agents in Metalogic Programming, in: A. Pettorossi (ed.), Meta-Programming in Logic, LNCS 649, Springer-Verlag, Berlin, 1992."},{"key":"17_CR18","volume-title":"A Metalogic Programming Language","author":"S. Costantini","year":"1989","unstructured":"Costantini, S. and Lanzarone, G. A., A Metalogic Programming Language, in: G. Levi and M. Martelli (eds.), Proc. 6th Intl. Conf. on Logic Programming, MIT Press, Cambridge, Mass., 1989."},{"key":"17_CR19","volume-title":"Ph.D. Thesis","author":"K. Eshghi","year":"1986","unstructured":"Eshghi, K., Meta-Language in Logic Programming, Ph.D. Thesis, Dept. of Computing, Imperial College, London, 1986."},{"key":"17_CR20","volume-title":"The G\u00f6del Programming Language","author":"P. M. Hill","year":"1994","unstructured":"Hill, P. M. and Lloyd, J. W., The G\u00f6del Programming Language, MIT Press, Cambridge, Mass., 1994."},{"key":"17_CR21","unstructured":"Kim, J. S. and Kowalski, R. A., An Application of Amalgamated Logic to Multi-Agent Belief, in: M. Bruynooghe (ed.), Proc. Second Workshop on Meta-Programming in Logic, Dept. of Comp. Sci., Katholieke Univ. Leuven, 1990."},{"key":"17_CR22","unstructured":"Kowalski, R. A., Meta Matters, invited presentation at Second Workshop on Meta-Programming in Logic, 1990."},{"key":"17_CR23","volume-title":"Computational Logic","author":"R. A. Kowalski","year":"1990","unstructured":"Kowalski, R. A., Problems and Promises of Computational Logic, in: J. W. Lloyd (ed.), Computational Logic, Springer-Verlag, Berlin, 1990."},{"key":"17_CR24","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":"17_CR25","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A., A Machine-oriented Logic Based on the Resolution Principle, J. ACM, 12:23\u201341 (1965).","journal-title":"J. ACM"},{"key":"17_CR26","volume-title":"Meta-Programming through a Truth Predicate","author":"T. Sato","year":"1992","unstructured":"Sato, T., Meta-Programming through a Truth Predicate, in: K. Apt (ed.), Proc. Joint Intl. Conf. Symp. on Logic Programming 1992, MIT Press, Cambridge, Mass., 1992."},{"key":"17_CR27","volume-title":"Handbook of Mathematical Logic","author":"C. Smorynski","year":"1977","unstructured":"Smorynski, C., The Incompleteness Theorems, in: J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977."},{"key":"17_CR28","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R. W. Weyhrauch","year":"1980","unstructured":"Weyhrauch, R. W., Prolegomena to a Theory of Mechanized Formal Reasoning, Artificial Intelligence, 13:133\u201370 (1980).","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_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:20:18Z","timestamp":1619572818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58792-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587927","9783540491040"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-58792-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}