Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bowen, K. A., Reasoning about Programs in Amalgamated Logic, Proceedings of the Prolog Programming Environments Workshop, Linkoping University, Sweden, 1982.
Bowen, K. A. and Kowalski, R. A., Amalgamating Language and Metalanguage in Logic Programming, in Logic Programming, K. L. Clark and S. Tarnlund, (eds.), Academic Press, New York, 1982, 153–173. A.P.I.C. Studies in Data Processing No. 16 (Also available as Technical Report from Syracuse University).
Brazdil, P., Use Of Metalogical Primitives In Communication, Sixth European Conference On Artificial Intelligence, Pisa, September, 1984.
Bundy, A., Meta-Level Inference and Consciousness, DAI Research Paper No 187, Department of Artificial Intelligence, University of Edinburgh, 1983.
Bundy, A., Meta-Level Inference and Consciousness, in The Mind and the Mn chine, S. Torrance, (ed.), Ellis Horwood Publishing, 1984.
Bundy, A., Byrd, L., Luger, G., Mellish, C. S. and Palmer, M. S., Solving Mechanics Problems Using Meta-Level Inference, in Expert Systems in the Microelectronic Age, D. Michie, (ed.), University of Edinburgh, Scotland, 1979, 153–167. Also in Proceedings International Joint Conference on Artificial Intelligence-79 and available as a Edinburgh Research Report.
Bundy, A. and Sterling, L., Meta-Level Inference in Algebra, Research Paper 164, Department of Artificial Intelligence, University of Edinburgh, Scotland, September, 1981. Presented at the Workshop on Logic Programming for Intelligent Systems, Long Beach, California, 1981.
Bundy, A. and Welham, B., Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation, Artificial Intelligence 16, 2 (1981), 189–212. Also in Lecture Notes in Computer Science No. 87 by Springer-Verlag.
Eshgi, K., Application of Meta-Level Programming To Fault Finding In Logic Circuits, Proceedings Of The 1st International Logic Programming Conference, Marseilles, 1982, 240–246.
Gallaire, H. and Lasserre, C., A Control Metalanguage for Logic Programming, Workshop on Logic Programming, Debrecen, Hungary, 1980, 123–132. Also in Logic Programming, Clark and Tarnlund, Academic Press, 1982.
Gallaire, H. and Lasserre, C., Metalevel Control for Logic Programming, Proceedings Logic Programming Workshop, Long Beach, CA, September 1981.
Kellog, C., Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology, Proceedings of the National Conference on Artificial Intelligence, Carnegie-Mellon University, August 1982.
Kowalski, R. A., Logic for Problem Solving, Elsevier North-Holland, New-York, 1979.
Kowalski, R. A., The Use of Metalanguage to Assemble Object Level Programs and Abstract Programs, Proceedings of the Prolog Programming Environments Workshop, Linkoping University, Sweden, 1982.
Kurnfun, S., Asou, M., Takeuchi, A., Miyachi, T., Krrakami, H., Yokota, H., Yasakuwa, H. and Furukawa, K., Amalgamation of Object Knowledge and Meta Knowledge by Prolog and Its Applications, Knowledge Engineering and Artificial Intelligence Working Group of the Information Processing Society of Japan, June, 1983. preprint 30–1, TR009.
Sterling, L., IMPRESS - Meta-Level Concepts in Theorem Proving, DAI Research Paper No 119, Department of Artificial Intelligence, University of Edinburgh, 1983.
Sterling, L., Implementing Problem-Solving Strategies Using theMeta-level, Proceedings of the Jerusalem Conference In Information Technology,Jerusalem, Israel, 1984. Also available from Edinburgh as Research Paper 185.
Sterling, L., Logical Levels of Problem Solving, Proceedings of the Second International Logic Programming Conference, S. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 231–242.
Sterling, L. and Bundy, A., Meta-Level Inference and Program Verification, in Lecture Notes in Computer Science 188: 6th Conference on Automated Deduction, D. W. Loveland, (ed.), Springer-Verlag, 1982, 144–150. Also available from Edinburgh as DAI Research Paper no. 168.
Weyrauch, R. W., Proglomena to a Theory of Mechanized Formal Reasoning, Artificial Intelligence 18, (1980).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Isaac Balbin and Koenraad Lecot
About this chapter
Cite this chapter
Balbin, I., Lecot, K. (1985). Amalgamation of Object and Meta Level. In: Logic Programming. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-5044-3_19
Download citation
DOI: https://doi.org/10.1007/978-94-009-5044-3_19
Publisher Name: Springer, Dordrecht
Print ISBN: 978-0-908069-15-6
Online ISBN: 978-94-009-5044-3
eBook Packages: Springer Book Archive