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
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. 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, Can
the computer be moral too?, Invited talk, Infoweek at IST-Tagus Park,
Lisbon, 23 February 2012. Talk
Audio (in Portuguese) Moral Robot saving Princess:
demo
(.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. Pereira, P. Dell'Acqua, G. Lopes, On Preferring
and Inspecting Abductive Models, Invited talk, IMDEA and U. P. Madrid,
25 June 2009. 
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. 
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
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. 
Talk Audio
L. M. Pereira, “Dia Comemorativo dos 50 Anos da
Inteligência Artificial", ISEP - Instituto Superior de Engenharia do Porto,
Portugal, May 31, 2006. Transcrição.
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, 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.
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.
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.
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, Combining
agents into societies, Invited talk at DEIS, Università di Bologna, Bologna,
Italy, March 2004.
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.
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.
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. 
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.
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.
L. M. Pereira, Financiamento sim, mas eficaz! (in
Portuguese), Talk at the Instituto Superior de Economia e Gestão, Lisbon,
Portugal, April 1999. 
L. M. Pereira, Investigação na FCT/UNL, (in
Portuguese), Talk at "Jornadas de Reflexão da FCT/UNL", Caparica,
Portugal, April 1999. 