Talks associated with conference papers are to be found in section Publications
L. M. Pereira, Remarks on Scenario Norms, Invited presentation, MURI project Moral Competence in Computational Architectures for Robots workshop on "Normative Human-Robot Interaction", Innsbruck, 13-15 January 2016.
L. M. Pereira, Counterfactuals, Logic Programming and Agent Morality, Invited talk, School of Computing University of Teesside, Middlesbrough, 2 December 2015. Slides Talk Audio (.mp3) Talk Audio (.dss)
Two texts: L. M. Pereira, Evolutionary Tolerance, in: L. Magnani, L. Ping (eds.), Philosophy and Cognitive Science - Western & Eastern Studies. SAPERE series, ISSN 2192-6255, vol. 2, pp. 263-287, ISBN 978-3-642-29927-8, Springer-Verlag, 2012.
L. M. Pereira, A. Saptawijaya, Counterfactuals in Logic Programming with Applications to Agent Morality, Invited talk, CENTRIA & NOVA-LINCS seminar, Departamento de Informática, FCT/UNL, Lisbon, 19 November 2014. Slides
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, 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. 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
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, 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, 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.
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, 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