An integrated theory of problems as an algebraic base for complexity understanding and automatic problem solving

  • Giovanni Guida
  • Dino Mandrioli
  • Amedo Paci
  • Marco Somalvico
Computational Techniques
Part of the Lecture Notes in Computer Science book series (LNCS, volume 41)


Basic Definition Control Information Extended Problem Reduction Problem Semantic Domain 
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.


  1. 1.
    Berge, C. "Théorie des Graphes et Ses Applications. Dunod, Paris, 1958.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    Ginzburg, A. "Algebraic Theory of Automata". Academic Press. Inc. New York. 1968.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    Hartmanis, J. and Stearns, R.E. "Algebraic Structure Theory of Sequential Machines". Prentice-Hall, "Inc. Englewood Cliffs, N.Y. 1966.Google Scholar
  6. 6.
    Nilsson, N.J. "Problem-Solving Methods in Artificial Intelligence" Mc Graw-Hill Book Company, New York. 1971Google Scholar
  7. 7.
    Pohl, I. "Bi-Directional and Heuristic Search in Path Problems". SLAC Report N. 104. Stanford Linear Accelerator Center. Stanford University. Stanford, California, May, 1969.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Giovanni Guida
    • 1
  • Dino Mandrioli
    • 1
  • Amedo Paci
    • 1
  • Marco Somalvico
    • 1
  1. 1.Milan Polytechnic Artificial Intelligence Project - MP-AI ProjectMilanItaly

Personalised recommendations