{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:44Z","timestamp":1725455684081},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540583327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021987","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T01:17:26Z","timestamp":1131844646000},"page":"400-413","source":"Crossref","is-referenced-by-count":3,"title":["Extending Horn clause theories by reflection principles"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierangelo","family":"Dell'Acqua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaetano A.","family":"Lanzarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"H. D. Abramson, M. H. Rogers (eds). Meta-Programming in Logic Programming. The MIT Press, 1989."},{"key":"27_CR2","unstructured":"J. Barklund, S. Costantini, P. Dell'Acqua, and G. A. Lanzarone. Reflection through Constraint Satisfaction. Submitted paper."},{"key":"27_CR3","unstructured":"K. A. Bowen, R. A. Kowalski. Amalgamating Language and Metalanguage. in: K. L. Clark and S.-\u00c5 Tarnlund (eds.), Logic Programming, Academic Press, 1982."},{"volume-title":"Proceedings of the 2nd Workshop on Metaprogramming in Logic","year":"1990","key":"27_CR4","unstructured":"M. Bruynooghe (ed.). Proceedings of the 2nd Workshop on Metaprogramming in Logic. Leuven (Belgium), April 4\u20136 1990."},{"key":"27_CR5","unstructured":"S. Costantini, G. A. Lanzarone. A Metalogic Programming Approach: Language, Semantics and Applications. Journal of Experimental and Theoretical Artificial Intelligence 1(1993). Extended Abstract in: G. Levi and A. Martelli (eds.) Logic Programming, Proceedings of the Sixth International Conference, The Mit Press, 1989."},{"key":"27_CR6","unstructured":"S. Costantini, G. A. Lanzarone. Metalevel Negation in Non-Monotonic Reasoning. To appear on the Journal of Methods of Logic in Computer Science. Extended Abstract in: Proceedings of the Workshop on Logic Programming and Non-Monotonic Reasoning, Austin, TX, November 1\u20132, 1990."},{"key":"27_CR7","unstructured":"S. Costantini, G. A. Lanzarone, and L. Sbarbaro. A Formal Definition and a Sound Implementation of Analogical Reasoning in Logic Programming. To appear on the Annals of Mathematics and Artificial Intelligence."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"S. Costantini, P. Dell'Acqua, and G. A. Lanzarone. Reflective Agents in Metalogic Programming. in: A. Pettorossi (ed.) Meta-Programming in Logic. Lecture Notes in Computer Science 649, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56282-6_9"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"S. Feferman. Transfinite Recursive Progressions of Axiomatic Theories. Journal of Symbolic Logic vol. 27, n. 3, 1962.","DOI":"10.2307\/2964649"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"M. Haraguchi, S. Arikawa. Reasoning by Analogy as a Partial Identity between Models. in: K. P. Jantke (ed.), Analogical and Inductive Inference. Lecture Notes in Computer Science n. 265, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18081-8_86"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"R. A. Kowalski. Problems and Promises of Computational Logic. in: J. W. Lloyd (ed.), Computational Logic: Symposium Proceedings. Springer-Verlag 1990.","DOI":"10.1007\/978-3-642-76274-1_1"},{"key":"27_CR12","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":"J. W. Lloyd. Foundations of Logic Programming (Second, Extended Edition). Springer-Verlag, Berlin, 1987.","edition":"Second, Extende"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"P. Winston. Learning and Reasoning by Analogy. Communication of the Association for Computing Machinery, 23 (12), December 1980.","DOI":"10.1145\/359038.359042"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021987.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:47:27Z","timestamp":1607532447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540583327"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0021987","relation":{},"subject":[]}}