ADVANCED PROGRAMMING TECHNIQUES IN ARTIFICIAL INTELLIGENCE
CONTENT:
- Functional programming techniques
- Imperative programming techniques
- Logic programing techniques
- Computational reflection
- Intelligent agents
- Multiagent systems
REQUIREMENTS: Basic Knowledge about LISP and Artificial Inteligence.
Advisors
Bibliography
- 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.
- Barlett S. J., Suber P. (eds) (1987): Self-reference. Reflecions on Reflexivity, Martinus Nijhoff Philosophy Library, vol. 21
- Charniak E., Riesbeck C. K., McDermott D. V., Meehan J. R. (1987): Artificial Intelligence Programming, Lawrence
Erlbaum Associates Publishers.
- Davis, R. (1980): "Reasoning about Control", Artificial Intelligence , 15,3,pp.179-222.
- Field A. J., Harrison P. G. (1988): Functional Programming, International Computer Science Series, Addison Wesley.
- Giunchiglia F., Smaill A. (1988): "Reflection in Constructive and Non-constructive Automated Reasoning", DAI Research Paper N 375, Edinburgh.
- Giunchiglia F., Traverso P. (1990): "Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code", IRST-Technical Report #9012-03, Trento.
- Langton C. (ed) (1989): Artificial Life, Addison Wesley.
- 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.
- Norvig P. (1992): Paradigms of Artificial Intelligence Programming, Morgan Kaufmann.
- 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.
- Springer G., Friedman D. (1989): Scheme and the Art of Programming, McGraw Hill.
- Weyhrauch,R. (1980): "Prolegomena to a Theory Mechanized Formal Reasoning",Artificial Intelligence, Vol 13 No. 1,2. North Holland. Amsterdam.
- Winston H. (1990): Artificial Intelligence at MIT. Expanding Frontiers, The MIT Press.
- Els LNAI sobre agents intel.ligents.