Courses and Talks
Talks associated with papers are to be found in
section Publications
Talk recordings sound tools:
Audio reader for Windows
URL for other OS audio
readers Audio formats conversion
tool
L. M. Pereira,
A Actualidade de Turing, Invited talk, Colóquio
de Matemática, Universidade do Minho, Braga, 18 April
2012. Talk
Audio (in Portuguese). From my "Turing
is among us" paper.
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
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. 