{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T17:53:25Z","timestamp":1759773205186},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649939"},{"type":"electronic","value":"9783540497936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057444","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T04:47:47Z","timestamp":1154321267000},"page":"181-194","source":"Crossref","is-referenced-by-count":1,"title":["Theories and proofs in fault diagnosis"],"prefix":"10.1007","author":[{"given":"Ilyas","family":"Cicekli","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,6,27]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren's Abstract Machine: A Tutorial Reconstruction","author":"H. A\u00cft-Kaci","year":"1991","unstructured":"A\u00cft-Kaci, H., Warren's Abstract Machine: A Tutorial Reconstruction, The MIT Press, Cambridge, 1991."},{"key":"15_CR2","unstructured":"Attardi, G., and Simi, M., Metalanguage and Reasoning Across Viewpoints, in: Proc. of the 6th ECAI, Pisa, Italy, 1984."},{"key":"15_CR3","first-page":"153","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: Logic Programming, Clark, K., and Tarnlund, S.-A. (eds.), Academic Press, London, 1982, pp. 153\u2013173."},{"key":"15_CR4","unstructured":"Bowen, K.A., and Weinberg, W., A Meta-Level Extension of Prolog, in: Proc. of the 1985 Symp. on Logic Programming, IEEE Computer Society Press, 1985, pp. 48\u201353."},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/BF03037077","volume":"3","author":"K.A. Bowen","year":"1985","unstructured":"Bowen, K.A., A Meta-Level Programming and Knowledge Representation, New Generation Computing 3:359\u2013383, 1985.","journal-title":"New Generation Computing"},{"key":"15_CR6","volume-title":"PROLOG Programming For Artificial Intelligence","author":"I. Bratko","year":"1990","unstructured":"Bratko, I., PROLOG Programming For Artificial Intelligence, 2nd Edition, Addison-Wesley, New York, 1990.","edition":"2nd Edition"},{"key":"15_CR7","first-page":"417","volume-title":"Meta-Programming in Logic Programming","author":"I. Cicekli","year":"1989","unstructured":"Cicekli, I., Design and Implementation of An Abstract MetaProlog Engine for MetaProlog, in: Meta-Programming in Logic Programming, Abramson, H., and Rogers, M.H. (eds.), The MIT Press, Cambridge, 1989, pp. 417\u2013434."},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0743-1066(97)00075-7","volume":"34","author":"I. Cicekli","year":"1998","unstructured":"Cicekli, I., Abstract MetaProlog Engine, Journal of Logic Programming 34(3):169\u2013200, 1998.","journal-title":"Journal of Logic Programming"},{"key":"15_CR9","unstructured":"Eshghi, K., Application of Meta-Language Programming to Fault Finding in Logic Circuits, in: Proc. of the 1st Int. Conf. on Logic Programming, Marseille, 1982."},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(92)90011-Q","volume":"14","author":"E. Lamma","year":"1992","unstructured":"Lamma, E., Mello, P., and Natali, A., An Extended Warren Abstract Machine for The Execution of Structured Logic Programs, Journal of Logic Programming 14:187\u2013222, 1992.","journal-title":"Journal of Logic Programming"},{"key":"15_CR11","unstructured":"Montiero, L., and Porto, A., Contextual Logic Programming, in: Proc. of the 6th Int. Conf. on Logic Programming, The MIT Press, 1989, pp. 284\u2013302."},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0743-1066(95)00037-K","volume":"25","author":"G. Nadathur","year":"1995","unstructured":"Nadathur, G., Jayaraman, B., and Kwon, K., Scoping Constructs in Logic Programming: Implementation Problems and Their Solution, Journal of Logic Programming 25:119\u2013161, 1995.","journal-title":"Journal of Logic Programming"},{"key":"15_CR13","unstructured":"des Rivieres, J., Meta-Level Facilities in Logic-Based Computational Systems, in: Proc. of The Workshop on Meta-Level Architectures and Reflection, Alghero-Sardinia, Italy, 1986."},{"key":"15_CR14","first-page":"166","volume-title":"Concurrent Prolog, Vol 2","author":"M. Safra","year":"1987","unstructured":"Safra, M. and Shapiro, E., Meta-Interpreters for Real, in: Concurrent Prolog, Vol 2, Shapiro, E. (ed.), The MIT Press, Cambridge, 1987, pp. 166\u2013179."},{"key":"15_CR15","unstructured":"Sterling, L.S., Meta-Interpreters: The Flavors of Logic Programming?, in: Proc. of Workshop on Deductive Databases and Logic Programming, Washington D.C., 1986, pp. 163\u2013175."},{"key":"15_CR16","unstructured":"Sterling, L.S., A Meta-Level Architecture for Expert System, in: Meta-Level Architectures and Reflection, Maes, R., and Nardi, D. (eds.), North Holland, 1988."},{"key":"15_CR17","unstructured":"Warren, D.H.D., An Abstract Prolog Instruction Set, SRI Technical Report 309, 1983."},{"key":"15_CR18","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\u2013170, 1980.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T18:00:06Z","timestamp":1587146406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649939","9783540497936"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0057444","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}