Talks associated with conference papers are to be found in section Publications
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, 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. Han, L. M. Pereira, Intention-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, 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. Pereira, A. M. Pinto, Inspection Points and Meta-Abduction in Logic Programs, CENTRIA seminar, FCT/UNL, Lisbon, 12 November 2008.
L. M. Pereira, A. M. Pinto, Implementing a Layered Models based Query-Solving Engine, CENTRIA seminar, FCT/UNL, 29 October 2008.
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.
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 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. 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 Speech and talk Audio
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. Talk Audio
L. M. Pereira, "Excelência - Centros de Inovação e Inteligência Artificial", Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal, May 18, 2006.
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.
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. Talk Audio This material is available also in the REASE repository, at: http://rease.semanticweb.org/ubp/PUSH/srchDetailsLR?lrID=lr-fcin-lmp-1135242087035
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. 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.
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. Talk Audio
L. M. Pereira, Applications of Logic Programming and Updates for the Semantic Web, Invited talk at T.U. Dresden, November 2003, Dresden, Germany.
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.
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.
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.
L. M. Pereira, ECDU: Quadro; Mérito; Dedicação Exclusiva; Estímulo à investigação (in Portuguese), Talk at Universidade de Coimbra, Portugal, June 2001.
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.