Técnicas Avanzadas de Programación (In Spanish)

Academic Year 1999/2000. Given at UPC.

Transparencias

Materiales del curso

Practicas

Problemas

Bibliografía

Abelson G., Sussman G., Sussman J. (1984): Structure and Interpretation of Computer Programs, The MIT Press.

Agha G. (1986): ACTORS, A model of Concurrent computation in distributed systems, The MIT Press.

Charniak E., Riesbeck C. K., McDermott D. V., Meehan J. R. (1987): Artificial Intelligence Programming, Lawrence Erlbaum Associates Publishers.

Field A. J., Harrison P. G. (1988): Functional Programming, International Computer Science Series, Addison Wesley.

Langton C. (ed) (1989): Artificial Life, Addison Wesley.

Shapiro E. (1987): Concurrent Prolog, Vol 1,2, The MIT Press.

Springer G., Friedman D. (1989): Scheme and the Art of Programming, McGraw Hill.

Winston H. (1990): Artificial Intelligence at MIT. Expanding Frontiers, The MIT Press.

Bibliografía sobre Reflexión  

Barlett S. J., Suber P. (eds) (1987): Self-reference. Reflecions on Reflexivity, Martinus Nijhoff Philosophy Library, vol. 21

Davis, R. (1980): “Reasoning about Control”, Artificial Intelligence , 15,3,pp.179-222.

Giunchiglia F., Smaill A. (1988): “Reflection in Constructive and Non-constructive Automated Reasoning”, DAI Research Paper N 375, Edinburgh.

Giunchiglia F., Traverso P. (1990): “Plan Formation and Execution in an Uniform Architecture of Declarative Metatheories”, IRST-Technical Report #9003-12, Trento.

Giunchiglia F., Traverso P. (1990): “Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code”, IRST-Technical Report #9012-03, Trento.

Maes P., Nardi N. (eds) (1988) : Meta-level Architectures and Reflection, P. Maes and N. Nardi editores, North-Holland

Maes, P.(1987): “Computational Reflection”, Tesis Doctoral. Laboratorio de Inteligencia Artificial , Vrije Universiteit Brussel.

Pitrat, J. (1987): “Le futur de l´Intelligence artificielle. Les metaconnaissances”, Revue d´intelligence artificielle, 1, 4, pp.69-88.

Rosenbloom, P. Laird,J.Newell,A. (1988): “Metalevels in SOAR”in Meta-level Architectures and Reflection,P. Maes and D. Nardi editores. North-Holland, 1988.

Tan Yao-Hua (1992): “BMS – a meta-level approach to non-monotonic reasoning”, a Non-monotonic Reasoning and Partial Semantics, Ellis Horwood Series in Artificial Intelligence, pp 107-155, to appear.

Weyhrauch,R.(1980): “Prolegomena to a Theory Mechanized Formal Reasoning”,Artificial Intelligence, Vol 13 No. 1,2 ,North Holland. Amsterdam.

Bibliografía sobre Metaprogramación Lógica y Evaluación Parcial  

Safra S., Shapiro E. (1986): “Meta-interpreters for Real”, in Information Processing 86, pp. 271-278, Elsevier Science Publ.

Sterling L. (1990): “A metalevel architecture for expert systems”, in Meta-Level Architectures and Reflection, eds. Maes P. and Nardi D., Elsevier Science Publ., pp. 301-311.

Sterling L., Beer R. D., (1989): “Metainterpreters for expert system construction”, in J. of Logic Programming, pp. 163-178.

Sterling L., Shapiro E. (1986): The Art of Prolog, Chapter 19: Metainterpreters, The MIT Press.

Bibliografía sobre Nuevos Paradigmas

Forrest S. (1990): Emergent Computation, MIT/North-Holland.

Lagton C. G. (1989): Artificial Life, Addison-Wesley.

Maes P., Brooks R. (1990): “Learning to Coordinate Behaviours”, Proc. AAAI’90.

Meyer J. A., Wilson S. W. (1990): From Animals to Animats, MIT Press.

Rumelhart D., McClelland J. (1986): Parallel Distributed Processing, MIT Press.

Steels L. (1988): “Steps towards Common Sense”, Proc. ECAI’88.