Courses and Talks

Talks associated with conference papers are to be found in section Publications

Talk recordings sound tools:    Audio reader for Windows    URL for audio readers    Audio formats conversion tool 

 

 

T. A. Han, L. M. Pereira, F. C. Santos, T. Lenaerts, Evolution of commitments in two-player and multi-player strategic scenarios, Computational Modeling Lab (COMO), Artificial Intelligence Lab, Computer Science Department, Vrije Universiteit Brussel, Brussels, 3 April 2014.

 

L. M. Pereira, Why is it so hard to say sorry: Evolution of apology with commitments, Invited talk, Library, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 16 January 2014.     Talk Audio

 

E.-A. Dietz, L. M. Pereira, A Computational Logic Approach to The Belief-Bias Effect in Human Reasoning, EPCL Basic Training Camp, TU Dresden, 14 November 2013.

 

L. M. Pereira, Combined Learning in a Three-valued Setting, Invited talk, Artificial Intelligence Lab, Computer Science Department, Vrije Universiteit Brussel, Brussels, 12 November 2013.     Talk Audio

 

L. M. Pereira, Turing lives among us, Invited commentary slides, "The Alan Turing Centenary Symposium", Fundação Calouste Gulbenkian, Lisboa, 11 December 2012.      Talk Audio

 

L. M. Pereira, Can we Copy the Human Brain in the Computer? Invited commentary slides, "Brain.org", Fórum Gulbenkian de Saúde, Lisboa, 9-10 October 2012.      Talk Audio   Invited commentary text, for the forthcoming book of the event, in 2013: Can we not Copy the Human Brain in the Computer?

 

L. M. Pereira (with T. A. Han), Intention Recognition, Decision Making, and Applications, Invited talk slides, Logic Programming: Systems and Applications, Symposium on the occasion of David S. Warren’s retirement, Stony Brook University, New York, September 21-22, 2012.

      From the chapter: T. A. HanL. M. PereiraIntention-based Decision Making via Intention Recognition and its Applications, in: H. Guesgen, S. Marsland (eds.), Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security, IGI Global 2013.

 

L. M. Pereira, A Actualidade de Turing ("Turing is Among Us" -- slides in English), Invited talk, Colóquio de Matemática, Universidade do Minho, Braga, 18 April 2012.  Talk Audio (in Portuguese).   From the journal paper  L. M. Pereira, Turing is among us in J. Logic and Computation, 2012.

 

L. M. Pereira, Turing e a Visão Computacional da Mente e do Mundo - a sua actualidade, Invited participation, Tertúlias FNACiência/U.Minho: "Turing e a Visão Computacional da Mente e do Mundo - a sua actualidade", Braga, 18 April 2012.      Talk Audio (in Portuguese)

 

L. M. Pereira, Can the computer be moral too?, Invited talk, Infoweek at IST-Tagus Park, Lisbon, 23 February 2012.     Talk Audio (in Portuguese)   Moral Robot saving Princessdemo (.avi)

 

L. M. Pereira, Complex Networks of Mindful Entities, 5 lectures at the ICCL Summer School 2010: Cognitive Science, Computational Logic and Connectionism (ICCL-SS-2010),
T.U. Dresden, August/September 2010.  Table of Contents (.pps)   Table of Contents (.pdf)    Audio recordings:  Lecture 1   Lecture 2   Lecture 3   Lecture 4   Lecture 5

 

L. M. PereiraP. Dell'Acqua, G. Lopes, On Preferring and Inspecting Abductive Models, Invited talk, IMDEA and U. P. Madrid, 25 June 2009. Slides  Talk Audio   Talk Video (.avi)

 

L. M. Pereira, A. M. Pinto, Inspection Points and Meta-Abduction in Logic Programs, CENTRIA seminar, FCT/UNL, Lisbon, 12 November 2008. Slides

 

L. M. Pereira, A. M. Pinto, Implementing a Layered Models based Query-Solving Engine, CENTRIA seminar, FCT/UNL, 29 October 2008. Slides

      Draft of much reformulated final paper: Layered Models Top-Down Querying of Normal Logic Programs, in: A.Gill, T. Swift (eds.), Procs. 11th Intl. Symp. Practical Aspects of  Declarative Languages (PADL'09), Springer LNCS, Savannah, Georgia, USA, January 2009.

 

L. M. Pereira, Computational Logic Applications in Cognitive Sciences, 5 lectures at the ICCL Summer School 2008: Computational Logic and Cognitive Science (ICCL-SS-2008),
T.U. Dresden, August/September 2008.   Slides    Supporting documents    Lecture audio recordings    Software

 

J. J. Alferes, L. M. Pereira, Neg-Abdual - Constructive Negation and Abduction over the Well Founded Semantics, Invited talk at Facultad de Informática, Universidad Politécnica de Madrid, November 20, 2007. Slides

 

L. M. Pereira, Gõdel e a Computabilidade, Invited talk at "Seminários Centenário Kurt Gödel", Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal, December 13, 2006.    English article version here    Slides   Talk Audio (in Portuguese)

 

L. M. Pereira, G. Lopes, On Preferring and Inspecting Abductive Models, Invited talk, IMDEA and U. P. Madrid, 25 June 2009.   Slides   Talk Audio   Talk Video (.avi)

 

L. M. Pereira, A. M. Pinto, Inspection Points and Meta-Abduction in Logic Programs, CENTRIA seminar, FCT/UNL, Lisbon, 12 November 2008.  Slides

 

L. M. Pereira, A. M. Pinto, Implementing a Layered Models based Query-Solving Engine, CENTRIA seminar, FCT/UNL, 29 October 2008.   Slides 

      Draft of much reformulated final paper: Layered Models Top-Down Querying of Normal Logic Programs, in: A.Gill, T. Swift (eds.), Procs. 11th Intl. Symp. Practical Aspects of  Declarative Languages (PADL'09), Springer LNCS, Savannah, Georgia, USA, January 2009.

 

L. M. Pereira, Computational Logic Applications in Cognitive Sciences, 5 lectures at the ICCL Summer School 2008: Computational Logic and Cognitive Science (ICCL-SS-2008),
T.U. Dresden, August/September 2008.   Slides    Supporting documents    Lecture audio recordings    Software

 

J. J. Alferes, L. M. Pereira, Neg-Abdual - Constructive Negation and Abduction over the Well Founded Semantics, Invited talk at Facultad de Informática, Universidad Politécnica de Madrid, November 20, 2007.  Slides

 

L. M. Pereira, Gõdel e a Computabilidade, Invited talk at "Seminários Centenário Kurt Gödel", Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal, December 13, 2006.    English article version here     Slides    Talk Audio (in Portuguese)

 

L. M. Pereira, Gonçalo Lopes, ACORDA for Prospective Logic Programming, Invited talk at "Scientific Workshop in honour of Professor Luís Moniz Pereira", T.U. Dresden, Germany, December 5, 2006.    Slides   Talk Audio

 

L. M. Pereira, The Cupola of Logic in the Unity of Sciences -- Towards an Evolutionary Epistemology, Acceptance speech and talk on the occasion of his Honorary Doctorate Degree ceremony, T.U. Dresden, Germany, December 4, 2006.   Speech     Slides    Speech and talk Audio

CEREMONY VIDEO: Part 1 Part 2 Part 3 Part 4 Part 5 Part 6 Part 7 Part 8 Part 9 Part 10

 

L. M. Pereira, Gonçalo Lopes, ACORDA for Prospective Logic Programming, Invited talk at "South Western Europe Regional ACM Programming Contest 2006 (SWERC'06)", Universidade Nova de Lisboa, Portugal, November 18, 2006.   Slides   Talk Audio

 

L. M. Pereira, IA e Sociedade do Conhecimento, “Dia Comemorativo dos 50 Anos da Inteligência Artificial", ISEP - Instituto Superior de Engenharia do Porto, Portugal, May  31, 2006.  Transcrição    Slides   Talk Audio

 

L. M. Pereira, IA e Sociedade do Conhecimento, "Excelência - Centros de Inovação e Inteligência Artificial", Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal, May  18, 2006.  Slides

 

L. M. Pereira, Darwinismo Literário e Computação, Invited talk at "Velhos e Novos Media", Fórum Municipal Romeu Correia, Almada, Portugal, May 10, 2006.  Transcrição  Slides    Talk Audio

 

L. M. Pereira, Preferential Theory Revision -- a logic program approach, Invited talk at “International Meeting on Abduction and the Process of Scientific Discovery”, Museu de Ciência da Universidade de Lisboa, Lisbon, Portugal, May 5, 2006.   Slides

 

L. M. Pereira, Nova Computação = Nova Ciência, Novo Conhecimento, Invited talk at “Novas Fronteiras da Ciência e do Conhecimento”, Alfândega do Porto, Porto, Portugal, April 1, 2006.  Transcrição    Slides

 

L. M. Pereira, Rational Agents in Logic Programming for the Semantic Web, Invited talk at the Department of Computer and Information, Linkõping University, September 2005, Linköping, Sweden.    Slides   Talk Audio     This material is available also in the REASE repository.

 

L. M. Pereira, Revised Stable Models - a new semantics for logic programs, Invited talk at the Logic and Computation Seminar, Departamento de Matemática, Instituto Superior Técnico, July 16, 2004, Lisbon, Portugal.   Slides    More examples  Talk Audio (in Portuguese)

 

P. Dell'Acqua, A. Vitória, J. J. Alferes, L. M. Pereira, Preference Reasoning in Logic Programming, Dagstuhl Seminar (nr. 04271) on Preferences: Specification, Inference, Applications. June 27-July 2,  2004, Dagstuhl, Germany.    Slides

 

L. M. Pereira, Neuro-Psychological Social Theorizing and Simulation with the Computational Multi-Agent System Ethos, Invited talk at Istituto di Studi Avanzati, Università di Bologna, June 14, 2004, Bologna, Italy.    Slides    Talk Audio

 

L. M. Pereira, Combining agents into societies, Invited talk at DEIS, Università di Bologna, Bologna, Italy, March 2004.   Slides

 

L. M. Pereira, Applications of Logic Programming and Updates for the Semantic Web, Invited talk at T.U. Dresden, November 2003, Dresden, Germany.   Slides

 

J. Alcântara, C. V. Damásio, L. M. Pereira, The Logic(s) of Logic Programming, (Power Point Presentation, compressed). Jornada de lógica y matemáticas aplicada a la programación. Altea, Spain, October 2003.

 

P. Dell'Acqua, A. Vitória, J. J. Alferes, L. M. Pereira, Updating, preferring and acting in abductive agents, Talk at Università degli Studi dell'Aquila, 12 June 2003, L'Aquila, Italy.   Slides

 

L. M. Pereira, ECDU: Quadro; Mérito; Dedicação Exclusiva; Estímulo à investigação (in Portuguese), Talk at Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal, March 2003.   Slides

 

L. M. Pereira, Implementing Rational Features for Agents in Logic Programming, Talk at AgentLink/CologNet Symposium on Logic-Based Agent Implementation, Barcelona, Spain, February 2003.

 

L. M. Pereira, Lógica, Inteligência Artificial, e Computador, (in Portuguese), Talk at Departamento de Informática, Universidade de Nova de Lisboa, Portugal, May 2002.   Slides

 

L. M. Pereira, ECDU: Quadro; Mérito; Dedicação Exclusiva; Estímulo à investigação (in Portuguese), Talk at Universidade de Coimbra, Portugal, June 2001.   Slides

 

J. J. Alferes, L. M. Pereira, Reasoning with Logic Programming, Advanced Course at the 11th European Summer School in Logic, Language and Information (ESSLLI'99), Utrecht, The Netherlands, August 1999.   Slides

 

J. J. Alferes, L. M. Pereira, Our views on the Future of Logic Based Agents, Talk at the CompulogNet-AgentLink joint workshop on the Future of Logic Based Agents, London, England, March 1999.   Slides

 

L. M. Pereira, Logic Programming - a living formula, Talk at the 2nd Concurso Nacional de Programação em Lógica (CNLP'99), Monte da Caparica, Portugal, April 1999.   Slides

 

L. M. Pereira, Financiamento sim, mas eficaz! (in Portuguese), Talk at the Instituto Superior de Economia e Gestão, Lisbon, Portugal, April 1999.   Slides

 

L. M. Pereira, Investigação na FCT/UNL, (in Portuguese), Talk at "Jornadas de Reflexão da FCT/UNL", Caparica, Portugal, April 1999.   Slides