Preview
Unable to display preview. Download preview PDF.
References
Costantini S., Lanzarone G.A., A Metalogic Programming Language, in: Levi G., Martelli M. (eds.), Logic Programming, MIT Press, 1989, pp. 218–233.
Costantini S., Lanzarone G.A., A Metalogic Programming Approach: Language, Semantics and Applications, submitted paper.
Darden L., Rada R., Hypothesis Formation via Interrelations, in: [Pri88].
Davies T.R., Russel S.J., A Logical Approach to Reasoning by Analogy, Procs. of Tenth IJCAI, Morgan Kaufmann, 1987, vol I, 264–270.
Gentner D., Analogical Inference and Analogical Access, in: [Pri88], 63–88
Goebel R., A Sketch of Analogy as Reasoning with Equality Hypotheses, in: [Jan89], 243–253.
Greiner R., Learning by Understanding Analogies, AI 35, 1988, 81–125.
Hall R.P. Computational Approaches to Analogical Reasoning: A Comparative Analysis, AI 39, 1989, 39–120.
Indurkhya B., Constrained Semantic Transference: A Formal Theory of Metaphors, in: [Pri88], 129–157.
Jantke K.P. (ed.), Analogy and Inductive Inference, Lecture Notes in Artificial Intelligence n. 397, 1989.
Kerber M., Some Aspects of Analogy in Mathematical Reasoning, in: [Jan89].
Leishman D., An Annotated Bibliography of Works on Analogy, Int. Journal of Intelligent Systems, vol.5, 1990, 43–81.
McCarthy J., First Order Theories of Individual Concepts and Propositions, in: Machine Intelligence n.9.
Prieditis A. (ed.), Analogica, Pitman, 1988.
Russel S.J., The Use of Knowledge in Analogy and Induction, Pitman, 1989
Winston P.H., Learning and Reasoning by Analogy, CACM 23 1980, 689–703.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costantini, S., Lanzarone, G.A. (1991). Metalevel representation of analogical inference. In: Ardizzone, E., Gaglio, S., Sorbello, F. (eds) Trends in Artificial Intelligence. AI*IA 1991. Lecture Notes in Computer Science, vol 549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54712-6_262
Download citation
DOI: https://doi.org/10.1007/3-540-54712-6_262
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54712-9
Online ISBN: 978-3-540-46443-3
eBook Packages: Springer Book Archive