{"id":368,"date":"2019-01-24T14:28:23","date_gmt":"2019-01-24T13:28:23","guid":{"rendered":"http:\/\/www.iiia.csic.es\/~sierra\/wp\/?page_id=368"},"modified":"2019-01-24T14:51:56","modified_gmt":"2019-01-24T13:51:56","slug":"tecnicas-avanzadas-de-programacion-in-spanish","status":"publish","type":"page","link":"https:\/\/www.iiia.csic.es\/~sierra\/slides-and-videos\/tecnicas-avanzadas-de-programacion-in-spanish\/","title":{"rendered":"T\u00e9cnicas Avanzadas de Programaci\u00f3n (In Spanish)"},"content":{"rendered":"\n<h3 class=\"wp-block-heading\">Academic Year 1999\/2000. Given at UPC.<br><\/h3>\n\n\n\n<h2 class=\"wp-block-heading\">Transparencias<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Lisp.pdf\"> Introduccion a LISP<\/a><\/li><li><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/slides\/TAPIA\/Introduccion.ps.gz\"> <\/a><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Introduccion.pdf\">Introduccion<\/a><\/li><li> <a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/ia.pdf\">programacion en IA<\/a><\/li><li><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/slides\/TAPIA\/Currying.ps.gz\"> <\/a><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Currying.pdf\">Currificacion<\/a><\/li><li><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/slides\/TAPIA\/Continuaciones.ps.gz\"> <\/a><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Continuaciones.pdf\">Continuaciones<\/a><\/li><li><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/slides\/TAPIA\/Streams.ps.gz\"> <\/a><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Streams.pdf\">Streams<\/a><\/li><li><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Modularidad.pdf\"> Modularidad y estado<\/a><\/li><li><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/slides\/TAPIA\/Objetos.ps.gz\"> <\/a><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Objetos.pdf\">Objetos<\/a><\/li><li><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/slides\/TAPIA\/Reflexion.ps.gz\"> <\/a><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Reflexion.pdf\">Reflexion<\/a><\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Materiales del curso<\/h2>\n\n\n\n<p><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Practicas.pdf\">Practicas<\/a><br><br><a href=\"http:\/\/www.iiia.csic.es\/~sierra\/wp\/wp-content\/uploads\/2019\/01\/Problemas.pdf\">Problemas<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><strong>Bibliograf\u00eda <\/strong><\/h2>\n\n\n\n<p>Abelson G., Sussman G., Sussman J. (1984): <em>Structure and Interpretation of Computer Programs<\/em>, The MIT Press.<\/p>\n\n\n\n<p>Agha G. (1986): <em>ACTORS, A model of Concurrent computation in distributed systems<\/em>, The MIT Press.<\/p>\n\n\n\n<p>Charniak E., Riesbeck C. K., McDermott D. V., Meehan J. R. (1987): <em>Artificial Intelligence Programming<\/em>, Lawrence Erlbaum Associates Publishers.<\/p>\n\n\n\n<p>Field A. J., Harrison P. G. (1988): <em>Functional Programming<\/em>, International Computer Science Series, Addison Wesley.<\/p>\n\n\n\n<p>Langton C. (ed) (1989): <em>Artificial Life<\/em>, Addison Wesley.<\/p>\n\n\n\n<p>Shapiro E. (1987): <em>Concurrent Prolog<\/em>, Vol 1,2, The MIT Press.<\/p>\n\n\n\n<p>Springer G., Friedman D. (1989): <em>Scheme and the Art of Programming<\/em>, McGraw Hill.<\/p>\n\n\n\n<p>Winston H. (1990): <em>Artificial Intelligence at MIT. Expanding Frontiers<\/em>, The MIT Press.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>Bibliograf\u00eda sobre Reflexi\u00f3n &nbsp;<\/strong><\/h4>\n\n\n\n<p>Barlett S. J., Suber P. (eds) (1987): Self-reference. Reflecions on Reflexivity, Martinus Nijhoff Philosophy Library, vol. 21<\/p>\n\n\n\n<p>Davis, R. (1980): &#8220;Reasoning about Control&#8221;, <em>Artificial Intelligence<\/em> , 15,3,pp.179-222.<\/p>\n\n\n\n<p>Giunchiglia F., Smaill A. (1988): &#8220;Reflection in \nConstructive and Non-constructive Automated Reasoning&#8221;, DAI Research \nPaper N 375, Edinburgh.<\/p>\n\n\n\n<p>Giunchiglia F., Traverso P. (1990): &#8220;Plan Formation \nand Execution in an Uniform Architecture of Declarative Metatheories&#8221;, \nIRST-Technical Report #9003-12, Trento.<\/p>\n\n\n\n<p>Giunchiglia F., Traverso P. (1990): &#8220;Reflective \nReasoning with and between a Declarative Metatheory and the \nImplementation Code&#8221;, IRST-Technical Report #9012-03, Trento.<\/p>\n\n\n\n<p>Maes P., Nardi  N. (eds) (1988) : <em>Meta-level Architectures and Reflection, <\/em>P. Maes and N. Nardi editores, North-Holland<\/p>\n\n\n\n<p>Maes, P.(1987): &#8220;Computational Reflection&#8221;, Tesis Doctoral. Laboratorio de Inteligencia Artificial , Vrije Universiteit Brussel.<\/p>\n\n\n\n<p>Pitrat, J. (1987): &#8220;Le futur de l\u00b4Intelligence \nartificielle. Les metaconnaissances&#8221;, Revue d\u00b4intelligence artificielle,\n 1, 4, pp.69-88.<\/p>\n\n\n\n<p>Rosenbloom, P. Laird,J.Newell,A. (1988): &#8220;Metalevels in SOAR&#8221;in <em>Meta-level Architectures and Reflection,<\/em>P. Maes and D. Nardi editores.  North-Holland, 1988.<\/p>\n\n\n\n<p>Tan Yao-Hua (1992): &#8220;BMS &#8211; a meta-level approach to non-monotonic reasoning&#8221;, a <em>Non-monotonic Reasoning and Partial Semantics<\/em>, Ellis Horwood Series in Artificial Intelligence, pp 107-155, to appear.<\/p>\n\n\n\n<p>Weyhrauch,R.(1980): &#8220;Prolegomena to a Theory  Mechanized Formal Reasoning&#8221;,Artificial Intelligence, Vol 13 No. 1,2  ,North Holland. Amsterdam.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>Bibliograf\u00eda sobre Metaprogramaci\u00f3n L\u00f3gica y Evaluaci\u00f3n Parcial &nbsp;<\/strong><\/h4>\n\n\n\n<p>Safra S., Shapiro E. (1986): &#8220;Meta-interpreters for Real&#8221;, in <em>Information Processing 86<\/em>, pp. 271-278, Elsevier Science Publ.<\/p>\n\n\n\n<p>Sterling L. (1990): &#8220;A metalevel architecture for expert systems&#8221;, in <em>Meta-Level Architectures and Reflection<\/em>, eds. Maes P. and Nardi D., Elsevier Science Publ., pp. 301-311.<\/p>\n\n\n\n<p>Sterling L., Beer R. D., (1989): &#8220;Metainterpreters for expert system construction&#8221;, in <em>J. of Logic Programming<\/em>, pp. 163-178.<\/p>\n\n\n\n<p>Sterling L., Shapiro E. (1986): <em>The Art of Prolog<\/em>, Chapter 19: Metainterpreters, The MIT Press.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>Bibliograf\u00eda sobre Nuevos Paradigmas<\/strong><\/h4>\n\n\n\n<p>Forrest S. (1990): <em>Emergent Computation<\/em>, MIT\/North-Holland.<\/p>\n\n\n\n<p>Lagton C. G. (1989): <em>Artificial Life<\/em>, Addison-Wesley.<\/p>\n\n\n\n<p>Maes P., Brooks R. (1990): &#8220;Learning to Coordinate Behaviours&#8221;, <em>Proc. AAAI&#8217;90<\/em>.<\/p>\n\n\n\n<p>Meyer J. A., Wilson S. W. (1990): <em>From Animals to Animats<\/em>, MIT Press.<\/p>\n\n\n\n<p>Rumelhart D., McClelland J. (1986): <em>Parallel Distributed Processing<\/em>, MIT Press.<\/p>\n\n\n\n<p>Steels L. (1988): &#8220;Steps towards Common Sense&#8221;, <em>Proc. ECAI&#8217;88<\/em>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Academic Year 1999\/2000. Given at UPC. Transparencias Introduccion a LISP Introduccion programacion en IA Currificacion Continuaciones Streams Modularidad y estado Objetos Reflexion Materiales del curso Practicas Problemas Bibliograf\u00eda 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 &hellip; <a href=\"https:\/\/www.iiia.csic.es\/~sierra\/slides-and-videos\/tecnicas-avanzadas-de-programacion-in-spanish\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;T\u00e9cnicas Avanzadas de Programaci\u00f3n (In Spanish)&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":69,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-368","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/pages\/368","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/comments?post=368"}],"version-history":[{"count":6,"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/pages\/368\/revisions"}],"predecessor-version":[{"id":385,"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/pages\/368\/revisions\/385"}],"up":[{"embeddable":true,"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/pages\/69"}],"wp:attachment":[{"href":"https:\/\/www.iiia.csic.es\/~sierra\/wp-json\/wp\/v2\/media?parent=368"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}