{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T14:40:31Z","timestamp":1737211231233,"version":"3.33.0"},"reference-count":39,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1994,7]]},"DOI":"10.1080\/09528139408953789","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T13:49:08Z","timestamp":1183816148000},"page":"239-287","source":"Crossref","is-referenced-by-count":11,"title":["A metalogic programming approach: language, semantics and applications"],"prefix":"10.1080","volume":"6","author":[{"given":"STEFANIA","family":"COSTANTIN\u00cd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GAETANO AURELIO","family":"LANZARONE","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"volume-title":"Proceedings of the First International Workshop Bristol","year":"1989","author":"Abramson H. D.","key":"CIT0001"},{"key":"CIT0002","first-page":"1304","volume-title":"Proceedings of the IEEE","volume":"74","author":"Aiello L.","year":"1986"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90004-L"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-4613-1641-1_1","volume-title":"Machine Learning, Meta-reasoning and Logics","author":"Benjamin P.","year":"1990"},{"key":"CIT0005","first-page":"465","volume-title":"Logic Programming. Proceedings of the 1990 North-American Conference","author":"Bol R. N.","year":"1990"},{"key":"CIT0006","first-page":"153","volume-title":"Logic Programming","author":"Bowen K. A.","year":"1982"},{"key":"CIT0007","first-page":"48","volume-title":"Proceedings of the 1985 Symposium on Logic Programming","author":"Bowen K. A.","year":"1985"},{"volume-title":"Proceedings of the 2nd Workshop on Metaprogramming in Logic (Meta90)","year":"1990","author":"Bruynooghe M.","key":"CIT0008"},{"volume-title":"Introduction to Symbolic Logic and its Applications","year":"1958","author":"Carnap R.","key":"CIT0009"},{"volume-title":"Proceedings of the 1989 North-American Conference on Logic Programming","year":"1989","author":"Chen W.","key":"CIT0010"},{"key":"CIT0011","first-page":"649","volume-title":"Proceedings of the Third International Workshop on Metaprogramming in Logic (Meta92). In Lecture Notes in Artificial Intelligence","author":"Costantini S.","year":"1992"},{"key":"CIT0012","first-page":"41","volume-title":"Computational Intelligence I. Proceedings ofComputational Intelligence '88","author":"Costantini S.","year":"1988"},{"key":"CIT0013","first-page":"218","volume-title":"Logic Programming. Proceedings of the Sixth International Conference","author":"Castantini S.","year":"1989"},{"key":"CIT0014","first-page":"19","volume-title":"Abstract in Proceedings of the Workshop on Logic Programming and Non-Monotonic Reasoning","author":"Costantini S.","year":"1990"},{"key":"CIT0015","first-page":"133","volume-title":"Expert Systems in Law","author":"Costantini S.","year":"1992"},{"key":"CIT0016","first-page":"259","volume-title":"Proceedings of the Sixth Italian Conference on Logic Programming","author":"Costantini S.","year":"1991"},{"key":"CIT0017","first-page":"195","volume-title":"Proceedings of the 9th European Conference on Artificial Intelligence","author":"Davies N.","year":"1990"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1145\/359080.359090"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"259","DOI":"10.2307\/2964649","volume":"27","author":"Feferman S.","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0020","first-page":"23","volume-title":"Meta-programming in Logic Programming","author":"Hill P. M.","year":"1988"},{"key":"CIT0021","unstructured":"Hill , P. M. and Lloyd , J. W. 1991 The Godel Report. TR-91-02. Department of Computer Science , University of Bristol ."},{"volume-title":"Logic for Problem Solving","year":"1979","author":"Kowalski R. A.","key":"CIT0022"},{"key":"CIT0023","first-page":"514","volume-title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence I","author":"Kornfeld W.","year":"1983"},{"key":"CIT0024","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd J. W.","year":"1987"},{"key":"CIT0025","first-page":"810","volume-title":"Logic Programming. Proceedings of the Third International Conference and Symposium I","author":"Miller D.","year":"1988"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90075-X"},{"key":"CIT0027","first-page":"37","volume-title":"Meta-level Architectures and Reflection","author":"Perils D.","year":"1988"},{"key":"CIT0028","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2004.001.0001","volume-title":"Computation and Cognition","author":"Pylyshym Z. W.","year":"1984"},{"volume-title":"Clausal Form Logic-An Introduction to the Logic of Computer Reasoning","year":"1989","author":"Richards T.","key":"CIT0029"},{"volume-title":"Mathematical Logic and Formalized Theories","year":"1971","author":"Rogers R.","key":"CIT0030"},{"key":"CIT0031","first-page":"1354","volume-title":"Proceedings of the IEEE","volume":"74","author":"Shapiro S. C.","year":"1986"},{"key":"CIT0032","doi-asserted-by":"crossref","unstructured":"Smith , B. C. 1984 Reflection and Semantics in Lisp . Xerox Pare ISL-5 . Palo Alto ( CA ) .","DOI":"10.1145\/800017.800513"},{"volume-title":"The Art of PROLOG-Advanced Programming Techniques","year":"1986","author":"Sterling L.","key":"CIT0033"},{"key":"CIT0034","first-page":"65","volume-title":"M eta-programming in Logic Programming","author":"Subrahmanian V. S.","year":"1988"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932293"},{"volume-title":"Introduction to Logic, and to the Methodology of Deductive Sciences 3rd edition","year":"1965","author":"Tarski A.","key":"CIT0036"},{"key":"CIT0037","first-page":"13","volume-title":"Logic-based Knowledge Representation","author":"van Harmelen F.","year":"1989"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90015-6"},{"key":"CIT0039","unstructured":"Yalcinap , L. U. 1991 Meta-Programming for Knowledge Based Systems in Prolog . PhD thesis TR 91-141. Department of Computer Engineering and Science , Case Western Reserve University ."}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528139408953789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T14:12:49Z","timestamp":1737209569000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528139408953789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["10.1080\/09528139408953789"],"URL":"https:\/\/doi.org\/10.1080\/09528139408953789","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"type":"print","value":"0952-813X"},{"type":"electronic","value":"1362-3079"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}