Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Berge, C. "Théorie des Graphes et Ses Applications. Dunod, Paris, 1958.
Coray G. "Additive Features in Positional Games". ORME-IP-IRIA-NATO, Nato Advanced Study Institute on "Computer oriented learning, processes, Procédures informatique d'apprentissage". Bonas (Gers), France, August-September, 1974. Imprimé en France, IRIA, Domaine de Voluceau.
Ginzburg, A. "Algebraic Theory of Automata". Academic Press. Inc. New York. 1968.
Guida G., Mandrioli D., Paci A., and Somalvico M. "A Formal Framework for an Unitary Approach to the Theory of Problem-Solving". Proceedings IIASA Workshop on Artificial Intelligence-Question Answering Systems. Laxenburg Schloss, Austria. June, 1975.
Hartmanis, J. and Stearns, R.E. "Algebraic Structure Theory of Sequential Machines". Prentice-Hall, "Inc. Englewood Cliffs, N.Y. 1966.
Nilsson, N.J. "Problem-Solving Methods in Artificial Intelligence" Mc Graw-Hill Book Company, New York. 1971
Pohl, I. "Bi-Directional and Heuristic Search in Path Problems". SLAC Report N. 104. Stanford Linear Accelerator Center. Stanford University. Stanford, California, May, 1969.
Sangiovanni Vincentelli, A. and Somalvico M. "State-Space Approach in Problem-Solving Optimization". Politecnico di Milano. Istituto di Elettrotecnica ed Elettronica. Laboratorio di Calcolatori. Relazione Interna n. 73-15. MEMO-MP-AIM-12. May, 1973.
Minker J., and Vanderburg G.J. "State-Space, Problem-Reduction, and Theorem Proving-Some Relationships", Communication of the ACM, February 1975, Volume 18, Number 2, pp. 107–115.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guida, G., Mandrioli, D., Paci, A., Somalvico, M. (1976). An integrated theory of problems as an algebraic base for complexity understanding and automatic problem solving. In: Cea, J. (eds) Optimization Techniques Modeling and Optimization in the Service of Man Part 2. Optimization Techniques 1975. Lecture Notes in Computer Science, vol 41. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07623-9_283
Download citation
DOI: https://doi.org/10.1007/3-540-07623-9_283
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07623-0
Online ISBN: 978-3-540-38150-1
eBook Packages: Springer Book Archive