Publications
Table of Contents (click items to go to a section; click triangles to return)
Submitted (comments, please!)
L. M.
Pereira, Da
maquinaria da moral à moral da máquina
T. A. Han, L. M. Pereira, T. Lenaerts, F. C. Santos, Shaping AI Race Dynamics through Positive and Negative Incentives
T. A. Han, L. M. Pereira, F. C.
Santos, T.
Lenaerts, To regulate or not: a
social dynamics analysis of the race for AI supremacy Supporting Info
L. M. Pereira, The
Carousel of Ethical Machinery
A. M. Pinto, L. M. Pereira, Default negation in Normal Logic Programs considered as minimal abduction of positive hypotheses
E.-A.
Dietz Saldanha, S.
Hölldobler, L. M. Pereira, Our Themes on Abduction
in Human Reasoning: A Synopsis
L. M. Pereira, E.-A. Dietz, S. Hölldobler, Abductive Framework for Counterfactual Reasoning in Logic Programming
Psycho-analytically rejected by reviewers:
A. M. Pinto, L. M. Pereira, Modularization of Logic Programs
A. M. Pinto, L. M. Pereira, Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
Books
L. M. Pereira, A. Lopes,
Machine Ethics: From
Machine Morals to the Machinery of Morality, in the book
series Studies
in Applied Philosophy, Epistemology and Rational
Ethics (SAPERE,
volume 53), XXV+164 pp., ISBN 978-3-030-39629-9,
ISBN 978-3-030-39630-5 (eBook), Springer Nature,
Switzerland AG, 2020.
L. M. Pereira, On Morals for Machines & The Machinery of Morals, Colecção: Caderno Conferências Horizontes do Futuro nº 17, Câmara Municipal de Loulé, 76 pages, ISBN: 978-989-8978-00-4, April, 2019.
L. M. Pereira, A. Saptawijaya, Programming Machine Ethics, Springer SAPERE series, Vol. 26, 194 pages, Flyer, ISBN: 978-3-319-29353-0, DOI 10.1007/978-3-319-29354-7, Berlin, March 2, 2016.
Open access review by Robert Kowalski, in "AI & Society" journal, March 2017: http://link.springer.com/article/10.1007/s00146-017-0690-y
Review by Sean Welsh, in "Minds and Machines" journal,
August 2016:
http://link.springer.com/article/10.1007/s11023-016-9398-x
L. M. Pereira, A
Máquina Iluminada - Cognição e Computação,
Fronteira
do Caos, Editores, 259 pages, ISBN:
978-989-8647-58-0, Porto, March 2016.
cover
J. J. Alferes, L. M. Pereira, Reasoning with Logic Programming, LNAI 1111, 326 pages, Springer, Berlin, 1996.
H. Coelho, J. C. Cotta, L. M. Pereira, How to Solve it with Prolog, Laboratório Nacional de Engenharia Civil (LNEC), 215 pages, 4th ed. July 1985, Lisbon, 1979.
L. M. Pereira, J. C. Cotta, A. P. Silva, Interrogação em português por computador da legislação de engenharia civil, 91 pages, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1978.
H. Coelho, L. M. Pereira, GEOM: a Prolog geometry theorem prover, Memória nº 525, 70 pages, ISBN: 978-972-49-0632-4, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1976.
L. M. Pereira, Layout Schemes from Adjacency Graphs: a case study in problem solving by theory building, PhD thesis, Brunel University UK, 304 pages, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1974.
Book Chapters & Special Reports
L. M. Pereira, Turing
está entre nós, In: José Carlos Espírito Santo
(ed.), Alan
Turing - Cientista Universal, pp. 15-52, ISBN
978-989-8974-02-0, book DOI:
https://doi.org/10.21814/uminho.ed.5, Braga: UMinho Editora,
December 2019.
L. M. Pereira, F. C. Santos,
Counterfactual Thinking in
Cooperation Dynamics. In:
Fontaine, M. et al. (eds.), Model-Based
Reasoning in Science and Technology - Inferential Models for
Logic Language, Cognition and Computation, ISBN
978-3-030-32721-7, chapter doi: 978-3-030-32722-4_5, pp.
69-82, SAPERE series,
ISSN 2192-6255 vol. 49, Springer, October 2019.
T. A. Han, L. M. Pereira, F. C. Santos, T. Lenaerts, Modelling the Safety and Surveillance of the AI Race, arXiv 1907.12393, July 2019.
L. M. Pereira, F. Cardoso, A ilusão do que conta
como agente, In: M. Curado, A. D.
Pereira, A. E. Ferreira (eds.), Vanguardas da
Responsabilidade: Direito, Neurociências e Inteligência
Artificial. (Col.
Centro de Direito Biomédico, 27), pp. 103-110,
Coimbra: Petrony, June 2019.
T. A. Han, L. M. Pereira, Evolutionary Machine Ethics. In: O. Bendel (ed.), Handbuch Maschinenethik, ISBN 978-3-658-17484-8, chapter doi:10.1007/978-3-658-17484-2_15-1, pp. 229-253, Springer, February 2018.
A.
Saptawijaya,
L. M. Pereira, From Logic
Programming to Machine Ethics. In: O. Bendel
(ed.), Handbuch
Maschinenethik, ISBN 978-3-658-17484-8,
chapter doi: 10.1007/978-3-658-17484-2_14-1, pp.
209-227, Springer, February 2018.
L. M. Pereira, Cibercultura, Simbiose
e Sincretismo. In: H. Pires, M. Curado, F.
Ribeiro, P. Andrade (eds.), Ciber-Cultura:
Circum-navegações em Redes Transculturais de
Conhecimento, Arquivos e Pensamento (book issuing
from Cibercultura
2016), ISBN: 978-989-755-282-3, pp. 45-55, Edições
Húmus, November 2017.
L. M. Pereira,
A.
Saptawijaya, Counterfactuals, Logic
Programming and Agent Morality.
In: R. Urbaniak, G. Payette (eds.), Applications
of Formal Philosophy: The Road Less Travelled, Springer Logic,
Argumentation & Reasoning series,
ISBN: 978-3319585055, pp. 25-54, Springer, October 2017.
L. M. Pereira,
A.
Saptawijaya, Counterfactuals in Critical
Thinking with Application to Morality.
In: Magnani, L., Casadio, C. (eds.), Model-Based
Reasoning in Science and Technology: Logical,
Epistemological, and Cognitive Issues, ISBN
978-3-319-38982-0, chapter doi:
10.1007/978-3-319-38983-7_15, SAPERE series,
ISSN 2192-6255, vol.
27, Springer,
July 2016.
L. M. Pereira, Software sans Emotions but with Ethical Discernment. In: S. Silva (ed.), Morality and Emotion: (Un)conscious Journey into Being, Routledge, ISBN: 978-1-138-12130-0, pp. 83-98, Routledge, June 2016.
A.
Saptawijaya, L. M. Pereira, The Potential of Logic
Programming as a Computational Tool to Model Morality.
In: Robert Trappl (ed.), A
Construction Manual for Robots' Ethical Systems:
Requirements, Methods, Implementations, pp.
169-210, ISBN 978-3-319-21547-1, Cognitive
Technologies series, ISSN 1611-2482, Springer,
December 2015.
L. M. Pereira,
A.
Saptawijaya, Bridging Two Realms of
Machine Ethics. In: J.
White, R. Searl (eds.), Rethinking
Machine Ethics in the Age of Ubiquitous Technology, IGI Global, ISBN13:
9781466685925, DOI: 10.4018/978-1-4666-8592-5, pp. 197-224 ,
July 2015.
F. Cardoso, L. M. Pereira, On artificial autonomy emergence -- a view from the foothills of a challenging climb, in: J. White, R. Searl (eds.), Rethinking Machine Ethics in the Age of Ubiquitous Technology, IGI Global, ISBN13: 9781466685925, DOI: 10.4018/978-1-4666-8592-5, pp. 51-72 , July 2015.
L. M. Pereira, Can we not Copy the Human Brain in the Computer?, in: “Brain.org”, ISBN: 978-989-8380-15-9, pp. 118-126, Fundação Calouste Gulbenkian, Lisbon, 2014.
L. M. Pereira, T. A. Han, F. C. Santos, Complex Systems of Mindful Entities -- on Intention Recognition and Commitment, in: L. Magnani (ed.), Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues, Select extended papers from Model-Based Reasoning 2012 ITALY (MBR_012), ISBN 978-3-642-37427-2, vol. 8, pp. 499-525, Studies in Applied Philosophy, Epistemology and Rational Ethics (SAPERE) series, ISSN 2192-6255, Springer, 2014.
L. M. Pereira, P. Dell'Acqua, A. M. Pinto, Gonçalo Lopes, Inspecting and Preferring Abductive Models, in: K. Nakamatsu, L.C. Jain (eds.), The Handbook on Reasoning-Based Intelligent Systems, pp. 243-274, ISBN: 978-981-4329-47-7, World Scientific Publishers, March 2013.
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, pp. 174-211, ISBN 978-1-4666-3682-8, IGI Global, 2013.
L. M. Pereira, Evolutionary Tolerance, in: L. Magnani, L. Ping (eds.), Philosophy and Cognitive Science - Western & Eastern Studies. Select extended papers from the PCS2011 Intl. Conf., SAPERE series, ISSN 2192-6255, vol. 2, pp. 263-287, ISBN 978-3-642-29927-8, Springer-Verlag, 2012.
B. Mirkin, S. Nascimento, L. M. Pereira, Method for Intelligent Representation of Research Activities of an Organization over a Taxonomy of its Field, in: R. Kountchev, K. Nakamatsu (eds.), Advances in Reasoning-Based Image Processing Intelligent Systems: Conventional and Intelligent Paradigms, Series on Intelligent Systems Reference Library, Vol.29, pp. 423-454, ISBN-13: 978-3642246920, Springer, 2012.
L. M. Pereira, Evolutionary Psychology and the Unity of Sciences - Towards an Evolutionary Epistemology, in: O. Pombo, J. M. Torres, J. Symons, S. Rahman (eds.), Special Sciences and the Unity of Science, Series on Logic, Epistemology, and the Unity of Science, Vol.24, pp. 163-175, ISBN: 978-94-007-2029-9, Springer, 2012.
L. M. Pereira, A. Saptawijaya, Modelling Morality with Prospective Logic, in: M. Anderson, S. L. Anderson (eds.), "Machine Ethics", pp. 398-421, ISBN: 978-0521112352, Cambridge University Press, 2011.
L. M. Pereira, T. A. Han, Elder Care by means of Intention Recognition and Evolution Prospection, in: S.Abreu, D. Seipel (eds.), select extended papers from the 18th Intl.Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), pp. 170-187, ISBN: 978-3-642-20588-0, Springer, LNAI 6547, 2011.
L. M. Pereira, A. M. Pinto, Stable Model implementation of Layer Supported Models by program transformation, in: S.Abreu, D. Seipel (eds.), select extended papers from the 18th Intl.Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), pp. 70-84, ISBN: 978-3-642-20588-0, Springer, LNAI 6547, 2011.
L. M. Pereira, A. M. Pinto, Adaptive Reasoning for Cooperative Agents, in: S.Abreu, D. Seipel (eds.), select extended papers from the 18th Intl.Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), pp. 102-116, ISBN: 978-3-642-20588-0, Springer, LNAI 6547, 2011.
L. M. Pereira, T. A. Han, Intention Recognition with Evolution Prospection and Causal Bayesian Networks, select updated papers from Intl. Symp. on Computational Intelligence for Engineering Systems, in: A. Madureira, J. Ferreira, Z. Vale (eds.), "Computational Intelligence for Engineering Systems: Emergent Applications", Vol. 46 in the "Intelligent Systems, Control and Automation: Science and Engineering Book Series", pp. 1-33, Springer, online 2010, hardcopy 2011.
L. M. Pereira, A. M. Pinto, Inspecting Side-Effects of Abduction in Logic Programs, invited paper in: M. Balduccini, T. C. Son (eds.), "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond", Procs. Symposium on Constructive Mathematics in Computer Science, 2010, and M. Balduccini, T. C. Son (eds.), "Gelfond Festschrift", pp. 148-163, ISBN: 978-3-642-20831-7, Springer LNAI 6565, 2011.
B. Mirkin, S. Nascimento, L. M. Pereira, Cluster-Lift Method for Mapping Research Activities over a Concept Tree, in: J. Koronacki, Z.W. Ras, S.T. Wierzchon, J. Kacprzyk (eds.), "Advances in Machine Learning II", Dedicated to the memory of Ryszard S. Michalski, Studies in Computational Intelligence, Vol. 263, pp. 245-257, Springer, January 2010.
L. M. Pereira, A. M. Pinto, Collaborative vs. Conflicting Learning, Evolution and Argumentation, in: H. R. Tizhoosh, M. Ventresca (eds.), Oppositional Concepts in Computational Intelligence, pp. 61-89, Springer (series Studies in Computational Intelligence 155), 2008.
B. Mirkin, S. Nascimento, L. M. Pereira, ACM Classification Can Be Used for Representing Research Organizations, DIMACS Center for Discrete Mathematics & Theoretical Computer Science, pp. 1-18, Technical Report 2007-13, September 2007.
L. M. Pereira, P. Dell'Acqua, Gonçalo Lopes, Prospective Updating of Theories with Preferences, in: O. Pombo, A. Gerner (eds.), Abduction and the Process of Scientific Discovery, pp. 65-96, Colecção Documenta, Centro de Filosofia das Ciências da Universidade de Lisboa, Publidisa, September 2007.
L. M. Pereira, Memorando - um sistema de avaliação de mérito no ensino universitário, in: A. Amaral (ed.), Avaliação, Revisão e Consolidação da Legislação do Ensino Superior, pp. 369-385, Cipes, Fundação das Universidades Portuguesas, June 2003.
L. M. Pereira et al., Reformar o Ensino Superior - documento colectivo, in: A. Amaral (ed.), Avaliação, Revisão e Consolidação da Legislação do Ensino Superior, pp. 221-231, Cipes, Fundação das Universidades Portuguesas, June 2003.
P. Dell'Acqua, L. M. Pereira, Preferring and Updating in Logic-based Agents, in: Bartenstein, Geske, Hannebauer, Yoshie (eds.), Web-Knowledge Management and Decision Support, Selected papers from the 14th Intl.Conf. on Applications of Prolog (INAP'01), pp. 69-84, Springer, LNAI 2543, 2003.
J. J. Alferes, L. M. Pereira, Logic Programming Updating - a guided approach, in: A.Kakas, F.Sadri (eds.), Computational Logic: From Logic Programming into the Future - Essays in honour of Robert Kowalski, volume 2, pp. 382-412, Springer LNAI 2408, 2002.
M. Bruynooghe, L. M. Pereira, J. Siekmann, M. van Emden, A Portrait of the Scientist as a Computational Logician, in: A.Kakas, F.Sadri (eds.), Computational Logic: From Logic Programming into the Future - Essays in honour of Robert Kowalski, volume 1, pp. 1-4, Springer LNAI 2407, 2002.
L. M. Pereira, Philosophical Incidence of Logical Programming, in: Handbook of the Logic of Argument and Inference, D. Gabbay et al. (eds.), pp. 425-448, Studies in Logic and Practical Reasoning series, volume 1, (appeared also in Revista Intelectu, nº 6, December 2001), Elsevier Science 2002.
D. De Schreye, M. Hermenegildo, L. M. Pereira, Paving the Roadmaps: Enabling and Integration Technologies, in: CompulogNet Roadmap, 2000.
C. V. Damásio, L. M. Pereira, A Survey on Paraconsistent Semantics for Extended Logic Programs, in: D.M. Gabbay, Ph. Smets (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, pp. 241-320, Kluwer Academic Publishers, 1998.
J. A. Leite, L. M. Pereira, Actualização de
Programas em Lógica, Technical Report, Dept.
de Informatica, Faculdade de Ciências e Tecnologia,
Universidade Nova de Lisboa, 1998.
C. V. Damásio, L. M. Pereira, Application to Diagnosis, Debugging and Updating of Logic Programs with Implicit and Explicit Negation, in: V. Dahl, A. Sobrino (eds.) Estudios sobre programación lógica y sus aplicaciones, Cursos e Congresos da Universidade de Santiago de Compostela nº89, pp. 131-170, Série Cursos de Verán, 1996.
C. V. Damásio, W. Nejdl, L. M. Pereira, M. Schroeder, Model-based Diagnosis Preferences and Strategies Representation with Logic Meta-Programming, in: K. Apt, F. Turini (eds.), Meta-Logics and Logic Programming, pp. 267-308, MIT Press, 1995.
J. C. Cunha, P. Medeiros, M. B. Carvalhosa, L. M. Pereira, Delta Prolog: a Distributed Logic Language and its Implementation on Distributed-Memory Multiprocessors, in: Implementations of Distributed Prolog, P. Kacsulik, M. Wise (eds.), John Wiley and Sons, 1992.
L. M. Pereira, Máquinas Humanas, in: Pensar a Ciência, M. C. Leite (ed.), pp 159-167, Gradiva, Lisbon 1988.
L. M. Pereira, A. Porto, A Prolog Implementation of a Large System on a Small Machine, in: Applications of Logic Programming, D.H.D. Warren, M. van Caneghem (eds.), Ablex Publ. Co. 1985.
M. Bruynooghe, L. M. Pereira, Deduction Revision by Intelligent Backtracking, in: Implementations of Prolog, J.Campbell (ed.), pp. 196-215, Ellis Horwood, 1984.
L. M. Pereira, Logic Control with Logic, in: Implementations of Prolog, pp. 177-193, J.Campbell (ed.), Ellis Horwood, 1984.
L. M. Pereira, E. Oliveira, P. Sabatier, Expert Evaluation in Logic of Environmental Resources through Natural Language, in: Artificial and Human Intelligence, A. Elithorn, R. Banerji (eds.), pp. 309-312, NATO colloquium, Elsevier, 1984.
L. M. Pereira, E. Oliveira, P. Sabatier, Um sistema pericial para o conhecimento biofísico do território interrogável em Português - ORBI, in: Final report FCT/DI-19/82, pp. 1-241, Departamento de Informática, Faculdade de Ciências e Tecnologia, UNL, October 1982.
L. M. Pereira, A. Porto, Selective Backtracking, in: Logic Programming, Clark and Tärnlund (eds.), pp. 107-114, Academic Press, 1982.
D. L. Bowen (editor) , L. Byrd, F. C. N. Pereira, L. M. Pereira, D. H. D. Warren, DECsystem-10 PROLOG USER'S MANUAL, report of Department of Artificial Intelligenc, University of Edinburgh, 10 November 1982.
L. M. Pereira, L. Monteiro, The Semantics of Parallelism and Co-routining in Logic Programming, in: Colloquia Mathematica Societatis János Bolyai 26, Mathematical Logic in Computer Science, 1978, pp. 611-657, North-Holland, 1981.
L. M. Pereira, A. Porto, Selective Backtracking at Work, in: Report CIUNL 9/80, Centro de Informática, UNL, 1980.
L. M. Pereira, F. C. N. Pereira, D. H. D. Warren, User's Guide to DECsystem-10 PROLOG, report of LNEC, October 1978.
L. M. Pereira, Artifical Intelligence Techniques in Automatic Layout Design, in: J.-C. Latombe (ed.), Artificial Intelligence and Pattern Recognition in Computer Aided Design, pp. 159-173, North-Holland, 1978.
L. Monteiro, L. M. Pereira, Aspectos Cibernéticos da Epistemologia, in: V. O. Jorge, J. A. Meireles, L. M. Pereira (eds.) Novas Perspectivas das Ciências do Homem, Actas do Colóquio sobre Epistemologia das Ciências do Homem, IST, pp. 2-16, Editorial Presença, Lisbon, 1970.
Translated
Books
L. M. Pereira (translator), Herbert A. Simon, As Ciências do Artificial, Colecção Studium nº 95, Arménio Amado, Coimbra 1981. A translation of The Sciences of the Artificial, 2nd edition, MIT Press, 1981.
L. M. Pereira (translator), Gordon Pask, Uma introdução à Cibernética, Colecção Studium nº 88, Arménio Amado, Coimbra 1970. A translation of An Approach to Cybernetics, 2nd edition, Hutchinson & Co, London, 1968.
Edited
Proceedings and edited Journal Special Issues
T. A. Han, L. M. Pereira, T.
Lenaerts (Eds.), Special issue: Emergence of the Cognitive
Mechanisms for Cooperation, frontiers in Robotics and AI,
section on Evolutionary Robotics, 2019.
L. M. Pereira, J. Neves, J. Machado, M. Santos (Eds.), Special issue: Progress in artificial intelligence II, select extended papers from 13th Portuguese Intl. Conf. on Artificial Intelligence - Part II, International Journal of Reasoning-based Intelligent Systems (IJRIS), 2(1), 2010.
L. M. Pereira, J. Neves, J. Machado, M. Santos (Eds.), Special issue: Progress in artificial intelligence I, select extended papers from 13th Portuguese Intl. Conf. on Artificial Intelligence - Part I, International Journal of Reasoning-based Intelligent Systems (IJRIS), 1(3/4), 2009.
L. M. Pereira, G. Wheeler (Eds.), Special issue of selected extended papers arising from the Fourth International Workshop on Computational Models of Scientific Reasoning and Applications (CMSRA-IV). Journal of Applied Logic, 5(4), Elsevier, December 2007.
L. M. Pereira, G. Wheeler (Eds.), Procs. Computational Models of Scientific Reasoning and Applications (CMSRA-IV), Universidade Nova de Lisboa, Lisbon, Portugal, September 21-23, 2005.
C. Delrieux, L. M. Pereira (Eds.), Special issue selected extended papers arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications. Journal of Applied Logic, 2(4), 2004.
M. Ojeda-Aciego, I. P. de Guzmán, G. Brewka, L. M. Pereira (Eds.), Special issue on Logics in Artificial Intelligence, Studia Logica, 2002.
P. Quaresma, L. M. Pereira (Eds.), Procs. of the APPIA-GULP-PRODE''01, Joint Conf. on Declarative Programming (AGP'01), Évora, Portugal, September 2001.
M. Ojeda-Aciego, I. P. de Guzmán, G. Brewka, L. M. Pereira (Eds.), Logics in Artificial Intelligence (JELIA'00), Procs. of European Workshop, Málaga, LNAI 1919, Springer, September-October 2000.
J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv, P. J. Stuckey (Eds.), Computational Logic (CL 2000), Procs. of the First Intl.Conf. on Computational Logic - CL 2000, London, UK, LNAI 1861, Springer, 2000.
J. Dix, L. M. Pereira, T. C. Przymusinski (Eds.), Logic Programming and Knowledge Representation, ILPS'97 Workshop (selected papers), LNAI 1471, Springer, 1998.
J. J. Alferes, L. M. Pereira (Eds.), , Special issue with Selected papers from JELIA'96, European Workshop, Journal of Automated Reasoning, 1998.
J. Dix, L. M. Pereira and T. C. Przymusinski (Eds.), Non-Monotonic Extensions of Logic Programming, IJCSLP'96 Workshop (selected papers), LNAI 1216, Springer, 1997.
J. J. Alferes, L. M. Pereira, E. Orlowska (Eds.), Logics in Artificial Intelligence (JELIA'96), European Workshop, LNAI 1126, Springer, 1996.
J. Dix, L. M. Pereira, T. C. Przymusinski (eds.), Non-Monotonic Extensions of Logic Programming, ICLP'94 Workshop (selected papers), LNAI 927, Springer, 1995.
C. MacNish, D. Pearce, L. M. Pereira (Eds.), Logics in Artificial Intelligence (JELIA'94), European Workshop, LNAI 838, Springer, 1994.
L. M. Pereira, A. Nerode (Eds.), Logic
Programming and Non--monotonic Reasoning (LPNMR'93), Procs. of the Second Intl. Workshop, The MIT
Press, 1993.
Poster
P. Barahona, A. Porto, L. M. Pereira (Eds.), 5th Portuguese Intl. AI Conf. (EPIA'91), LNAI 541, Springer, 1991.
L. M. Pereira (Org.), 6th Int. Conf. on Logic
Programming (ICLP'89), The MIT Press, 1989. Poster
L. M. Pereira,
A. Porto, L.
Monteiro, M.
Filgueiras (Eds.), Procs. Logic Programming Workshop'83, 630 pp., Praia da
Falésia, Albufeira, Algarve, Portugal, June 26-July 1,
1983. Published by Departamento de Informática,
Universidade Nova de Lisboa, Portugal, 1983.
Proceedings
and Poster
L. M. Pereira
(Ed.), Logic Programming
Newsletter 1981-1984.
V. O. Jorge, J. A. Meireles, L. M. Pereira (Eds.), Novas Perspectivas das Ciências do Homem, Actas do Colóquio sobre Epistemologia das Ciências do Homem, IST, Editorial Presença, Lisbon, 1970.
Scientific
Journals
L. M. Pereira, A machine is cheaper than a human for the same task, in: AI & Society (Journal of Knowledge, Culture and Communication), DOI: 10.1007/s00146-018-0874-0, vol. 34(1), online 02 January 2019.
T. A. Han, L. M. Pereira, Evolutionary Machine Ethics
Synopsis, (Japanese
version) invited paper in: Journal of the Japanese Society
for Artificial Intelligence,
vol. 34 (2):152-159, March 2019.
L. M. Pereira, Should I kill or rather not?, in: AI & Society (Journal of Knowledge, Culture and Communication), DOI: 10.1007/s00146-018-0850-8, open access here, online 04 June 2018. Print issue vol.34 (4):939-943, December 2019.
L.
A. Martinez-Vaquero, T. A. Han, L. M. Pereira, T.
Lenaerts, When agreement-accepting
free-riders are a necessary evil for the evolution of
cooperation, Scientific
Reports 7:2478, DOI:10.1038/s41598-017-02625-z,
online 30 May 2017.
L. M. Pereira, Cyberculture, Symbiosis
and Syncretism, in: AI &
Society (Journal of Knowledge, Culture
and Communication), DOI: 10.1007/s00146-017-0715-6, open access here, online 21
March 2017. Print
issue vol.33 (3):447-452, August 2018.
A.
Saptawijaya, L. M. Pereira,
Logic Programming for
Modeling Morality, in:
Magnani, L., Casadio, C. (Eds.), Special Issue on
"Formal Representations of Model-Based Reasoning and
Abduction", of The Logic
Journal of the IGPL,
vol. 24(4): 510-525, DOI: 10.1093/jigpal/jzw025, online
9 May, August 2016.
T. A. Han, L. M. Pereira, T. Lenaerts, Evolution of Commitment and Level of Participation in Public Goods Games, in: Autonomous Agents and Multi-Agent Systems (AAMAS), DOI: 10.1007/s10458-016-9338-4, 3(31):561–583, May 2017. open access here online 14 June 2016.
L. M. Pereira, A. Saptawijaya, Abduction and Beyond in Logic Programming with Application to Morality, in: Magnani, L. (Ed.), IfColog Journal of Logics and their Applications, Special issue on Abduction, 3(1):37-71, May 2016.
B.
Deng, The
Robot's Dilemma, Interviews L. M. Pereira,
in: Nature,
pp. 24-26, vol. 53, 2 July 2015.
L. A. Martinez-Vaquero, T. A. Han, L. M. Pereira, T. Lenaerts, Apology and Forgiveness Evolve to Resolve Failures in Cooperative Agreements, Scientific Reports, Sci. Rep. 5:10639, DOI:10.1038/srep10639, 9 June 2015.
A. Saptawijaya, L. M. Pereira, TABDUAL: a Tabled Abduction System for Logic Programs, IfColog Journal of Logics and their Applications, 2(1):69-123, June 2015.
T. A. Han, L. M. Pereira, F. C. Santos,
T.
Lenaerts, Emergence
of Cooperation via Intention Recognition, Commitment, and
Apology -- A Research Summary, AI
Communications, DOI:10.3233/AIC-150672,
vol. 28(4):709-715, preprint online June 2015.
T. A. Han, F. C. Santos, T. Lenaerts, L. M. Pereira, Synergy between intention recognition and commitments in cooperation dilemmas, Scientific Reports, Sci. Rep. 5:9312, DOI:10.1038/srep09312, 20 March 2015.
T. A. Han, L. M. Pereira, T. Lenaerts, Avoiding or Restricting Defectors in Public Goods Games?, Journal of the Royal Society Interface, http://dx.doi.org/10.1098/rsif.2014.1203 (online: 24 December 2014), 12:103, February 2015.
L. M. Pereira, E.-A. Dietz, S. Hölldobler, Contextual Abductive Reasoning with Side-Effects, Theory and Practice of Logic Programming, 14(4-5):633-648, doi: 10.1017/S1471068414000258, July 2014.
A. Saptawijaya, L. M. Pereira, Tabled Abduction in Logic Programs, Theory and Practice of Logic Programming, 13(4-5-Online-Supplement), July 2013.
T. A. Han, L. M. Pereira, F. C. Santos, T. Lenaerts, Good Agreements Make Good Friends, Scientific Reports, Sci. Rep. 3:2695, DOI:10.1038/srep02695, 2013.
T. A. Han, L. M. Pereira, Context-dependent Incremental Decision Making Srutinizing Intentions of Others via Bayesian Network Model Construction, Intelligent Decision Technologies (IDT), 7 (4):293-317, doi:10.3233/IDT-130170, 2013.
T. A. Han, L. M. Pereira, State-of-the-Art of Intention Recognition and its Use in Decision Making, AI Communications, doi: 10.3233/AIC-130559; 26 (2): 237–246, 2013.
L. M. Pereira, Turing
is Among Us, Journal
of Logic and Computation,
doi: 10.1093/logcom/exs035, 22(6):1257-1277, December
2012. 
T. A. Han, L. M. Pereira, F. C. Santos, Corpus-based Intention Recognition in Cooperation Dilemmas, Artificial Life, doi:10.1162/ARTL_a_00072, 18(4) 365-383, Fall 2012.
L. M. Pereira, Book review of 'Computational Logic and Human Thinking: How to be Artificially Intelligent' by Robert Kowalski, AI Communications, 25(4):361-364, 2012.
M. Alberti, P. Dell'Acqua, L. M. Pereira, Observation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, Experimentation, Annals of Mathematics and Artificial Intelligence, "Special Issue: Experimental evaluation of algorithms for solving problems with combinatorial explosion", 62(3):161-186 (2012). DOI: 10.1007/s10472-011-9259-5, Online First, 06 August 2011.
T. A. Han, L. M. Pereira, F. C. Santos, Intention Recognition Promotes The Emergence of Cooperation, Adaptive Behavior, doi: 10.1177/1059712311410896, 19(3):264-279, August 2011.
L. M. Pereira, Tolerância Evolucionária, Revista Portuguesa de Psicanálise, 30(2) 117-147, 2010. Talk Audio from 2011 conference presentation.
B. Mirkin, S. Nascimento, T. Fenner, L. M. Pereira, Building Fuzzy Thematic Clusters and Mapping Them to Higher Ranks in a Taxonomy, International Journal of Software and Informatics (IJSI), special issue of select extended papers from KSEM 2010, 4(3):257-275, November 2010.
L. M. Pereira, C. K. Ramli, Modelling Decision Making with Probabilistic Causation, Intelligent Decision Technologies (IDT), 4(2):133-148, 2010.
L. M. Pereira, Moral Computacional, Jornal de Ciências Cognitivas, December 2009.
L. M. Pereira, T. A. Han, Evolution Prospection in Decision Making, Intelligent Decision Technologies (IDT), 3(3):157-171, 2009.
L. M. Pereira, G. Lopes, Prospective Logic Agents, International Journal of Reasoning-based Intelligent Systems (IJRIS), 1(3/4):200-208, 2009.
L. M. Pereira, A. Saptawijaya, Modelling Morality with Prospective Logic, International Journal of Reasoning-based Intelligent Systems (IJRIS), 1(3/4):209-221, 2009.
L. M. Pereira, Evolving Towards Evolutionary Epistemology, Invited paper in: International Journal of Reasoning-based Intelligent Systems (IJRIS), 1(1-2):68-76, 2009.
L. M. Pereira, Rumo a uma Epistemologia Evolucionária Simbiótica, Jornal de Ciências Cognitivas, December 2008.
L. M. Pereira, Auto-Entrevista sobre IA, 2008, Jornal de Ciências Cognitivas, December 2008.
G. Wheeler, L. M. Pereira, Methodological Naturalism and Epistemic Internalism, Synthèse, 163(3):315–328, 2008.
L. M. Pereira, Darwinismo Literário e Computação, Jornal de Ciências Cognitivas, January 2008.
L. M. Pereira, La incidencia filosófica de la programación lógica, Invited paper in: ÁGORA, Papeles de Filosofía, vol. 26, nº 1, pp. 153-185, U. Santiago de Compostela, 2007.
P. Dell'Acqua, L. M. Pereira, Preferential theory revision, Journal of Applied Logic, 5(4):586-601, Elsevier, December 2007.
L. M. Pereira, G. Wheeler (eds.), Introduction, Special issue of selected extended papers arising from the Fourth International Workshop on Computational Models of Scientific Reasoning and Applications. Journal of Applied Logic, 5(4):575-576, Elsevier, December 2007.
L. M. Pereira, Towards an Evolutionary Epistemology, Invited paper in: CIM Bulletin, No. 22, Centro Internacional de Matemática, June 2007.
L. M. Pereira, Gödel e a Computabilidade, Invited paper, special issue commemorative of Kurt Gödel 's birth centenary, in: Boletim da Sociedade Portuguesa de Matemática, nr.55:77-90, October 2006. English version here
J. Alcântara, C. V. Damásio, L. M. Pereira, An Encompassing Framework for Paraconsistent Logic Programs, Journal of Applied Logic, 3(1): 67-95, Elsevier, 2005.
C. Delrieux, L. M. Pereira (eds.), Editorial, Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications. Journal of Applied Logic, 2(4): 381-384, 2004.
P. Dell'Acqua, L. M. Pereira, Common-sense reasoning as proto-scientific agent activity, Journal of Applied Logic, 2(4): 385-407, Elsevier, 2004.
G. Wheeler, L. M. Pereira, Epistemology and Artificial Intelligence, Journal of Applied Logic, 2(4): 469-493, Elsevier, 2004.
J. J. Alferes, L. M. Pereira, T. Swift, Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs, Theory and Practice of logic Programming, 4(4):383-428, July 2004.
E. Lamma, L. M. Pereira, F. Riguzzi, Belief Revision via Lamarckian Evolution, New Generation Computing, 21(3):247-275, Ohmsha and Springer, August 2003.
C. V. Damásio, L. M. Pereira, Hybrid Probabilistic Logic Programs as Residuated Logic Programs, Special issue on Logics in Artificial Intelligence, Studia Logica, 72(2):113-118, 2002.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, LUPS - a language for updating logic programs, Artificial Intelligence, 138(1-2), 2002.
P. Froehlich, W. Nejdl, M. Schroeder, C. V. Damásio, L. M. Pereira, Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks, Intl. J. Applied Intelligence, 17(2), Kluwer, 2002.
J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, A Language for Multi-dimensional Updates, Electronic Notes in Theoretical Computer Science, 70(5), 2002.
P. Dell'Acqua, U. Nilsson, L. M. Pereira, A Logic Based Asynchronous Multi-Agent System, Electronic Notes in Theoretical Computer Science, 70(5), 2002.
L. M. Pereira, Incidência Lógica da IA, Disputatio 10:36-57, Revista do Centro de Linguagem, Lógica e Cognição, "Sociedade Portuguesa de Filosofia", May 2001.
L. M. Pereira, Recenção de “Science et Communication” de João Caraça, Análise Social, vol. XXXV, nº 157:1154-1158, Winter 2001.
J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, Dynamic Updates of Non-Monotonic Knowledge Bases, The Journal of Logic Programming, 45(1-3):43-70, September/October 2000.
E. Lamma, F. Riguzzi, L. M. Pereira, Strategies in Combined Learning via Logic Programs, Machine Learning, 38(1-2):63-87, January 2000.
L. M. Pereira, The Logical Impingement of Artificial Intelligence, Grazer Philosophische Studien (Internationale Zeitschrift Für Analytische Philosophie), Analytical Philosophy in Portugal, António Zilhão (ed.), Amsterdam/Atlanta, 56:183-204, 1998/99.
J. J. Alferes, L. M. Pereira, T. C. Przymusinski, 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming, J. Automated Reasoning, (20):107-142, 1998.
J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, Dynamic Logic Programming, Linköping Electronic Articles in Computer and Information Science, Vol. 2(1997): nº 18. http://www.ep.liu.se/ea/cis/1997/018/. December, 1997.
R. Li, L. M. Pereira, Knowledge Assimilation in Domains of Actions: A Possible Causes Approach, J. Applied Non-Classical Logics, Special issue on Inconsistency Handling in Knowledge Systems, 7(1):77-116, 1997.
R. Li, L. M. Pereira, Representing and Reasoning about Concurrent Actions with Abductive Logic Programs, Annals of Mathematics and Artificial Intelligence, 21:245-303, 1997.
J. J. Alferes, L. M. Pereira, T. C. Przymusinski, Belief Revision in Non-Monotonic Reasoning and Logic Programming, Fundamenta Informaticae, 28 (1-2):1-22, November 1996.
J. J. Alferes, L. M. Pereira, Belief, Provability and Logic Programs, J. Applied Non-Classical Logics, 5(1):31-50, 1995.
J. J. Alferes, C. V. Damásio, L. M. Pereira, A Logic Programming System for Non-monotonic Reasoning, J. Automated Reasoning, (14):93-147, 1995.
L. M. Pereira, J. J. Alferes, J. N. Aparício, Adding Closed World Assumptions to Well Founded Semantics, Theoretical Computer Science, 122:49-68, 1994.
L. M. Pereira, J. N. Aparício, J. J. Alferes, Non--monotonic Reasoning with Logic Programming, The Journal of Logic Programming, 17(2-3-4):227-263, 1993.
L. M. Pereira, Inteligência artificial: mito e ciência, Invited paper in: Revista Colóquio/Ciências, Fundação Calouste Gulbenkian, nº3, pp. 1-13, (Reprinted in Revista Intelectu, nº 5, February 2001), Lisboa, October 1988.
H. Coelho, L. M. Pereira, Automated reasoning in geometry theorems with Prolog, J. Automated Reasoning, 2(4):329-390, 1986.
L. M. Pereira, Computo logo simbolizo, in: Psicologia, vol.2, 1983.
L. M. Pereira, Prolegómeno a uma neurologia artificial, in: Análise Psicológica, vol. 11(4), pp. 519-522, 1979. English version here
L. M. Pereira, PROLOG, linguagem de resolução de problemas pela lógica, Parts 1 & 2, in: Informática - Revista da Associação Portuguesa de Informática, 2(4), pp. 9-11, 37-41, 1978, 2(6), pp. 37-42, 1979.
D. H. D. Warren, L. M. Pereira, F. C. N. Pereira, Prolog - The Language and its Implementation Compared with LISP, ACM Symposium on A.I. and Programming Languages, ACM SIGPLAN Notices, vol. 12, No. 8, pp. 109--115, August 1977.
L. M. Pereira, Issues in Heuristics, Técnica, IST, Lisbon, 1970.
L. M. Pereira, Introdução aos Autómatos Infinitos e Teoria da Computabilidade, Técnica, nr. 395, pp. 265-273, and nr. 396 pp. 321-328, IST, Lisbon, 1970.
L. M. Pereira, Cibernética - Epistemologia, Técnica, nr. 383, pp. 161-165, IST, Lisbon, 1968.
L. M. Pereira, A. Saptawijaya, Counterfactuals in Critical Morality -- A Summary, The Association for Logic Programming Newsletter, Vol. 28, No. 4, October/December 2015.
L. M. Pereira, Turing is Among Us (Abstract), in: The Association for Logic Programming Newsletter, Vol. 25, No. 3, July 2012.
L. M. Pereira, Book review of 'Computational Logic and Human Thinking: How to be Artificially Intelligent' by Robert Kowalski, in: The Association for Logic Programming Newsletter, Vol. 25, No. 1, January/March 2012.
L. M. Pereira, A. Saptawijaya, Computational Modelling of Morality, The Association for Logic Programming Newsletter, Vol. 22, No. 1, February/March 2009.
L. M. Pereira, Wiki or Bust, The Association for Logic Programming Newsletter, Vol. 20, No. 2, May/June 2007.
L. M. Pereira, Logic Programming in Wikipedia: Call for Help or Call to Arms? The Association for Logic Programming Newsletter, Vol. 20, No. 1, Feb./Mar. 2007.
L. M. Pereira, REWERSE - Reasoning on the Web with Rules and Semantics, Computational Logic Newsletter 5:8-9, December 2003.
L. M. Pereira, Implementing Rational Features for Agents in Logic Programming, Computational Logic Newsletter 5:11-13, December 2003.
L. M. Pereira, R.Kahle, Cooperation of Universidade Nova de Lisboa and Technische Universität at Dresden in the field of Computational Logic, Computational Logic Newsletter 3:26-26, March 2003.
J. J. Alferes, P. Dell'Acqua, E. Lamma, J. A. Leite, L. M. Pereira, F. Riguzzi, A Logic Based Approach to Multi-Agent Systems, Invited Paper in: The Association for Logic Programming Newsletter, 14(3): 13 pp., August 2001.
L. M. Pereira, A Prolog Demand Driven Interpreter, Logic Programmmig Newsletter 4, Winter 1982.
L. M. Pereira, A. Porto, Pure Lisp in Pure Prolog, Logic Programming Newsletter 3, Summer 1982.
L. M. Pereira, A. Porto, All Solutions, Logic Programming Newsletter 2, Fall 1981.
Papers
in Conferences
2019 2018 2017 2016 2015 2014 2013 2012 2011 2010
2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990
1989 1988 1986 1985 1984 1983 1982 1980 1979 1978 1977 1976 1973 1972 1970
Talk recordings sound tools: Audio reader for Windows URL for audio readers Audio formats conversion tool
T. A. Han, L. M. Pereira, T.
Lenaerts, Modelling and Influencing the AI
Bidding War: A Research Agenda, in
proceedings of: AAAAI/ACM
Conference on AI, Ethics, and Society, (AIES 2019),
January 27-28, 2019, Honolulu, Hawaii, USA. Poster
Proceedings
L. M. Pereira, F. C. Santos,
Counterfactual Thinking in
Cooperation Dynamics (extended
abstract), accepted in: MODEL-BASED
REASONING IN SCIENCE AND TECHNOLOGY - Inferential Models for
Logic, Language, Cognition and Computation
(MBR18_Spain), published in Book
of Abstracts, October 24-26, Seville, Spain.
L. M. Pereira,
Programming
Machine Ethics — by the book and beyond (III),
Keynote Speaker at Intl.
Conf. on AI and Information, Faculty of Arts, University
of Porto, 5-7 December, Porto, Portugal.
Talk
Audio + Q&A 73 mins (.mp3)
S. M. A. Perkasa, A.
Saptawijaya, L. M. Pereira,
Tabling
in Contextual Abduction with Answer Subsumption,
in: Procs. 9th
Intl. Conf. on Advanced Computer Science and Information
Systems (ICACSIS), IEEE
Conferences, pp. 465-470, DOI:
10.1109/ICACSIS.2017.8355074, October 28-29,
Jakarta, Indonesia.
A.
F. Sabili, A.
Saptawijaya, L. M. Pereira,
Intelligent
Agents via Joint Tabling of Logic Program Abduction
and Updating, in:
Procs. 9th Intl.
Conf. on Advanced Computer Science and Information Systems
(ICACSIS), IEEE
Conferences, pp. 459-464, DOI:
10.1109/ICACSIS.2017.8355075, October 28-29,
Jakarta, Indonesia. Best
paper award
L. M. Pereira,
A.
Saptawijaya, Agent Morality via
Counterfactuals in Logic Programming, invited paper
in: Procs. Bridging
the Gap: Is Logic and Automated Reasoning a Foundation for
Human Reasoning?, a 39th Annual Meeting
of the Cognitive Science Society (CogSci
2017) workshop, Furbach, U., Schon,
C. (Eds.), pp. 39-53, CEUR workshop
proceedings vol. 1994, 26 July, London, UK.
E.-A.
Dietz Saldanha, S.
Hölldobler, L. M. Pereira, Contextual Reasoning: Usually
Birds Can Abductively Fly, in: Procs. 14th Intl. Conf. on
Logic Programming and Nonmonotonic Reasoning (LPNMR
2017), Balduccini, M., Janhunen, T. (Eds.), Springer
LNAI 10377, pp. 64-77, DOI:10.1007/978-3-319-61660-5_8, 3-6
July 2017, Espoo, Finland.
T. A. Han, L. M. Pereira, T.
Lenaerts, Commitment and Participation
in Public Goods Games, in:
JAAMAS track of Procs. 16th Intl. Conf. on
Autonomous Agents and Multiagent Systems (AAMAS
2017), Das, S. et al. (Eds.), pp.
1431-1432, 8–12 May 2017, São Paulo,
Brazil. Talk Audio
L. M. Pereira, T.
Lenaerts, L.
A. Martinez-Vaquero, T. A. Han, Social Manifestation of Guilt Leads to Stable
Cooperation in Multi-Agent Systems, in:
Procs. 16th Intl. Conf.
on Autonomous Agents and Multiagent Systems (AAMAS
2017), Das, S. et al. (Eds.),
pp. 1422-1430, 8–12 May 2017, São
Paulo, Brazil. Talk Audio
L. M. Pereira, T.
Lenaerts, L.
A. Martinez-Vaquero, T. A. Han, Evolutionary Game Theory
Modelling of Guilt, in: Procs. Symposium
on Computational Modelling of Emotion: Theory and
Applications at AISB
Annual Convention 2017 (AISB 2017), Bryson,
J., De Vos, M., Padget, J. (Eds.) Proceedings, pp. 189-192, 19-21 April 2017,
University of Bath, UK. Talk Audio
T.
Lenaerts, T. A. Han, L. M. Pereira, L. A.
Martinez-Vaquero, When apology is
sincere, cooperation evolves, even when mistakes
occur frequently, in: Procs. Symposium
on Computational Modelling of Emotion: Theory and
Applications at AISB
Annual Convention 2017 (AISB 2017), Bryson, J., De Vos, M.,
Padget, J. (Eds.) Proceedings, pp. 193-195, 19-21 April 2017,
University of Bath, UK.
T. A. Han, L. M. Pereira, L. A.
Martinez-Vaquero, T.
Lenaerts, Centralized vs. Personalized
Commitments and Their Influence on Cooperation in Group
Interactions, in: S. P.
Singh, S. Markovitch (Eds.), Procs. 31st
AAAI Conf. on AI (AAAI 2017),
AAAI
Press, pp. 2999-3005, 4-9 February 2017, San
Francisco, California.
L. M. Pereira, Machine
Ethics: Evolutionary Teachings
(extended abstract), Machine
Ethics and Machine Law (MEML16), Jagiellonian
University, 18-19 November 2016, Cracow, Poland.
L. A. Martinez-Vaquero, T. A. Han, L. M. Pereira, T. Lenaerts, Apology and Forgiveness Evolve to Resolve Failures in Cooperative Agreements (abstract), The 28th Benelux Conference on Artificial Intelligence, 10-11 November 2016, Amsterdam, The Netherlands.
L. A.
Martinez-Vaquero, T. A. Han, L. M. Pereira, T.
Lenaerts, Forgiveness evolves to ensure
cooperation in long-term agreements (abstract),
2016 Conference on Complex
Systems (CCS), 19-22 September,
Amsterdam, The Netherlands.
L. M. Pereira, T. A. Han, L.
A. Martinez-Vaquero, T.
Lenaerts, Guilt for Non-Humans,
in: Bipin, I., Stojanov, G. (Eds.), Ethical
and Moral Considerations in Non-Human Agents (EMCAI
2016), The
AAAI 2016 Spring Symposia Series, pp. 249-252,
vol. 2016, 21-23 March,
Stanford University, Palo Alto, California.
L. M. Pereira, Programming Machine Ethics, Keynote Speaker, in: Bipin, I., Stojanov, G. (Eds.), Ethical and Moral Considerations in Non-Human Agents (EMCAI 2016), The AAAI 2016 Spring Symposia Series, 21-23 March, Stanford University, Palo Alto, California.
T. A. Han, L. M. Pereira, T.
Lenaerts, Emergence of Cooperation in Group
Interactions: Avoidance vs. Restriction (short paper),
in: Bipin, I., Stojanov, G. (Eds.), Ethical
and Moral Considerations in Non-Human Agents (EMCAI
2016), The
AAAI 2016 Spring Symposia Series,
pp. 214-216, vol. 2016, 21-23 March,
Stanford University, Palo Alto, California.
T.
Lenaerts, L.
A. Martinez-Vaquero, T. A. Han, L. M. Pereira, Conditions for the evolution of
apology and forgiveness in populations of autonomous agents,
in: Bipin, I., Stojanov, G. (Eds.), Ethical
and Moral Considerations in Non-Human Agents (EMCAI
2016), The
AAAI 2016 Spring Symposia Series, pp.
242-248, vol. 2016, 21-23 March,
Stanford University, Palo Alto, California.
F. Cardoso,
L. M. Pereira,
Simulation as a Method of Ethics:
simulating agents by programming, to elucidate autonomy,
agency and ethical virtues (short paper),
in: Bipin, I., Stojanov, G. (Eds.), Ethical
and Moral Considerations in Non-Human Agents (EMCAI
2016), AAAI
2016 Spring Symposia, 21-23 March,
Stanford University, Palo Alto, California.
E.-A.
Dietz, S.
Hölldobler, L. M. Pereira, On
Conditionals,
in: Gottlob, G., Sutcliffe, G., Voronkov, A. (Eds.), Global
Conference on Artificial Intelligence (GCAI 2015),
pp. 79-92, 15-18 October, Tbilisi,
Georgia.
L.
A. Martinez-Vaquero, T. A. Han, L. M. Pereira, T.
Lenaerts, Emergence of revenge and
forgiveness in commitments, abstract
in: Physics
Meets the Social Sciences: Emergent
cooperative phenomena, from bacterial to human group behaviour,
Granada
Seminar on Computational and Statistical Physics,
15-19 June, La Herradura,
Tropical Coast of Granada, Spain.
T.
Lenaerts, reporting on joint
work, The evolutionary viability of
individual and group commitments in social dilemmas,
abstract in: Physics Meets
the Social Sciences: Emergent cooperative
phenomena, from bacterial to human group behaviour,
Granada
Seminar on Computational and Statistical Physics,
15-19 June, La Herradura,
Tropical Coast of Granada, Spain.
A.
Saptawijaya,
L. M. Pereira, Logic Programming
Applied to Machine Ethics,
short paper in: Pereira, F., Machado, P., Costa, E.,
Cardoso, A. (Eds.). Procs. Seventeenth Portuguese
Intl. Conf. on Artificial Intelligence
(EPIA-2015). LNCS vol. 9273, ISBN
978-3-319-23485-4, pp. 414-422, 8-11
September, Coimbra,
Portugal.
Appendix
Slides
T. A. Han, L. M. Pereira, T.
Lenaerts, Emergence of Cooperation in
Group Interactions: Avoidance vs. Restriction (extended abstract),
accepted in: The
13th European Conference on Artificial Life (ECAL 2015),
20-24 July, York, UK.
WITHDRAWN SINCE
UNEXPECTEDLY NONE OF THE AUTHORS COULD BE PRESENT
:(
L. M. Pereira,
A.
Saptawijaya, Counterfactuals
in Critical Thinking with Application to Morality,
in: II International
Critical Thinking Seminar (SIPC'15), "Current
challenges for Critical Thinking: Education, Development and
Assessment", 8-9 May, University of Trás-os-Montes e Alto
Douro, Vila Real, Portugal.
Talk Audio
E.-A.
Dietz, S.
Hölldobler, L. M. Pereira, On
Indicative Conditionals, in: S. Hölldobler, Y. Liang
(eds.), Procs.
1st Intl. Ws. on Semantic Technologies (IWOST), CEUR Ws. Procs., pp.
19-30, vol. 1339,
March 9-12, Jilin University, Changchun,
China.
L. M. Pereira,
A.
Saptawijaya, Counterfactuals
in Critical Thinking, with Application to Morality
(extended abstract), in: Intl. Conf. MODEL-BASED
REASONING IN SCIENCE AND TECHNOLOGY - Models and Inferences:
Logical, Epistemological, and Cognitive Issues
(MBR'015-Italy), June 25-27, Sestri Levante, Italy.
L. M. Pereira,
A.
Saptawijaya, Software with Ethical
Discernment (extended
abstract), in: Intl. Conf. MODEL-BASED
REASONING IN SCIENCE AND TECHNOLOGY - Models and Inferences:
Logical, Epistemological, and Cognitive Issues
(MBR'015-Italy), June 25-27, Sestri Levante, Italy.
T. A. Han, L. M. Pereira, T.
Lenaerts, Evolution of Pairwise
Commitment and Cooperation, abstract at European Conference on Complex
Systems 2014 (ECSS'14), September 22-26, Lucca,
Italy.
T. A. Han, L. M. Pereira, T.
Lenaerts, F. C. Santos,
Learning to Recognize
Intentions Resolves Cooperation Dilemmas, extended abstract
at 23rd annual Belgian-Dutch
Conference on Machine Learning (BENELEARN 2014), June 6,
Brussels, Belgium.
L. M. Pereira, E.-A.
Dietz, S.
Hölldobler, Contextual Abductive
Reasoning with Side-Effects,
regular paper at 30th
Intl. Conf. Logic Programming (ICLP'14),
http://arxiv.org/abs/1405.3713, July 19-22, Vienna,
Austria.
A.
Saptawijaya, L. M. Pereira, Joint Tabling of Logic
Program Abductions and Updates,
technical communication at 30th
Intl. Conf. Logic Programming (ICLP'14),
http://arxiv.org/abs/1405.2058, July 19-22, Vienna,
Austria.
M. Abrantes, L. M. Pereira, Properties of Stable Model Semantics Extensions, technical communication at 30th Intl. Conf. Logic Programming (ICLP'14), http://arxiv.org/abs/1405.3713, July 19-22, Vienna, Austria.
L. M. Pereira, E.-A.
Dietz, S.
Hölldobler, An Abductive Reasoning
Approach to the Belief Bias Effect,
in: C.Baral et al. (eds.), Procs. 14th
Intl. Conf. on Principles of Knowledge Representation
(KR'14), pp. 653--656, AAAI Press,
July 20-24, Vienna, Austria, 2014.
poster
A. Saptawijaya, L. M. Pereira, Towards Modeling Morality Computationally with Logic Programming, in: M.Flatt, H.-F. Guo (eds.), Procs. 16th Intl. Symp. on Practical Aspects of Declarative Languages (PADL'14), pp. 104-119, Springer LNCS 8324, January 20-21, San Diego, CA, USA, 2014.
L. Krippahl, L. M. Pereira, Teaching Critical
Thinking to Computer Science Engineering Students,
in: Pensamento
Crítico Contemporâneo -- primeiro congresso, December
14-15, Lisbon, Portugal, 2013.
Talk Video Talk Discussion
A.
Saptawijaya, L. M. Pereira, Incremental Tabling for
Query-Driven Propagation of Logic Program Updates,
in: K. McMillan, A. Middeldorp, A. Voronkov (eds.), Procs.
Intl. Conf. on Logic
for Programming Artificial Intelligence and Reasoning
(LPAR-19), Springer LNCS ARCoSS series, December 14-19,
Stellenbosch, South Africa, 2013. Talk Audio
A.
Saptawijaya, L. M. Pereira, Exploiting Logic Programming as a Computational
Tool to Model Morality, in:
OFAI restricted
Workshop on "A Construction Manual for Robot's Ethical
Systems: Requirements, Methods, Implementation, Tests",
September 27-28, Vienna, Austria, 2013.
Talk Audio
T. A. Han, L. M. Pereira, F. C. Santos, T. Lenaerts, Why so Hard to Say Sorry? in: K. Hindriks, M. de Weerdt (eds.), Procs. The 25th Benelux Conference on Artificial Intelligence (BNAIC 2013), November 7-8, Delft, The Netherlands, 2013.
M. Abrantes, L. M. Pereira, An Abductive Paraconsistent Semantics – MHp, in: R.
Rocha (ed.), Procs. 20th
Intl. Conf. on Applications of Declarative Programming
and Knowledge Management (INAP'13), pp.
284-298, September 11-13, Kiel, Germany, 2013.
A.
Saptawijaya, L. M. Pereira, Program Updating by Incremental and Answer
Subsumption Tabling, in: P. Cabalar, T. C.
Son (eds.), Procs. 12th
International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR'13), pp.
479-484, Springer LNAI 8148, September
15-19, 2013, Corunna, Spain.
Poster
A.
Saptawijaya, L. M. Pereira, Tabled Abduction in Logic Programs, in:
T. Swift, E. Lamma (eds.), Procs. Technical Communications 29th Intl. Conf. Logic
Programming (ICLP'13), August 24-29,
Istanbul, Turkey.
A.
Saptawijaya, L. M. Pereira, Towards Practical Tabled
Abduction in Logic Programs,
in: L. Correia et al. (eds.), Procs. 16th Portuguese Intl.
Conf. on Artificial Intelligence (EPIA
2013), pp. 223-234, Springer LNAI 8154, September
9-12, 2013, Angra do Heroísmo,
Açores, Portugal.
A.
Saptawijaya, L. M. Pereira, Implementing Tabled Abduction in
Logic Programs, in:
L. Correia et al. (eds.), Local Procs. 16th Portuguese
Intl. Conf. on Artificial Intelligence
(EPIA 2013), pp. 548-559, CMATI - Univ.
Azores, September 9-12, 2013,
Angra do Heroísmo, Açores, Portugal.
T. A. Han, L. M. Pereira, Intention-based
Decision Making for Strategic Scenarios Dynamics via
Computational Logic, in:
L. Correia et al. (eds.), Local Procs. 16th Portuguese
Intl. Conf. on Artificial Intelligence
(EPIA 2013), pp. 142-153,
CMATI - Univ. Azores, September 9-12,
2013, Angra do Heroísmo, Açores, Portugal.
T. A. Han, L. M. Pereira, F. C. Santos,
T. Lenaerts,
Why Is It So Hard to Say
Sorry? Evolution of Apology with Commitments in the
Iterated Prisoner's Dilemma, in:
F. Rossi (ed.), Procs. 23rd
Intl. J. Conf. on Artificial Intelligence (IJCAI
2013), pp. 177-183, AAAI Press,
August 2-9, 2013, Beijing, China. Poster
A.
Saptawijaya, L. M. Pereira, Towards Practical Tabled
Abduction Usable in Decision Making, in: L. C. Jain et al. (eds.), Procs. Fifth KES Intl.
Symposium on Intelligent Decision Technologies
(KES-IDT'13), Frontiers
of Artificial Intelligence and Applications (FAIA), IOS Press, June 26-28,
2013, Sesimbra, Portugal.
Slides
Appendix Slides
Handout
Talk Audio
L. M. Pereira, A.
Saptawijaya,
Abductive Logic Programming with Tabled Abduction,
in: H. Mannaert et al. (eds.), Procs. The
Seventh Intl. Conf. on Software Engineering Advances
(ICSEA
2012), pp. 548-556, ISBN 978-1-61208-230-1, ThinkMind,
November 18-23, 2012, Lisbon, Portugal.
Slides
handout Talk Audio
L. M. Pereira, A. M. Pinto, Examining the
Plausible Side-Effects of Abduction, extended
abstract, invited speaker in: O.
Pombo et al. (eds.), Intl.
Symp. on Epistemology, Logic and Language (ISELL2012),
pp. 20-21, October 29-31, 2012, Lisbon, Portugal.
L. M. Pereira, Turing
is Among Us, invited paper in: P.
Cabalar et al. (eds.), From
Philosophy to Computational Logic: Festschrift in honour of
David Pearce's first 60 years (Google online
book), pp.
197-222, September 28, 2012, Toulouse, France.
L. M. Pereira, Complex Networks of Mindful Entities,
extended abstract in: L. Magnani (ed.), MODEL-BASED
REASONING IN SCIENCE AND TECHNOLOGY - Theoretical and
Cognitive Issues (MBR'12),
pp. 19, June 21-23, 2012, Sestri Levante,
Italy. Talk Audio
T. A. Han, L. M. Pereira, F. C. Santos,
Intention Recognition,
Commitment and the Evolution of Cooperation,
in: Procs. 2012 IEEE World Congress on
Computational Intelligence (IEEE WCCI 2012),
Congress on Evolutionary Computation (IEEE
CEC 2012), IEEE
Xplore, pp. 1-8, ISBN: 9781467315104, and Curan
Associates Inc., June 10-15, 2012, Brisbane,
Australia.
T. A. Han, A.
Saptawijaya, L. M. Pereira, Moral Reasoning Under Uncertainty,
in: N. Bjorner et al. (eds.), Procs. of The 18th Intl. Conf.
on Logic for Programming, Artificial Intelligence and
Reasoning (LPAR-18),
pp. 212-227, ISBN: 978-3642287169, Springer LNCS
7180, March 11-15, 2012, Merida,
Venezuela.
T. A. Han, L. M. Pereira, F. C. Santos, The Emergence of Commitments and Cooperation, in:
V. Conitzer et al. (eds.), 11th Intl. Conf. on Autonomous
Agents and Multiagent Systems (AAMAS 2012), pp.
559-566, ISBN: 978-0-9817381-1-6, ACM
Proceedings, June 4-8, 2012, Valencia, Spain.
Poster too
A. M. Pinto, L. M. Pereira, Each normal logic program has a
2-valued Minimal Hypotheses semantics, in: H. Tompits et al. (eds.), Procs.
19th Intl. Conf. on Applications of Declarative Programming
and Knowledge Management (INAP'11),
pp. 248-262, and CoRR
Computing Research Repository, September 28-30, 2011,
Vienna, Austria.
A. M. Pinto, L. M. Pereira, Every normal logic program has a
2-valued Minimal Hypotheses semantics, in:
L. Antunes, H. Sofia
Pinto, R. Prada, P. Trigo (eds.), Procs. 15th
Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2011), ISBN:
978-989-95618-4-7, pp. 283-297, 10-13 October 2011, Lisbon,
Portugal. Talk Audio
T. A. Han, L. M. Pereira, Intention-based
Decision Making with Evolution Prospection, in:
L. Antunes, H. Sofia Pinto
(eds.), Procs. 15th Portuguese Intl. Conf. on
Artificial Intelligence (EPIA
2011), "Progress in Artificial Intelligence", ISBN:
978-3-642-24-768-2, pp. 254-267, Springer LNAI 7026, 10-13
October 2011, Lisbon, Portugal.
S. Costantini,
P. Dell'Acqua, L. M. Pereira, F. Toni, Meta-axioms and Complex Preferences in Evolving
Logical Agents, in:
L. Antunes, H. Sofia Pinto, R. Prada, P. Trigo
(eds.), Procs.15th Portuguese
Intl. Conf. on Artificial Intelligence (EPIA 2011), ISBN:
978-989-95618-4-7, pp. 580-594, 10-13 October, Lisbon,
Portugal. Talk Audio
S. Costantini,
P. Dell'Acqua, L. M. Pereira, F. Toni, Meta-axioms and Complex Preferences in Evolving
Logical Agents, in:
E. Pontelli, S. C. Tran (eds.), Procs. Logic Programming and
Multi-Agent Systems (LPMAS'11)
workshop of ICLP'11,
Computing Research Repository (CoRR), 9 July 2011,
Lexington, Kentucky, USA.
T. A. Han, L. M. Pereira, Context-dependent
Incremental Intention Recognition through Bayesian Network
Model Construction, in: A. Nicholson (ed.), Procs.
8th UAI Workshop on Bayesian Modeling Applications (BMAW 2011),
of Conf. on Uncertainty in Artificial Intelligence (UAI-2011), CEUR Workshop Proceedings
vol.818, pp. 50-58, ISSN: 1613-0073, URN:
urn:nbn:de:0074-818-8, URL:
http://ceur-ws.org/Vol-818/paper7.pdf, 14 July 2011,
Barcelona, Spain.
S. Costantini,
P. Dell'Acqua, L. M. Pereira, Conditional Learning of Rules
and Plans by Knowledge Exchange in Logical Agents,
in: N. Bassiliades, G. Governatori, A. Pasckhe (eds.), Procs.
5th Intl. Symp. on Rules (RuleML 2011) (RuleML2011@IJCAI),
"Rule-Based Reasoning, Programming, and Applications", pp.
250-265, ISBN: ISBN 978-3-642-22545-1, Springer LNCS 6826,
19-21 July 2011, Barcelona,
Spain.
T. A. Han, L. M. Pereira, Corpus-Based
Incremental Intention Recognition via Bayesian Network Model
Construction,
in: Procs. GAPRec
workshop, ICAPS
2011, pp. 1-8, 12 June 2011, Freiburg, Germany.
T. A. Han, L. M. Pereira, F. C. Santos,
The role of intention recognition
in the evolution of cooperative behavior,
in: Procs. IJCAI 2011,
pp. 1684-1689, AAAI
Press IJCAI 2011, ISBN: 978-1-57735-512-0, 16-22 July
2011, Barcelona, Spain.
L. M. Pereira, Tolerância Evolucionária, in: Procs. In-tolerância a in-suportável diferença, XIII Colóquio da Sociedade Portuguesa de Psicanálise (http://diferencaeintolerancia.blogspot.com/), 4-5 February 2011, Lisbon, Portugal. Talk Audio
S. Costantini,
P. Dell'Acqua, L. M. Pereira, Francesca Toni, Learning and Evolving Agents
in User Monitoring and Training,
in: P. Inverardi et al. (eds.), Procs. Congresso
Nazionale, Associazione Italiana per l’Informatica ed
il Calcolo Automatico - AICA 2010, 29-30 September - 1
October 2010, L'Aquila, Italia.
L. M. Pereira, A. M. Pinto, Inductive Tight Semantics
for Logic Programs, invited paper in: K.U. Leuven team
(eds.), Liber
Amicorum in honour of Maurice Bruynooghe, pp. 17-31,
Leuven, Belgium, 7 July 2010. Talk Audio
T. A. Han, L. M. Pereira, Anytime Intention
Recognition via Incremental Bayesian Network Reconstruction, in: Procs. Proactive
Assistant Agents (PAA 2010), pp. 20-25 (here),
AAAI
2010 Fall Symposium, 11-13 November 2010, Arlington,
Virginia, USA.
T. A. Han, L. M. Pereira, Collective Intention
Recognition and Elder Care, in: Procs. Proactive
Assistant Agents (PAA 2010) , pp. 26-31 (here),
AAAI
2010 Fall Symposium, 11-13 November 2010, Arlington,
Virginia, USA.
B. Mirkin, S. Nascimento, T. Fenner, L. M. Pereira, Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy, in: Y. Bi. M.A. Williams (eds.), Procs. 4th Intl. Conf. on Knowledge Science, Engineering & Management (KSEM 2010), pp. 329-340, Springer LNAI 6291, Belfast, Northern Ireland, UK, 1-3 September 2010.
T. A. Han, L. M. Pereira, Proactive
Intention Recognition for Home Ambient Intelligence, in: R.
López-Cózar et al. (eds), Procs. 5th
Workshop on Artificial
Intelligence Techniques for Ambient Intelligence (AITAmI'10), 6th
Intl. Conf. Intelligent Environments (IE'10),
pp. 91-100, IOS
Press "Ambient
Intelligence and Smart Environments - vol.8"
(ISBN 978-1-60750-638-6), Kuala Lumpur, Malaysia,
18-19 July 2010. slides short:
slides long:
S. Costantini,
P. Dell'Acqua, L. M. Pereira, A. Tocchio, Ensuring
Agent Properties under Arbitrary Sequences of Incoming Events, in: Procs. 17th RCRA International
Workshop on "Experimental evaluation of algorithms for
solving problems with combinatorial explosion", Bologna, Italy, 10-11 June 2010. (extended version here)
M. Alberti, P. Dell'Acqua, L. M. Pereira, Observation
Strategies for Event Detection with Incidence on Runtime
Verification, in: Procs. 17th RCRA International
Workshop on "Experimental evaluation of algorithms for
solving problems with combinatorial explosion", Bologna, Italy, June 10-11,
2010.
L. M. Pereira, A. M. Pinto, Tight Semantics for
Logic Programs, in: M. Hermenegildo, T. Schaub
(eds.), Procs. Technical Communications of 26th
Intl. Conf. Logic Programming (ICLP'10), pp.
34-143, volume
7 of Leibniz
International Proceedings in Informatics
(LIPIcs), Edinburgh, UK, July 2010. (extended
version here)
B. Mirkin, S. Nascimento, T. Fenner,
L. M. Pereira, A Hybrid Cluster-Lift Method
for the Analysis of Research Activities, in: M. Grana Romay, E.
Corchardo, M. Teresa Gracia-Sebastian (eds.), Procs. 5th Intl.
Conf. on Hybrid Artificial Intelligence Systems
(HAIS'10), pp. 152-161, Springer LNAI 6076, Part I,
San Sebastián, Spain, June 2010.
G. Lopes, L. M. Pereira, Prospective Storytelling Agents, in: M. Carro, R. Peña (eds.), Procs. 12th Intl. Symp. Practical Aspects of Declarative Languages (PADL'10), pp. 294-296, Springer LNCS 5937, Madrid, Spain, January 2010.
Moral Robot
saving Princess demo: Quicker
DEMO (.avi) DEMO (.avi)
DEMO cropped version (.avi)
B. Mirkin, S. Nascimento, L. M. Pereira, Visualization of activities of organizations based on a taxonomy of the substantive field, in Russian, in: Yu. Zhuravlev (ed.), Procs. "Mathematical methods for pattern recognition (MMRO-14)", ISBN 978-5-317-02947-0, pp. 560-562, MAKS Press Moscow, Suzdal, Russia, September 2009.
L. M. Pereira, T. A. Han, Intention Recognition with Evolution Prospection and Causal Bayesian Networks, Invited paper in: Procs. Intl. Symp. on Computational Intelligence for Engineering Systems, ISBN: 978-972-8688-62-2, ISEP, Porto, Portugal, 18-19 November 2009.
VIDEO
(.avi) [parts 1 - 4: 17:44 mins each; part 5: 4:37 mins] : Part
1, Part
2, Part
3, Part
4, Part
5 Talk Audio (in Portuguese)
L. M. Pereira, A. M. Pinto, Inspection Points and
Meta-Abduction in Logic Programs, in: S. Abreu, D. Seipel (eds.), Procs. 18th Intl. Conf.
on Applications of Declarative Programming and Knowledge
Management (INAP'09), pp. 171-184, U. Évora, Portugal,
November 2009. KEY
PDF
Talk Audio
L. M. Pereira, A. M. Pinto, Stable Model
implementation of Layer Supported Models by program
transformation, in: S.
Abreu, D. Seipel (eds.), Procs. 18th Intl. Conf.
on Applications of Declarative Programming and Knowledge
Management (INAP'09), pp. 185-198, U. Évora, Portugal, November 2009. KEY
PDF
Talk Audio
L. M. Pereira, A. M. Pinto, Adaptive Reasoning
for Cooperative Agents,
in: S. Abreu, D. Seipel (eds.), Procs. 18th Intl. Conf.
on Applications of Declarative Programming and Knowledge
Management (INAP'09), pp. 241-256, U. Évora, Portugal, November
2009. Talk Audio
L. M. Pereira, T. A. Han, Elder
Care via Intention Recognition and Evolution Prospection, in: S. Abreu, D. Seipel (eds.), Procs. 18th Intl. Conf.
on Applications of Declarative Programming and Knowledge
Management (INAP'09), pp. 5-20, U. Évora, Portugal, November
2009. Talk Audio
S. Costantini,
P. Dell'Acqua, L. M. Pereira, P. Tsintza, Runtime Verification of Agent
Properties, in: S.
Abreu, D. Seipel (eds.), Procs. 18th Intl. Conf.
on Applications of Declarative Programming and Knowledge
Management (INAP'09), pp. 257-271, U. Évora, Portugal, November
2009.
Talk Audio
L. M. Pereira, A. M. Pinto, Stable versus Layered
Logic Program Semantics (corrected), Invited paper in:
Procs. Fifth Latin
American Workshop on Non-Monotonic Reasoning 2009
(LANMR'09), pp. 3-27, CEUR-WS vol. 533, Apizaco, Tlaxcala,
México, November 2009. PPT
KEY
PDF
L. M. Pereira, T. A. Han, Intention
Recognition via Causal Bayes Networks plus Plan Generation, in: Seabra Lopes, L.; Lau, N.; Mariano, P.; Rocha,
L.M. (eds.), Progress in
Artificial Intelligence, Procs. 14th Portuguese Intl.Conf.
on Artificial Intelligence (EPIA'09), pp. 138-149,
Springer LNAI 5816, Aveiro, Portugal, October 2009.
L. M. Pereira, A. M. Pinto, Layer Supported
Models of Logic Programs,
short paper in: E. Erdem, F. Lin, T. Schaub (eds.), Procs. 10th Intl.
Conf. Logic Programming and Nonmonotonic Reasoning
(LPNMR'09), pp. 450-456, Springer LNCS 5753, Potsdam, Germany,
September 2009. (long version here)
T. Swift, A. M. Pinto, L. M. Pereira, Incremental Answer
Completion in the SLG-WAM,
in: D. S. Warren, P. Hill (eds.), Procs. 25th Intl. Conf.
Logic Programming (ICLP'09), pp. 519-524, Springer LNCS
5649, Pasadena, California, USA, July, 2009.
L. M. Pereira, A. M. Pinto, Side-Effect
Inspection for Decision Making, in: K. Nakamatsu et al. (eds.), Procs. First KES Intl.
Symposium on Intelligent Decision Technologies
(KES-IDT'09), pp. 139-150, "New Advances in Intelligent
Decision Technologies", Springer Studies in Computational
Intelligence vol.199, Himeji, Japan, April 2009. Talk Audio
Long Version:
L. M. Pereira, T. A. Han, Evolution
Prospection, in: K. Nakamatsu et al. (eds.),
Procs. First KES
Intl. Symposium on Intelligent Decision Technologies
(KES-IDT'09), pp. 51-64,
"New Advances in
Intelligent Decision Technologies", Springer Studies in Computational Intelligence
vol.199, Himeji, Japan,
April 2009. Talk Audio
Long Version:
L. M. Pereira, C. Ramli, Modelling
Probabilistic Causation in Decision Making, in: K. Nakamatsu et al. (eds.), Procs. First KES Intl.
Symposium on Intelligent Decision Technologies
(KES-IDT'09), pp. 85-96, "New Advances in Intelligent Decision
Technologies", Springer Studies in Computational Intelligence
vol.199, Himeji, Japan,
April 2009. Talk Audio
Long Version:
L. M. Pereira, A. M. Pinto, 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),
pp. 254-268,
Springer LNCS 5418, Savannah,
Georgia, USA, January 2009. Talk Audio
L. M. Pereira, P. Dell'Acqua, G. Lopes, On Preferring and
Inspecting Abductive Models,
Invited paper in:
A.Gill, T. Swift (eds.), Procs. 11th Intl. Symp.
Practical Aspects of Declarative Languages
(PADL'09), pp. 1-15, Springer LNCS
5418, Savannah,
Georgia, USA, January 2009. Talk Audio
S. Costantini, P. Dell'Acqua, L. M. Pereira, P. Tsintza, Specification and
Dynamic Verification of Agent Properties, in: M. Fischer et al. (eds.), 9th
Intl. Ws. on Computational Logic in Multi-Agent Systems
(CLIMA), Dresden, Germany, September 2008.
S. Costantini, P. Dell'Acqua, L. M. Pereira, A
Multi-layer Framework for Evolving and Learning Agents, in: M. T. Cox, A. Raja (eds.),
Procs. Metareasoning:
Thinking about thinking workshop at AAAI 2008, Chicago, USA, July 2008.
B. Mirkin, S. Nascimento, L. M. Pereira, Representing a
Computer Science Research Organization on the ACM Computing
Classification System, in:
P. Eklund, O. Haemmerlé (eds.), Procs. 16th Intl. Conf. on Conceptual Structures,
Toulouse, France, July
2008. 
L. M. Pereira, Gödel and
Computability,
in: J. M. Neves, M. F. Santos, J. M. Machado (eds.), Progress
in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf.
on Artificial Intelligence (EPIA'07), pp. 63-72,
Springer LNAI 4874, Guimarães, Portugal, December 2007. 
L. M. Pereira, A.
Saptawijaya, Modelling Morality with
Prospective Logic, in: J.
M. Neves, M. F. Santos, J. M. Machado (eds.), Progress in
Artificial Intelligence, Procs. 13th Portuguese Intl.Conf.
on Artificial Intelligence (EPIA'07), pp. 99-111,
Springer LNAI 4874, Guimarães, Portugal, December 2007. 
L. M. Pereira,
Gonçalo Lopes, Prospective Logic
Agents, in: J. M.
Neves, M. F. Santos, J. M. Machado (eds.), Progress in
Artificial Intelligence, Procs. 13th Portuguese Intl.Conf.
on Artificial Intelligence (EPIA'07), pp. 73-86,
Springer LNAI 4784, Guimarães, Portugal, December
2007. 
L. M. Pereira, Towards an
Evolutionary Symbiotic Epistemology, in: J. M. Neves, M. F. Santos, J. M. Machado
(eds.), Progress in Artificial Intelligence, local Procs. 13th Portuguese Intl.Conf.
on Artificial Intelligence (EPIA'07), Guimarães,
Portugal, December 2007. 
L. M. Pereira, A. M. Pinto, Approved Models for
Normal Logic Programs, in:
N. Dershowitz, A.Voronkov (eds.), Procs. 14th
Intl. Conf. on Logic for Programming Artificial
Intelligence and Reasoning (LPAR'07), Springer LNAI 4790,
Yerevan, Armenia, October 15-19, 2007.
L. M. Pereira, A.
Saptawijaya, Moral Decision Making
with ACORDA, in: N.
Dershowitz, A.Voronkov (eds.), short papers call, local
Procs. 14th
Intl. Conf. on Logic for Programming Artificial
Intelligence and Reasoning (LPAR'07), Yerevan, Armenia, October
15-19, 2007. 
L. M. Pereira, Gonçalo Lopes, P. Dell'Acqua, Pre and Post
Preferences over Abductive Models, in: J. Delgrande, W. Kießling (eds.), Procs. Multidisciplinary Workshop on
Advances in Preference Handling (M-PREF'07) at 33rd
Intl. Conf. on Very Large Data Bases (VLDB'07), Vienna, Austria,
September 23, 2007. 
L. M. Pereira, L. Krippahl, On
Teaching Critical Thinking to Engineering Students, in: Procs. The 13th Intl.
Conf. on Thinking, Norrköping, Sweden, June 17-21,
2007. 
L. M. Pereira, R. D. Viegas, Architectural Design via Declarative Programming, in: Procs. 9th Intl. Conf. on Enterprise Information Systems (ICEIS'07), Area of "Artificial Intelligence and Decision Support Systems", Funchal, Madeira, Portugal, June 12-16, 2007.
L. M. Pereira, A. M. Pinto, Reductio ad Absurdum
Argumentation in Normal Logic Programs, in: G. Simari, P. Torroni (eds.),
Procs. Workshop on Argumentation and Non-Monotonic
Reasoning
(ArgNMR'07), at Conf. Logic Programming and
Non-Monotonic Reasoning (LPNMR'07), Tempe, Arizona, USA, May
14, 2007. 
S. Costantini, P. Dell'Acqua, L. M. Pereira, F. Toni, Towards a Model of
Evolving Agents for Ambient Intelligence, in: F. Sadri, K. Stathis (eds.),
Procs. Symposium on "Artificial Societies for
Ambient Intelligence" (ASAmI'07), at AISB Convention, Newcastle, UK, April 3,
2007. 
L. M. Pereira, Evolutionary
Psychology and the Unity of Sciences - Towards an evolutionary
epistemology, Invited talk
at First Lisbon Colloquium for the
Philosophy of Science - The Unity of Science: Non
Traditional Approaches, Lisbon, Portugal, October
25-28, 2006. 
Talk Audio
P. Dell'Acqua, Anna Lombardi, L. M. Pereira, A Logic-Based Approach
to Model Supervisory Control Systems, in: 16th International Symposium on
Methodologies for Intelligent Systems (ISMIS'06), Procs. Springer LNAI, Bari, Italy,
September 27-29, 2006.
Gonçalo Lopes, L. M. Pereira, Prospective
Programming with ACORDA,
in: Empirically Successful Computerized
Reasoning
(ESCoR'06) workshop at The 3rd International Joint
Conference on Automated Reasoning (IJCAR'06),
Seattle, USA, August 21, 2006.
P. Dell'Acqua, Anna Lombardi, L. M. Pereira, Modelling adaptive
controllers with evolving logic programs, in: 3rd Int.Conf. on Informatics in
Control, Automation and Robotics (ICINCO'06), Procs. of subarea
Intelligent Control Systems and Optimization, Setúbal,
Portugal, 1-5 August, 2006.
P. Santana, L. M. Pereira, Emergence of
cooperation through mutual preference revision, in: M. Ali, D.
Richard (eds.), Procs. The 19th Intl.Conf. on Industrial
& Engineering Applications of Artificial Intelligence
& Expert Systems (IEA/AIE'06), Springer, LNAI 4031,
Annecy, France, June 27-30, 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,
A. M. Pinto, Revised Stable Models -- a
Semantics for Logic Programs, in: C. Bento, A. Cardoso, G. Dias (eds.), Progress
in Artificial Intelligence, Procs. 12th
Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05), pp. 29-42, Springer,
LNAI 3808, Covilhã, Portugal, December
2005. 
Talk Audio
P. Dell'Acqua, L. M. Pereira, Preference
Revision via Declarative Debugging, in: C. Bento, A. Cardoso, G. Dias
(eds.), Progress in Artificial Intelligence, Procs. 12th Portuguese Intl.Conf.
on Artificial Intelligence (EPIA'05), pp. 18-28 ,
Springer, LNAI 3808, Covilhã, Portugal, December
2005. 
J. Alcântara, C. V. Damásio, L. M. Pereira, A Well-Founded Semantics
with Disjunction, in: M.
Gabbrielli, G. Gupta (eds.), Procs. 21st Intl.Conf. on Logic Programming (ICLP '05), pp. 341-355, Springer,
LNCS 3668, Sitges (Barcelona), Spain, October 2 - 5,
2005. 
P. Dell'Acqua, L. M. Pereira, Preferential
theory revision,
in: L. M. Pereira, G. Wheeler (eds.), Procs. Computational Models of Scientific
Reasoning and Applications (CMSRA-IV), pp. 69-84,
Universidade Nova de Lisboa, Lisbon, Portugal, September
21-23, 2005. Talk Audio
P. Dell'Acqua, Anna Lombardi, L. M. Pereira, Modelling Hybrid
Control Systems with Behaviour Networks, in: 2nd Int.Conf. on Informatics in Control,
Automation and Robotics (ICINCO'05), J. Filipe, J.-L.
Ferrier, J. A. Cetto (eds.), Procs. of subarea
Intelligent Control Systems and Optimization Vol.1, pp.
98-105, INSTICC Press, Barcelona, Spain, September 14-17,
2005. 
G. Guimarães, L. M. Pereira, Inferring
Definite-Clause Grammars to Express Multivariate Time Series, in: M. Ali, F. Esposito (eds.),
Procs. The 18th Intl.Conf. on Industrial &
Engineering Applications of Artificial Intelligence &
Expert Systems (IEA/AIE'05), pp. 332-341, Springer, LNAI 3533, Bari,
Italy, June 22-25, 2005. 
G. Wheeler, L. M. Pereira,
Chrisholm, Naturalism, and the
Role of Logic in Epistemology, Sociedade Portuguesa de Filosofia
Analítica, IIº Encontro Nacional de Filosofia Analítica
(ENFA-2), U. Porto, Portugal, October
7-9, 2004. 
J. Alcântara, C. V. Damásio, L. M. Pereira, A declarative characterisation of disjunctive paraconsistent answer sets, Poster in: Procs. 16th European Conf. on Artificial Intelligence (ECAI'04), Valencia, Spain, August 22-27, 2004.
L. M. Pereira, A. M. Pinto, Revised Stable Models -
a new semantics for logic programs, Invited paper in: Procs. Convegno Italiano di Logica Computazionale (CILC'04), Parma, Italy,
June 16-17, 2004. 
More
examples Talk Audio
A. Monteiro, L. M. Pereira, Updating Legal
Documents - the case of phytosanitary protection of vegetables, in: Procs. Intl.Conf. on Knowledge Engineering and
Decision Support (ICKEDS'04), Porto, Portugal, July 21-23, 2004. 
C. V. Damásio, L. M. Pereira, Sorted Monotonic
Logic Programs and their Embeddings, in: Procs. Information Processing and
Management of Uncertainty in Knowledge-Based Systems (IPMU'04), Perugia, Italy, July 4-9, 2004. 
J. F. Castro, L. M. Pereira, Abductive Validation
of a Power-Grid Expert System Diagnoser, in: B.Orchard, C.Yang, and M. Ali
(eds.), Innovations in Applied Artificial Intelligence: Procs.
17th Intl. Conf. on Industrial &
Engineering Applications of Artificial Intelligence &
Expert Systems
(IEA-AIE'04), pp. 838-847, Springer, LNAI 3029,
Ottawa, Canada, May 17-20, 2004. 
J. Simão, L. M. Pereira, What's Cool? Modelling Fashion-like Collective Behavior Emergence from Individual Neuro-psychological Conditioning, 5th Workshop on Agent-Based Simulation (ABS-2004), Lisbon, Portugal, May 3-5, 2004.
J. Simão, L. M. Pereira, Neuro-Psychological
Social Theorizing and Simulation with the Computational
Multi-Agent System Ethos,
Invited paper in: Procs. Congresso
em Neurociências Cognitivas, Évora, Portugal, November
2003. 
Talk Audio (in Portuguese ) Transcrição
G. Wheeler, L. M. Pereira, A Note on Epistemology and Logical Artificial Intelligence, in: C. Delrieux and J. Legris (eds.), Procs. 3rd Intl.Workshop on Computational Models of Scientific Reasoning and Applications (III CMSRA), pp. 207-221, Institute for the Studies on Science and Technology, and Argentine National Library, Buenos Aires, Argentina, September, 2003.
P. Dell'Acqua, L. M. Pereira, Common-sense reasoning as proto-scientific agent activity, in: C. Delrieux and J. Legris (eds.), Procs. 3rd Intl.Workshop on Computational Models of Scientific Reasoning and Applications (III CMSRA), pp. 65-78, Institute for the Studies on Science and Technology, and Argentine National Library, Buenos Aires, Argentina, September, 2003.
J. J. Alferes, C. V. Damásio, L. M. Pereira, Semantic Web Logic Programming Tools, Invited paper in: F. Bry, N. Henze, J. Maluszynski (eds.), Procs. Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'03), pp. 16-32, Springer, LNCS 2901. At 19th Intl.Conf. on Logic Programming (ICLP '03), Mumbai, India, December, 2003.
J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira, An Evolvable Rule-Based
E-mail Agent, in: F.
Moura-Pires, S. Abreu (eds.), Progress in Artificial
Intelligence, Procs. 11th Portuguese Intl.Conf. on Artificial
Intelligence (EPIA'03), pp. 394-408, Springer, LNAI , Beja, Portugal,
December 2003.
P. Dell'Acqua, Mattias Engberg, L. M. Pereira, An Architecture for a Rational Reactive Agent, in: F. Moura-Pires, S. Abreu (eds.), Progress in Artificial Intelligence, Procs. 11th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'03), pp. 379-393, Springer, LNAI , Beja, Portugal, December 2003.
J. Simão, P. M. Todd, L. M. Pereira, What's Cool?
Modelling Fashion-like Collective Behavior Emergence from
Individual Neuro-psychological Conditioning, Poster in: 1st Conf. European Social Simulation
Association (SIMSOC VI), Groningen, The Netherlands, September
2003. 
J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira, An
Evolving Agent with EVOLP,
in: N. Leone, P. Rullo (eds.), Procs. of APPIA-GULP-PRODE'03 Joint Conf. on
Declarative Programming (AGP'03), Reggio Calabria, Italy,
September 2003.
J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira, Logic Programming for
Evolving Agents, in: M.
Klusch, A. Omicini, S. Ossowski (eds.), Procs. of Cooperative Information Agents (CIA'03), Helsinki, Finland, August
2003.
J. Alcântara, C. V. Damásio, L. M. Pereira, On Contradictions and their Propagation in Paraconsistent Logic Programs, in: Procs. III World Congress on Paraconsistency (WCP3), Toulouse, France, July 2003.
J. Simão, L. M. Pereira, Ethos: a MAS framework
for modelling human social behavior and culture, in: Jean-Pierre Müller (ed.),
Procs. Agent-Based Simulation 4 (ABS4), pp. 87-92, SCS
European Publ. House, Montpellier, France, April 2003. 
P. Dell'Acqua, L. M. Pereira, A Logical Framework
for Modelling eMAS, in: V. Dahl, P. Wadler (eds.), Procs. Practical Aspects of Declarative Languages (PADL'03), New Orleans, Louisiana,
USA, pp. 241-255, Springer, LNCS 2562, 2003.
J. A. Leite, J. J. Alferes, L. M. Pereira, MINERVA - A Dynamic Logic Programming Agent Architecture, in: J. J. Meyer, M. Tambe (eds.), Intelligent Agents VIII, pp. 141-157, Springer, LNAI 2333, 2002.
J. J. Alferes,
A. Brogi, J. A. Leite,
L. M. Pereira,
Computing
Environment-Aware
Agent Behaviours with Logic Program Updates, in: A. Pettorossi (ed),
Logic Based Program Synthesis and Transformation, 11th
Intl.Workshop (LOPSTR'01), Selected Papers, pp. 216-232,
Springer, LNCS 2372, Paphos, Cyprus, November 2002. 
J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira, Evolving Logic Programs, in: S. Flesca, S. Greco, N. Leone,
G. Ianni (eds.), Procs. of the 8th European Conf. on Logics in
Artificial Intelligence (JELIA'02), pp. 50-61, Springer, LNCS
2424, Cosenza, Italy, September 2002.
J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, A
Language for Multi-dimensional Updates, in: J. Dix, J. A. Leite, K. Satoh
(eds.), Procs. of the 3rd Intl.Workshop on Computational Logic
in Multi-Agent Systems, (CLIMA'02), pp. 19-34, no. 93 of
Datalogiske Skrifter (Writings on Computer Science), Roskilde
University, Denmark, 2002. Also in Electronic
Notes in Theoretical Computer Science 70(5), 2002.
J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, A
Language for Updates with Multiple Dimensions, in: J. J. Navarro (ed.), Procs. of
the APPIA-GULP-PRODE'02 Joint Conf. on Declarative Programming
(AGP'02), Madrid, Spain, September 2002. 
J. Alcântara, C. V. Damásio, L. M. Pereira, Paraconsistent
Logic Programs, in: S.
Flesca, S. Greco, N. Leone, G. Ianni (eds.), Procs. of the 8th
European Conf. on Logics in Artificial Intelligence
(JELIA'02), pp. 345-356, Springer, LNCS 2424, Cosenza, Italy,
September 2002.
J. Alcântara, C. V. Damásio, L. M. Pereira, Paraconsistent Logic
Programs, in: Procs. Workshop on Paraconsistent
Logic (WoPaLo'02), at the 14th European Summer School in Logic, Language
and Information (ESSLLI'02), published on-line in CLE e-Prints Vol 2(7), ISSN 1519-9681. Trento, Italy, August
2002. 
E. Lamma, L. M. Pereira, F. Riguzzi, Belief Revision via Lamarckian Evolution, in: C. Delrieux (ed.), 2nd Intl.Workshop on Computation Models of Scientific Reasoning and Applications (II CMSRA), online procedings, http://www.lip.uns.edu.ar/cmsra/, held at IC-AI 2002 Conf., Las Vegas, Nevada, USA, June 2002. CD-ROM Procs. of whole IC-AI 2002 published by CSREA.
L. M. Pereira, On Philosophical Incidences of Logic Programming, in: C. Delrieux (ed.), 2nd Intl.Workshop on Computation Models of Scientific Reasoning and Applications (II CMSRA), online procedings, http://www.lip.uns.edu.ar/cmsra/, held at IC-AI 2002 Conf., Las Vegas, Nevada, USA, June 2002. CD-ROM Procs. of whole IC-AI 2002 published by CSREA.
P. Dell'Acqua, L. M. Pereira, A. Vitória, User
preference information in query answering, in: A. Motro, T. Andreasen (eds.),
Fifth Intl.Conf. on Flexible Query Answering Systems
(FQAS'02), pp. 163-173, Springer, LNAI 2522, Copenhagen,
Denmark, October 2002.
P.
Dell'Acqua,
U. Nilsson, L. M. Pereira, A Logic Based
Asynchronous Multi-Agent System, in: J. Dix, J. A. Leite, K. Satoh (eds.), Procs. of
the 3rd Intl.Workshop on Computational Logic in Multi-Agent
Systems, (CLIMA'02), pp. 63-78, no. 93 of Datalogiske Skrifter
(Writings on Computer Science), Roskilde University,
Copenhagen, Denmark, August 2002. Also in Electronic
Notes in Theoretical Computer Science 70(5), 2002.
J. J. Alferes,
P. Dell'Acqua, L. M. Pereira,
A Compilation of Updates
plus Preferences,
in: S. Flesca, S. Greco, N. Leone, G. Ianni (eds.), Procs. of
the 8th European Conf. on Logics in Artificial Intelligence
(JELIA'02), pp. 62-73, Springer, LNCS 2424, Cosenza, Italy,
September 2002. 
J. A. Leite, J. J. Alferes, L. M. Pereira, MINERVA
- A Dynamic Logic Programming Agent Architecture, in: J. J. Meyer, M. Tambe (eds.),
Pre-Procs. of the Eighth Intl.Workshop on Agent Theories,
Architectures, and Languages (ATAL'01), pp. 133-145, Seattle,
Washington, USA, August 2001. 
J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira, Environment-aware
Computations via Program Updates, in: A. Pettorossi (ed), Pre-Procs. of the Eleventh
Intl.Workshop on Logic-based Program Synthesis and
Transformation (LOPSTR'01), pp. 112-123, Paphos, Cyprus,
November 2001.
J. A. Leite, J. J. Alferes, L. M. Pereira, On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints, in: P. Brazdil, A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'01), pp. 276-289, Springer, LNAI 2258, Porto, Portugal, December 2001.
P. Dell'Acqua, J. A. Leite, L. M. Pereira, Evolving
Multi-Agent Viewpoints - an architecture, in: P. Brazdil, A. Jorge (eds.),
Progress in Artificial Intelligence, 10th Portuguese
Intl.Conf. on Artificial Intelligence (EPIA'01), pp.
169-182, Springer, LNAI 2258, Porto, Portugal, December
2001.
J. A. Leite, J. J. Alferes, L. M. Pereira, Combining
Societal Agents' Knowledge,
in: L. M. Pereira, P. Quaresma (eds.), Procs. of the
APPIA-GULP-PRODE'01 Joint Conf. on Declarative Programming
(AGP'01), pp. 313-327, Évora, Portugal, September 2001.
J. A. Leite, J. J. Alferes, L. M. Pereira, Multi-dimensional
Dynamic Knowledge Representation, in: T. Eiter, W. Faber, M. Truszczynski, Procs. of
the Sixth Intl.Conf. on Logic Programming and Nonmonotonic
Reasoning (LPNMR'01), pp. 365-378, Springer, LNAI 2173,
Vienna, Austria, September 2001.
C. V. Damásio, L. M. Pereira, Antitonic Logic
Programs, in: T. Eiter, W.
Faber, M. Truszczynski (eds.), Procs. of the Sixth Intl.Conf.
on Logic Programming and Nonmonotonic Reasoning (LPNMR'01),
pp. 379-392, Springer, LNAI 2173, Vienna, Austria, September
2001. 
C. V. Damásio,
L. M. Pereira,
Monotonic and Residuated
Logic Programs, in: S.
Benferhat, P. Besnard (eds.), Procs. of the 6th European Conf.
on Symbolic and Quantitative Approaches to Reasoning with
Uncertainty (ECSQARU-2001), pp. 748-759, Springer, LNAI 2143,
Toulouse, France, September 2001. 
E. Lamma, L. M. Pereira, F. Riguzzi, Belief Revision by Lamarckian Evolution, in: E. J. W. Boers et al (eds.), Applications of Evolutionary Computing - Procs. of the First European Workshop on Evolutionary Learning (EvoLEARN2001), pp. 404-416, Springer, LNCS 2037, Como, Italy, April 2001.
P. Dell'Acqua, L. M. Pereira, Preferring and
Updating in Multi-Agents,
in: 9th Intl.DDLP-Workshop on "Deductive Databases and
Knowledge Management", which is held in the Stream "Content
Management" of the 14th Intl.Conf. on Applications of Prolog
(INAP'2001), Tokyo, Japan, October 2001.
P. Dell'Acqua, L. M. Pereira, Enabling Agents to
Update their Knowledge and to Prefer, in: P. Brazdil, A. Jorge (eds.),
Progress in Artificial Intelligence, 10th Portuguese
Intl.Conf. on Artificial Intelligence (EPIA'01), Springer,
LNAI 2258, Porto, Portugal, December 2001.
E. Lamma, L. M. Pereira, F. Riguzzi, Belief Revision by Multi-Agent Genetic Search, in: J. Dix, K. Satoh (eds.), Procs. of the ICLP-2001 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'01), Paphos, Cyprus, December 2001.
P. Dell'Acqua, L. M. Pereira, Preferring and Updating in Abductive Multi-Agents, in: A. Omicini, P. Petta, R. Tolksdorf (eds.), Engineering Societies in the Agents World II, Second Intl.Workshop (ESAW '01). Revised Papers, pp. 57-73, Springer, LNCS 2203, Prague, Czech Republic, July 2002.
E. Lamma, L. M. Pereira, F. Riguzzi, A System for Belief Revision by Multi-Agent Genetic Search, in: J. Dix, K. Satoh (eds.), Procs. of the ICLP-2001 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'01), Paphos, Cyprus, December 2001.
J. A. Leite, J. J. Alferes, L. M. Pereira, Multi-dimensional Dynamic Logic Programming, in: F. Sadri, K. Satoh (eds.), Procs. of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), London, England, July 2000.
J. A. Leite, J. J. Alferes, L. M. Pereira, Dynamic Logic
Programming with Multiple Dimensions, in: L. Garcia, M. C. Meo (eds.),
Procs. of the APPIA-GULP-PRODE'00 Joint Conf. on Declarative
Programming (AGP'00), La Habana, Cuba, December 2000.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, P. Quaresma, An Exercise with
Dynamic Logic Programming,
in: L. Garcia, M. Chiara Meo (eds.), Procs. of the
APPIA-GULP-PRODE'00 Joint Conf. on Declarative Programming
(AGP'00), La Habana, Cuba, December 2000.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, P. Quaresma, Dynamic Knowledge Representation and its Applications, in: S. Cerri, D. Dochev (eds.), Procs. of the 9th Intl.Conf. on Artificial Intelligence - Methodology, Systems, Applications (AIMSA'00), pp. 1-10, Springer, LNAI 1904, Varna, Bulgaria, September 2000.
E. Lamma, L. M. Pereira, F. Riguzzi, Logic Aided
Lamarckian Evolution, in:
R.Michalski, P.Brazdil (eds.), Procs. of The Fifth
Intl.Workshop on Multistrategy Learning, pp 59-73, published
by LIAAC - Universidade do Porto, Guimarães,
Portugal, June 2000.
J. J. Alferes, H. Herre, L. M. Pereira, Partial Models of Extended Generalized Logic Programs, in: J. Lloyd et al. (eds.), Procs. of First Intl.Conf. on Computational Logic (CL2000), pp. 149-163, Springer, LNAI 1861, London, UK, July 2000.
J. J. Alferes, L. M. Pereira, Updates plus
Preferences, in: M. O.
Aciego, I. P. de Guzmán, G. Brewka, L. M. Pereira (eds.),
Logics in AI, Procs. of JELIA'00, pp. 345-360, Springer, LNAI
1919, Málaga, Spain, September-October 2000.
C. V. Damásio, L. M. Pereira, Hybrid
probabilistic Logic Programs as Residuated Logic Programs, in: M. O. Aciego, I. P. de Guzmán,
G. Brewka, L. M. Pereira (eds.), Logics in AI, Procs. of
JELIA'00, pp. 57-72, Springer, LNAI 1919, Málaga, Spain,
September-October 2000.
J. Gartner, T. Swift, A. Tien, C. V. Damásio, L. M. Pereira, Psychiatric Diagnosis
from the Viewpoint of Computational Logic, in: J. Lloyd et al. (eds.), Procs. of First
Intl.Conf. on Computational Logic (CL 2000), pp. 1362-1376,
Springer, LNAI 1861, London, UK, July 2000.
J. A. Leite, F. C. Pereira, A. Cardoso, L. M. Pereira, Metaphorical Mapping consistency via Dynamic Logic Programming, in: G. Wiggins (ed.), Procs. of the AISB'00 Symposium on Creative and Cultural Aspects and Applications of AI and Cognitive Science, pp. 41-50, AISB, Birmingham, UK, April 2000.
J. J. Alferes, J. A. Leite, L. M. Pereira, P. Quaresma, Planning as
Abductive Updating, in: D.
Kitchin (ed.), Procs. of the AISB'00 Symposium on AI Planning
and Intelligent Agents, pp. 1-8, AISB, Birmingham, UK, April
2000. 
J. Gartner, T. Swift, A. Tien, C. V. Damásio, L. M. Pereira, Psychiatric
Diagnosis from the Viewpoint of Computational Logic, in: 7th Intl.Conf. on Principles of
Knowledge Representation and Reasoning, NMR ws on Abductive
Reasoning, Breckenridge, Colorado, USA, April 2000.
C. V. Damásio, L. M. Pereira, T. Swift, Coherent
Well-founded Annotated Logic Programs, in: M. Gelfond, N. Leone, G.
Pfeifer (eds.), Procs. of the 5th Intl.Conf. on Logic
Programming and Nonmonotonic Reasoning, pp. 262-276, Springer,
LNAI-1730, El Paso, Texas, USA, December, 1999.
P. Dell'Acqua, L. M. Pereira, Updating Agents, in: S. Rochefort, F. Sadri, F. Toni
(eds.), Procs. of the ICLP'99 Workshop on Multi-Agent Systems
in Logic (MASL'99), Las Cruces, New Mexico, USA, December
1999.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, LUPS - a language for
updating logic programs,
in: M. Gelfond, N. Leone, G. Pfeifer (eds.), Procs. of the 5th
Intl.Conf. on Logic Programming and Nonmonotonic Reasoning
(LPNMR'99), pp. 162-176, Springer, LNAI-1730, El Paso, Texas,
USA, December, 1999.
J. J. Alferes, L. M. Pereira, T. Swift, Well-founded
Abduction via Tabled Dual Programs, in: D. De Schreye (ed.), Procs. of the 16th
Intl.Conf. on Logic Programming (ICLP'99), pp. 426-440, MIT
Press, Las Cruces, New Mexico, USA, December 1999. 
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, P. Quaresma, Preliminary
exploration on actions as updates, in: M. C. Meo, M. Vilares-Ferro (eds.), Procs. of the
1999 Joint Conf. on Declarative Programming (AGP'99), pp.
259-271, L'Aquila,
Italy, September 1999.
E. Lamma, F. Riguzzi, L. M. Pereira, Learning Three-Valued
Logic Programs, in: S.
Dzeroski, P. Flach (eds.) Late breaking papers, Procs. of the
Ninth Intl.Workshop on Inductive Logic Programming (ILP'99),
pp. 30-35, Bled, Slovenia, June 1999.
E. Lamma, F. Riguzzi, L. M. Pereira, Agents Learning in
a Three-valued Logical Setting, in: A. Panayiotopoulos (ed.), Procs, Workshop on
Machine Learning and Intelligent Agents, in conjunction with
Machine Learning and Applications, Advanced Course on
Artificial Intelligence (ACAI'99), pp 21-30, ECCAI - European
Coordinating Committee Artificial Intelligence, Chania,
Greece, 1999.
P. Froehlich, C. V. Damásio, W. Nejdl, L. M. Pereira, M. Schroeder, Using Extended
Logic Programming for Alarm-Correlation in Cellular Phone
Networks, in: Procs. of The
Twelfth Intl.Conf. on Industrial & Engineering
Applications of Artificial Intelligence & Expert Systems
IEA/AIE-99, May 99, Cairo, Egypt, Springer, 1999.
P. Quaresma, L. M. Pereira, Modelling Agent
Interaction in Logic Programming, in: O. Barenstein (ed.), Procs. of the
11th Intl.Conf. on Applications of Prolog (INAP'98),
Tokyo, Japan, September 1998. 
J. A. Leite, L. M. Pereira, Generalizing updates: from models to programs, in: J.Dix, L.M. Pereira, T.C.Przymusinski (eds), Selected extended papers from the LPKR'97: ILPS'97 workshop on Logic Programming and Knowledge Representation, Springer, LNAI 1471, 1998.
R. Li, L. M. Pereira, V. Dahl, Refining Action Theories through Abductive Logic Programming, in: J.Dix, L.M. Pereira, T.C.Przymusinski (eds), Selected extended papers from the LPKR'97: ILPS'97 workshop on Logic Programming and Knowledge Representation, Springer, LNAI 1471, 1998.
J. A. Leite, L. M. Pereira, Iterated Logic Program Updates, in: J. Jaffar (ed.), Procs. of the 1998 Joint Intl. Conf. and Symposium on Logic Programming (JICSLP'98), Manchester, England, pp. 265-278, MIT Press, June 1998.
J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska, T. C. Przymusinski, Dynamic Logic
Programming, in: A. Cohn,
L. Schubert, S. Shapiro (eds.), Procs. of the
Sixth Intl.Conf. on Principles of Knowledge Representation
and Reasoning (KR'98), Trento, Italy, pp. 98-109, Morgan
Kaufmann, June 1998. 
E. Lamma, L. M. Pereira, F. Riguzzi, Learning with
extended logic programs, in: KR'98 Ws. On Non-Monotonic Reasoning (LP Track),
pp. 99-108, Trento, Italy, June 1998.
E. Lamma, F. Riguzzi, L. M. Pereira, Learning in a
Three-valued Setting, in:
J.Lloyd (ed.) Compulog-Net
and Machine Learning-Net Workshop at JICSLP'98, pp.
63-69, Manchester June 1998.
J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska, T. C. Przymusinski, Dynamic Logic Programming, in: J. L. Freire, M. Falaschi, M. Vialres-Ferro (eds.), Procs. of the 1998 Joint Conf. on Declarative Programming (AGP'98), La Coruña, Spain, pp. 393-408, July 1998.
E. Lamma, F. Riguzzi, L. M. Pereira, Strategies for
Learning with Extended Logic Programs, in: F. Esposito, R. S. Michalski,
L. Saitta (eds.), Procs. of
the Forth Intl.Workshop on Multistrategy Learning (MSL'98),
Desenzano del Garda, Italy, pp. 99-108, June 1998.
J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska, T. C. Przymusinski, Updates of Logic
Programs by Logic Programs,
in: Procs.
IIS'98:
Seventh
Intl. Symposium on Intelligent Information Systems
(Former WIS Series),
pp. 160-177, Malbork,
Poland, June 1998. J
J. J. Alferes, L. M. Pereira, Tabling Abduction, in: 1st Intl.Ws. Tabulation in Parsing and Deduction
(TAPD'98), Paris,
France, pp. 75-82, April 1998.
C. V. Damásio, L. M. Pereira, A general tabulation procedure for extended constraint logic programs, in: 1st Intl.Ws. Tabulation in Parsing and Deduction (TAPD'98), Paris, France, pp. 67-74, April 1998.
J. A. Leite, L. M. Pereira, Generalizing updates: from models to programs, in: LPKR'97: ILPS'97 workshop on Logic Programming and Knowledge Representation , Port Jefferson, Long Island, New York, USA, 1997.
L. M. Pereira, R. Li, Reasoning about Actions with Abductive Logic Programming, in: E. Costa, A. Cardoso (eds.), Progress in Artificial Intelligence, 8th Portuguese Intl.Conf. in Artificial Intelligence (EPIA'97), Invited talk, pp 361-388, Springer, LNAI 1323, Coimbra, Portugal, December 1997.
R. Li, L. M. Pereira, V. Dahl, Refining Action Theories through Abductive Logic Programming, in: LPKR'97: ILPS'97 workshop on Logic Programming and Knowledge Representation , Port Jefferson, Long Island, New York, USA, 1997.
J. Dix, L. M. Pereira, T. C. Przymusinski, Prolegomena to Logic Programming and Non-Monotonic Reasoning, in: J. Dix, L.M. Pereira, T. Przymusinski (eds.), Non-Monotonic Extensions of Logic Programming, Selected papers from NMELP’96, pp. 1-36, Springer, LNAI 1216, 1997.
L. M. Pereira, R. Li, Reasoning about
Actions with Abductive Logic Programming, Invited paper in: Intl. Symposium
on "Logic, Philosophy, and Computer Science", Queretaro,
Mexico, September 1997. 
R. Li, V. Dahl, L. M. Pereira, M. Scurtescu, Dealing with Exceptions in Textual Databases, in P. McFetridge (ed.), Proc. of NLDB'97, pp. 126-135, Vancouver, Canada, June 1997.
C. V. Damásio, L. M. Pereira, A paraconsistent
semantics with contradiction support detection, in J. Dix, U. Furbach, A. Nerode
(eds), Logic Programming and NonMonotonic
Reasoning, 4th Intl.Conf., LPNMR'97, Springer, LNAI
1265, pp. 224-243, Dagstuhl, Germany, July 1997.
C. V. Damásio, L. M. Pereira, M. Schroeder, REVISE: Logic Programming and Diagnosis, in: J. Dix, U. Furbach, A. Nerode (eds), Logic Programming and NonMonotonic Reasoning, 4th Intl.Conf., LPNMR'97, pp.353-362, Springer, LNAI 1265, Dagstuhl, Germany, July 1997.
J. J. Alferes, L. M. Pereira, Update-Programs can
Update Programs, in: J.
Dix, L.M. Pereira, T. Przymusinski (eds), Non-Monotonic
Extensions of Logic Programming, Selected papers
from NMELP’96, pp. 110-131, Springer,
LNAI 1216, 1997. 
C. V. Damásio, L. M. Pereira, Default negation in
the heads: why not?, in: R.
Dyckhoff et al (eds.), Extensions of Logic
Programming (ELP'96),
Leipzig, LNAI 1050, pp. 103-118, Springer,
1996. 
R. Li, L. M. Pereira, Maintenance of
Consistency in Well-Founded Models of Extended Logic Programs
with Explicit Negation, in
IBERAMIA'96: 5th Ibero-American Conf. on
Artificial Intelligence, Cholula, Puebla, Mexico,
October 28 - November 1, 1996.
J. J. Alferes, L. M. Pereira, T. C. Przymusinski, Strong and explicit
negation in non-monotonic reasoning and logic programs, in: J. J. Alferes, L. M. Pereira,
E. Orlowska (eds.), Logics in Artificial
Intelligence (JELIA'96),
European Workshop, LNAI 1126, pp.143-163,
Springer, 1996. 
R. Li, L. M. Pereira, Updating Temporal
Knowledge Bases with the Possible Causes Approach, in: A. M. Ramsay (ed.), Artificial Intelligence: Methodology, Systems,
Applications, Frontiers in Artificial Intelligence and
Applications, pp. 148 - 157, IOS Press, 1996. (This paper
received the Best Paper Award from the Program Committee of
AIMSA'96.) 
J. J. Alferes, L. M. Pereira, T. C. Przymusinski, "Classical'' Negation in Non-Monotonic Reasoning and Logic Programming, in: B. Daemon (ed.), AI and Mathematics Workshop, Fort Lauderdale, Florida, USA, January 1996.
M. Schroeder, I. Mora, L. M. Pereira, A Deliberative and Reactive Diagnosis Agent based on Logic Programming, in: J. P. Muller, M. J. Wooldridge, N. R. Jennings (eds.), Intelligent Agents III - Proc. of the Third Intl.Workshop on Agent Theories, Architectures, and Languages (ATAL-96), LNAI 1193, Springer, 1996.
M. Schroeder, C. V. Damásio, L. M. Pereira, REVISE Report: An Architecture for a Diagnosis Agent, in: ECAI workshop on Integrating Non-Monotonicity into Automated Reasoning Systems, Budapest, August 12-16,1996.
R. Li, L. M. Pereira, Knowledge-Based
Situated Agents among Us,
in: J. P. Muller, M. J. Wooldridge, N. R. Jennings (eds.), Intelligent Agents III - Proc. of the Third
Intl.Workshop on Agent Theories, Architectures, and
Languages (ATAL-96), LNAI 1193, Springer, 1996. 
R. Li, L. M. Pereira, Temporal Reasoning
with Abductive Logic Programming, European Conf. on Artificial Intelligence (ECAI'96), Budapest, August 12-16, 1996.
R. Li, L. M. Pereira, What Is Believed Is What Is Explained (Sometimes), AAAI'96-American Thirteenth National Conf. on Artificial Intelligence , Portland, Oregon, August 4 - 8, 1996.
R. Li, L. M. Pereira, Reasoning about
Concurrent Actions and Observations, in: P. Lucio, M. Martelli, M. Navarro (eds.), Proc. of APPIA-GULP-PRODE'96, Joint Conf. on
Declarative Programming, San Sebastian, Spain, July 15 -
18, pp. 549-560, 1996.
C. V. Damásio, L. M. Pereira, M. Schroeder, REVISE Progress Report, Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of Sussex, Brighton, April 1996.
J. J. Alferes, L. M. Pereira, T. C. Przymusinski, Symmetric negation in
non-monotonic reasoning, in: Procs.
of the Intl.Conf. on Artificial Intelligence and
Mathematics, AI&Math'96, January'96, pp. 1-4, 1996. 
R. Li, L. M. Pereira, Application of Category Theory in Model-Based Diagnostic Reasoning, in: J. Stewman (ed.), Proc. Flairs 95, pp.123-127, ISBN: 0-9620-1737-X, 1995.
J. J. Alferes, L. M. Pereira, T. C. Przymusinski, Belief Revision in Non-Monotonic Reasoning and Logic Programming, in: N. Mamede, C. Pinto-Ferreira (eds.), Proc. of 7th Portuguese AI Intl. Conf. (EPIA'95), LNAI 990, pp. 41-56, Springer, 1995.
L. M. Pereira, J. C. Cunha, L. Damas, Parallel
Logic Programming with Extensions, Invited talk in: M. Alpuente. M. I. Sessa (eds.), Procs. of GULP-PRODE'95 Joint Conf. on
Declarative Programming (GP'95), Marina di Vietri sul
Mare, Italy, pp: 71-86, POLIGRAF Press, Via Pio XI n.110,
84125 Salerno, Italy, September 1995.
J. J. Alferes, R. Li, L. M. Pereira, Non-Atomic Actions in
the Situation Calculus, in:
N. Mamede, C. Pinto-Ferreira (eds.), Progress in
Artificial Intelligence, Proc. of 7th Portuguese AI Intl.
Conf. (EPIA'95), LNAI 990, pp. 273-284, Springer,
1995. 
C. V. Damásio,
L. M. Pereira,
A Model Theory for
Paraconsistent Logic Programming, in: N. Mamede, C. Pinto-Ferreira (eds.), Progress in Artificial Intelligence, Proc. of 7th
Portuguese AI Intl. Conf. (EPIA'95), LNAI
990, pp. 377-386, Springer, 1995. 
C. V. Damásio, L. M. Pereira, Abduction over
3-valued extended logic programs, in: V. W. Marek, A. Nerode, M. Trusczynski (eds.), Logic Programming and Non-Monotonic Reasoning,
Proc. of 3rd Intl.Conf., LPNMR'95, LNAI
928, pp. 29-42, Springer, 1995. 
S. Abreu, L. M. Pereira, Control-flow and
dataflow dependencies in and-or tree rewriting systems, in: Workshop on Design
and Implementation of Parallel Logic Programming Systems,
ILPS'94 Post-Conf. Workshop, pp. 9-16, E. Pontelli, G. Gupta (eds.),
1994.
J. J. Alferes, R. Li, L. M. Pereira, Concurrent Actions and Changes in the Situation Calculus, in: H. Geffner (ed.), Procs. of IBERAMIA'94, pp. 93-104, McGraw-Hill, 1994.
L. M. Pereira, J. J. Alferes, J. N. Aparício, Contradiction Removal Semantics with Explicit Negation, in: Knowledge Representation and Reasoning Under Uncertainty, LNAI 808, pp. 91-106, M. Masuch, L. Polos (eds.), Springer, 1994.
L. M. Pereira, J. N. Aparício, J. J. Alferes, Logic Programming for Nonmonotonic Reasoning, in: Knowledge Representation and Reasoning Under Uncertainty, LNAI 808, pp. 107-122, M. Masuch, L. Polos (eds.), Springer, 1994.
C. V. Damásio, W. Nejdl, L. M. Pereira, REVISE: An Extended
Logic Programming System for Revising Knowledge Bases, in: Knowledge
Representation and Reasoning (KRR'94), Morgan Kaufmann,
1994. 
J. J. Alferes, L. M. Pereira, Belief, Provability
and Logic Programs, in: Intl.Workshop on Logic in Artificial
Intelligence (JELIA'94), D. Pearce, L. M. Pereira
(eds.), Springer, 1994. 
J. J. Alferes, L. M. Pereira, An argumentation
theoretic semantics based on non-refutable falsity, in: Intl.Workshop on
Nonmonotonic Extensions of Logic Programming (NMELP'94),
J. Dix, L. M. Pereira, T. Przymusinski (eds.), pp. 3-22,
Springer LNAI 927, 1995.
J. J. Alferes, C. V. Damásio, L. M. Pereira, A Top-down query
evaluation for well-founded semantics with explicit negation, in: European Conf. on
Artificial Intelligence (ECAI'94), pp.140-144, A. Cohn (ed.), Morgan
Kaufmann, 1994.
J. J. Alferes, C. V. Damásio, L. M. Pereira, SLX - A top-down
derivation procedure for programs with explicit negation, in: Intl. Logic
Programming Symposium (ILPS'94), M. Bruynooghe (ed.),
MIT Press, 1994. 
J. J. Alferes, L. M. Pereira, Contradiction: when
avoidance equals removal. Part I, in: 4th Intl.Workshop on Extensions of
Logic Programming (ELP'94), LNAI 798, pp. 7-16, R.
Dyckhoff (ed.), 1994. 
L. M. Pereira, J. J. Alferes, Contradiction: when
avoidance equals removal. Part II, in: 4th Intl.Workshop on Extensions of
Logic Programming (ELP'94), LNAI 798, pp. 17-26, R.
Dyckhoff (ed.), 1994. 
L. M. Pereira, L. Caires, J. J. Alferes , SLWV - A Theorem Prover for Logic Programming (extended version), in: Extensions of Logic Programming, E. Lamma, P. Mello (eds.), LNCS, Springer, 1993.
S. Abreu, L. M. Pereira, Design for AKL with
Intelligent Pruning, in: 4th Intl.Workshop on Extensions of Logic
Programming (ELP'93),
R. Dyckhoff (ed.), Univ. of St. Andrews, 1993. 
S. Abreu, L. M. Pereira, Towards AKL with Intelligent Pruning. in: ESPRIT COMPULOG-NET Workshop on Parallelism and Implementation Technologies, F. Bueno, J. J. Moreno-Navarro, and M. V. Hermenegildo (eds.), Facultad de Informática de Madrid, FIM-UPM, 1993.
J. J. Alferes, P. M. Dung, L. M. Pereira, Scenario Semantics
of Extended Logic Programs,
in: 2nd Intl.Workshop on Logic Programming and
Non-Monotonic Reasoning (LPNMR'93), pp. 334-348, L. M.
Pereira, A. Nerode (eds.), MIT Press, 1993. 
L. M. Pereira, C. V. Damásio, J. J. Alferes, Diagnosis and
Debugging as Contradiction Removal, in: 2nd Intl.Workshop on Logic
Programming and Non-Monotonic Reasoning (LPNMR'93), L.
M. Pereira, A. Nerode (eds.), MIT Press, 1993. 
L. M. Pereira, J. J. Alferes, Optative Reasoning
with Scenario Semantics,
in: 10th Intl.Conf. on Logic Programming
(ICLP'93), pp. 601-615, D. S. Warren (ed.), MIT Press,
1993.
L. M. Pereira, C. V. Damásio, J. J. Alferes, Debugging by
Diagnosing Assumptions, in:
Automatic Algorithmic Debugging (AADEBUG'93), pp. 58-74, P. Fritszon (ed.), LNCS 749, Springer,
1993. 
L. M. Pereira, C. V. Damásio, J. J. Alferes, Diagnosis and
Debugging as Contradiction Removal in Logic Programs, in: Progress in
Artificial Intelligence, Procs. of the 6th Portuguese AI
Intl. Conf. (EPIA'93),
pp. 183-197, L. Damas, M. Filgueiras (eds.), LNAI 727,
Springer, 1993.
J. C. Cunha, P. Medeiros, M. B. Carvalhosa, L. M. Pereira, Delta Prolog: from Theory to Implementation on Distributed-Memory Multiprocessors (extended abstract), in: Procs. of the European Workshop on Parallel Computing, ESPRIT, Barcelona,1992.
L. M. Pereira, L. Caires, J. J. Alferes, SLWV - A Theorem Prover for Logic Programming, in: Workshop on Extensions of Logic Programming (ELP'92), E. Lamma, P. Mello (eds.), Tecnoprint, Bologna, 1992.
L. M. Pereira, J. J. Alferes, J. N. Aparício, Default theory for Well Founded Semantics with explicit negation, in: Procs. of the European Workshop JELIA'92, pp. 339-356, LNAI 633, D. Pearce, G. Wagner (eds.), Springer, 1992.
S. Abreu, L. M. Pereira, P. Codognet , Improving backward execution in non-deterministic concurrent logic languages, in: Workshop on Automated Deduction (FGCS'92), ICOT, Tokyo, 1992.
L. M. Pereira, J. J. Alferes, J. N. Aparício, Adding Closed World
Assumptions to Well Founded Semantics, in: Fifth Generation
Computer Systems
(FGCS'92), pp. 562-569, ICOT, Tokyo, 1992. 
L. M. Pereira, J. J. Alferes, Well Founded Semantics for Logic Programs with Explicit Negation, in: European Conf. on Artificial Intelligence (ECAI'92), pp.102-106, B. Neumann (ed.), John Wiley & Sons, 1992.
J. J. Alferes, L. M. Pereira, On Logic Program
Semantics with Two Kinds of Negation, in: Joint Intl.Conf.
and Symposium on Logic Programming (JICSLP'92), pp.
574-588, K. Apt (ed.), MIT Press, 1992. 
S. Abreu, L. M. Pereira, P. Codognet, Improving backward execution in the Andorra family of languages, in: Joint Intl.Conf. and Symposium on Logic Programming (JICSLP'92), K. Apt (ed.), MIT Press, 1992.
L. M. Pereira, J. J. Alferes, C. V. Damásio, The Sidetracking Meta Principle, in: Simpósio Brasileiro de Inteligência Artificial, pp. 229-242, Rio de Janeiro, 1992.
L. M. Pereira, J. J. Alferes, J. N. Aparício, A Practical Introduction to Well Founded Semantics, in: 3rd Scandinavian Conf. on Artificial Intelligence (SCAI'91), B. Mayoh (ed.), pp. 277-288, IOS Press, 1991.
L. M. Pereira, J. N. Aparício, J. J. Alferes, Hypothetical Reasoning with Well Founded Semantics, in: 3rd Scandinavian Conf. on Artificial Intelligence (SCAI'91), B. Mayoh (ed.), pp. 289-300, IOS Press, 1991.
L. M. Pereira, J. N. Aparício, J. J. Alferes, Nonmonotonic Reasoning with Well Founded Semantics, in: 8th Intl.Conf. on Logic Programming (ICLP'91), K. Furukawa (ed.), MIT Press, 1991.
L. M. Pereira, J. J. Alferes, J. N. Aparício, Contradiction Removal within Well Founded Semantics, in: Logic Programming and Nonmonotonic Reasoning (LPNMR'91), pp. 105-119, A. Nerode, W. Marek, V. S. Subrahmanian (eds.), MIT Press, 1991.
L. M. Pereira, J. N. Aparício, J. J. Alferes, A Derivation Procedure for Extended Stable Models, Intl. Joint Conf. on Artificial Intelligence (IJCAI'91), Morgan Kaufmann, 1991.
L. M. Pereira, J. N. Aparício, J. J. Alferes, Counterfactual Reasoning Based on Revising Assumptions, in: Intl. Logic Progrogramming Symposium (ILPS'91), pp. 566-577, Ueda, Saraswat (eds.), MIT Press, 1991.
L. M. Pereira, J. J. Alferes, J. N. Aparício, The Extended Stable Models of Contradiction Removal Semantics, in: 5th Portuguese AI Intl. Conf. (EPIA'91), LNAI 541, pp. 105-119, P. Barahona, L. M. Pereira, A. Porto (eds.), Springer, 1991.
M. Calejo, L. M. Pereira, Declarative Source Debugging, in: 5th Portuguese AI Intl. Conf. (EPIA'91), LNAI 541, P. Barahona, L. M. Pereira, A. Porto (eds.), Springer, 1991.
J. C. Cunha, P. Medeiros, M. B. Carvalhosa, L. M. Pereira, Paralogism Progress Report, in: 3rd Esprit Parallel Computing Action Workshops, Bonn, Germany, 1991.
J. C. Cunha, P. Medeiros, L. M. Pereira, A distributed logic programming language and its implementation on transputer networks, in: Procs. of Conf. OUG-12 (Occam User's Group), pp. 85-96, S. J. Turner (ed.), IOS Press, Amsterdam, 1990.
M. Calejo, L. M. Pereira, Declarative Source Debugging, in: ICLP'90 Workshop on Debugging, Mireille Ducassé (ed.), ECRCm, Eliat, Israel, 1990.
L. M. Pereira, M. Calejo, J. N. Aparício, Refining Knowledge Base Updates, in: 7th Simpósio Brasileiro de Inteligência Artificial, Campinas, Brazil, 1990.
L. M. Pereira, L. Caires, J. J. Alferes, Classical Negation in Logic Programs, in: 7th Simpósio Brasileiro de Inteligência Artificial, Campinas, Brazil, 1990.
L. M. Pereira, M. Calejo, A inteligência artificial e a engenharia, Invited paper in: Congresso da Ordem dos Engenheiros, Porto, Portugal, 1990.
J. C. Cunha, M. C. Ferreira, L. M. Pereira, Programming in Delta Prolog, in: Procs of the 6th Intl.Conf. on Logic Programming (ICLP'89), G. Levi, M. Martelli (eds.), MIT Press, Lisbon, Portugal, 1989.
L. M. Pereira, J. N. Aparício, Relevant Counterfactuals, in: Portuguese A.I. Conf. (EPIA'89), pp. 107-118, J. Martins, E. Morgado (eds.), Springer LNAI 390, Monte Gordo, Portugal, 1989.
L. M. Pereira, M. Calejo, Algorithmic Debugging of Prolog Side-Effects, in: Portuguese A.I. Conf. (EPIA'89), LNAI, J. Martins (ed.), Springer, Monte Gordo, Portugal, 1989.
L. M. Pereira, M. Calejo, A Framework for Prolog Debugging, in: Procs of the 5th Intl.Conf. and Symposium on Logic Programming (JICSLP'88), R. Kowalski, K. Bowen, (eds.), MIT Press, 1988.
L. M. Pereira, L. Monteiro, J. C. Cunha, J. N. Aparício, Concurrency and communication in Delta-Prolog, Invited paper in: IEEE Intl. Specialist Seminar: the design and application of parallel digital processors, pp. 94-104, 1988.
L. M. Pereira, A artificialidade do computador como máquina para criar e repetir padrões de símbolos inteligentes, in: Congresso da Sociedade Portuguesa de Psicanálise, 1988.
L. M. Pereira, Rational Logic Programming Debugging, in: Procs. of the 3rd Intl.Conf. on Logic Programming (ICLP'86), E.Shapiro (ed.), London, Springer LCNS 225, 1986.
L. M. Pereira, L. Monteiro, J. C. Cunha, J. N. Aparício, Delta Prolog: A Distributed Backtracking Extension with Events, in: Procs. of the 3rd Intl. Conf. on Logic Programming (ICLP'86), pp. 69-83, E.Shapiro (ed.), London, Springer LCNS 225, 1986.
L. M. Pereira, Rational debugging of logic programs, in: Encontro Português de Inteligência Artificial (EPIA'85), 1985.
L. M. Pereira, J. C. Cunha, J. N. Aparício, Implementação de Delta-Prolog e retrocesso distribuído, in: Encontro Português de Inteligência Artificial (EPIA'85), 1985.
L. M. Pereira, R. Nasr, Delta-Prolog: a distributed logic programming language, in: Procs. Intl. Conf. on Fifth Gen. Comp. Sys. (FGCS'84), pp. 283-291, ICOT, Tokyo, Japan, 1984.
L. M. Pereira, E. Oliveira, ORBI - An expert system in Prolog, in: Intl. Conf. on Artificial Intelligence, Varna, Bulgaria, 1984.
L. M. Pereira, M. Filgueiras, Relational Databases "à la carte", in: L. Pereira et al. (eds.), Procs. of Logic Programming Workshop'83, pp. 389-407, Albufeira, Portugal, July 1983.
L. M. Pereira, E. Oliveira, Prolog for Expert Systems: a case of study, in: Intl. Symposium on Artificial Intelligence, Leningrad, USSR, 1983.
L. M. Pereira, A. Porto, A Prolog implementation of a large system on a small machine, in: Procs. of the 1st. Conf. on Logic Programming (ICLP'82), pp. 225-230, Marseilles, September 1982.
L. M. Pereira, P. Sabatier, E. Oliveira, ORBI - An Expert System for Environmental Resource Evaluation through Natural Language, in: Procs. of the 1st. Conf. on Logic Programming (ICLP'82), pp. 200-209, Marseilles, September 1982.
L. M. Pereira, Logic Control with Logic, in: Procs. of the 1st. Conf. on Logic Programming (ICLP'82), pp. 9-18, Marseilles, September 1982.
L. M. Pereira, P. Sabatier, E. Oliveira, ORBI - um sistema pericial para o ordenamento biofísico do território interrogável em Português, in: 2º Congresso Português de Informática, Lisboa, 1982.
L. M. Pereira, A. Porto, Interrogação em Português de um sistema de apoio ao planeamento, in: 2º Congresso Português de Informática, Lisbon, 1982.
L. M. Pereira, E. Oliveira, Um sistema informático para o ordenamento do território, in: Actas do Seminário sobre o Ordenamento do Território, Covilhã, 1982.
L. M. Pereira, A. Porto, Selective backtracking for logic programs, in: Procs. of the Fifth Intl.Conf. on Automated Deduction (CADE'80), pp. 306-317, Springer, 1980.
L. M. Pereira, A. Porto, An interpreter of logic programs using selective backtracking, in: Workshop on Logic Programming, Debrecen, Hungary, 1980.
L. M. Pereira, A. Porto, Intelligent backtracking and sidetracking in Horn clause programs - the theory, in: Workshop on Logic Programming, Debrecen, Hungary, 1980.
L. M. Pereira, A. Porto, Intelligent backtracking and sidetracking in Horn clause programs - the implementation, in: Workshop on Logic Programming, Debrecen, Hungary, 1980.
L. M. Pereira, As contas da sociedade algorítmica, in: 1º Congresso Português de Informática, Lisbon, Portugal, 1980.
L. M. Pereira, Informática exportável e não-importável: o caso da comunicação em Português com o computador, in: Simpósio Nacional de Ciência e Tecnologia para o Desenvolvimento (SINACT), Lisbon, Portugal, 1979.
L. M. Pereira, Notas sobre o Sistema Científico e Tecnológico nacional (SCT), in: Actas do Simpósio Nacional de Ciência e Tecnologia para o Desenvolvimento (SINACT), Lisbon, Portugal, 1979.
L. M. Pereira, Backtracking intelligently in AND/OR trees, in: Report CIUNL 1/79, Centro de Informática, UNL, Lisbon, Portugal, June 1979.
L. M. Pereira, L. Monteiro, The semantics of parallelism and co-routining in logic programming, in: Mathematical Logic in Computer Science, Colloquia Mathematica Societatis János Bolyai no.26, pp. 611-657, Salgótarján, Hungary, 1978.
L. M. Pereira, Artifical Intelligence Techniques in Automatic Layout Design, in: J.-C. Latombe (ed.), Procs. Artificial Intelligence and Pattern Recognition in Computer Aided Design, IFIP, pp. 159-173, North-Holland, Grenoble, France, March 1978.
L. M. Pereira, Prolog, uma linguagem de programação em lógica, in: Congresso 77, Ordem dos Engenheiros, Lisbon, Portugal, 1977.
L. M. Pereira, A compreensão da linguagem natural em Inteligência Artificial, in: 1º Encontro para o Ensino e Investigação do Português, Faculdade de Letras, Lisbon, Portugal, 1976.
L. M. Pereira, N. Portas, L. Monteiro, F. C. N. Pereira, Interactive dimensional layout schemes, Design Activity Intl. Conf., London, UK, 1973.
L. Monteiro, L. M. Pereira, F. C. N. Pereira, Geração de alternativas de agrupamentos no plano de espaços rectangulares com dimensões, in: II Simpósio sobre a Teoria da Informação e dos Sistemas, Instituto de Alta Cultura, Porto, Portugal, 1972.
L. M. Pereira, Issues in Heuristics, in: VI Intl. Symposium on Cybernetics, pp. 909-913, Namur, Belgium, 1970.
Publications
in Cultural Journals and Cultural Books
L. M. Pereira, Provas de Agregação e Concurso para Associado, in: Ensino Superior - Revista do SNESup, nº 62&63, pp. 36-37, July-Sept & Oct-Dec 2018.
L. M. Pereira, Jovens
e Cibercultura Digital, Invited article in: Revista
Sementinha, revista do Colégio Campo de Flores,
Ano XVII, número III, May-June 2017.
L. M. Pereira, Manifesto pela Ciência Tecnologia e Inovação - a aposta no mérito, in: Revista Vértice, nº 129:5-13, July-August 06, November 2006.
L. M. Pereira, Manifesto pela Ciência Tecnologia e Inovação - a aposta no mérito, in: Revista do SNESup, pp. 40-44, December 05-January 06, January 2006.
L. M. Pereira, Ciência e Paraciência, in: Revista Intelectu, nº 10, November 2004.
L. M. Pereira, Questões sobre o sistema de mérito, in: SNESup Informação, nº58, Ano 12, pp. 1, April 2001.
L. M. Pereira, Mérito, Promoção, Dedicação Exclusiva, Nomeação Definitiva, e Estímulo à Investigação, in: SNESup Informação, nº58, Ano 12, pp 12-16, April 2001.
L. M. Pereira, Conversando sobre Inteligência Artificial, in: Revista Intelectu, nº 5, February 2001.
L. M. Pereira, Inteligência artificial: mito e ciência, Invited paper in: Revista Colóquio/Ciências, Fundação Calouste Gulbenkian, nº3, pp1-13, Lisbon, October 1988. Reprinted in: Revista Intelectu, nº 5, February 2001, and published in portal: Universiabrasil.net on August 6, 2004.
L. M. Pereira, Critérios a Atender em Concursos para Professor Associado, in: SNESup Informação, nº52, Ano 11, pp 9-10, March 2000. (Also in: Jornal da FENPROF, p 6, nº168, December 2000.)
L. M. Pereira, Critérios a Atender em Concursos para Professor Associado (resposta de Luís Moniz Pereira a Ângela Relva), in. SNESup Informação, nº52, Ano 11, pp 5, November 2000.
L. M. Pereira, Critérios de avaliação em provas de Agregação e concurso para Professor Catedrático, in. SNESup Informação, nº52, Ano 11, pp7-8, December 2000.
L. M. Pereira, Critérios para Nomeação Definitiva, in: SNESup Informação, nº52, Ano 11, pp. 8-9, December 2000.
L. M. Pereira, Apreciação à contraproposta de programa do Centro para o Ensino da Filosofia, published by: Centro para o Ensino da Filosofia da Sociedade Portuguesa de Filosofia, November 11, 2000.
L. M. Pereira, Dimensões de avaliação em provas de Agregação, in: Boletim do SNESup, Ano 11, nº54, pp. 24, March 2000.
L. M. Pereira, Critérios a atender em concursos para Professor Associado, in: Boletim do SNESup, Ano 11, nº54, pp. 21, March 2000.
L. M. Pereira, Teses em "estrangeiro", in: Boletim do SNESup, Ano 11, nº53, pp. 8-9, January 2000.
L. M. Pereira, Universidade Portuguesa: re-estruturações urgentes, in: Boletim do SNESup, "Informação", Ano 10, nº 52, pp. 4-7, October 1999. (versão completa)
L. M. Pereira, Inteligência Artificial, in: Notícias do Milénio, Diário de Notícias Editora, Lisbon, June 1999. Also appeared in: Revista Intelectu, - Revista de divulgação filosófica, nº 3, February 2000.
L. M. Pereira, Teses de mestrado e de doutoramento, in: Revista Vértice, August 1989.
L. M. Pereira, Programa mobilizador da JNICT campanha de '87, in: Revista Vértice, May 1988.
L. M. Pereira, Dossier: 15 anos de inteligência artificial em Portugal, collaboration in: Revista Futuro, April 1988.
L. M. Pereira, Breve sinopse da IA em Portugal, in: Informática - Revista da Associação Portuguesa de Informática, vol. 6 (3), pp. 44, May 1987.
L. M. Pereira, Filosofia, sim muito obrigado!, in: Revista de Educação, 1(2), pp. 99-100, April 1987.
L. M. Pereira, "Guerra das Estrelas": Informática Inteligente ou Inteligência Artificiosa?, in: Informática - Revista da Associação Portuguesa de Informática, vol.6 (2), pp. 46-50, March 1987.
L. M. Pereira, Entradas de Informática - Consultor Técnico, in: Lexicoteca - Moderna Enciclopédia Universal, Editora Círculo de Leitores, 1984.
L. M. Pereira, PROLOG, linguagem de resolução de problemas pela lógica, Parts 1 & 2, in: Informática - Revista da Associação Portuguesa de Informática, vol. 2(4), pp. 9-11, 37-41, August/September 1978, 2(6), pp. 37-42, 1979.
L. M. Pereira, O presságio de Babbage, in: Informática - Revista da Associação Portuguesa de Informática, vol. 2 (5), pp. 10-11, October/November 1978.
L. M. Pereira, A analogia homem/máquina, in: Informática - Revista da Associação Portuguesa de Informática, vol. 2 (4), pp. 21-22, August/September 1978.
Rita Palla e Carmo, L. M. Pereira, A Cibernética de Babbage, in: Informática - Revista da Associação Portuguesa de Informática, vol.2 (3), pp.19-20, August/October 1977.
L. M. Pereira, and co-authors, 21 artigos sobre Cibernética, Civilização e Inteligência Artificial, in: Jornal República, 1973/74.
1- "A analogia homem/máquina" 2- "O testemunho de Norbert Wiener" 3- "Materialidade da comunicação" 4- "Cibernética e sociedade: o depoimento de Norbert Wiener" 5- "O cérebro como metáfora" 6- "Cibernética social: a ameaça à privacidade" 7- "Cibernética social: a comunicação" 8- "Cibernética social: o controle" 9- "Computadores e feiticeiros" 10- "Cibernética e mecanização" 11- "Cibernética e mecanização 2" 12- "Cibernética e mecanização 3" 13- "A atitude cibernética" 14- "Cibernética e mecanização 4" 15- "A cibernética em congresso" 16- "A cibernética e o direito" 17- "O presságio de Babbage" 18- "Deus & Golem, SARL: o testemunho de Norbert Wiener" 19- "A cibernética de Babbage" 20- "Encontro com um pioneiro da cibernética: Gordon Pask" 21- "Diálogo com um programa inteligente".
Press
and Media
L. M. Pereira, A IA ainda não chegou, Interview by Rui Antunes, in: magazine VISÃO, pp. 12-14, VISÃO online or Text version, 8 November 2018.
L. M. Pereira, guest of the 60 minute TV program "Sociedade Civil" on "Inteligência Artificial", RTP2 14:00-15:00, 7 June 2018.
L. M. Pereira, A IA faz-nos mais felizes ou não passa de uma ilusão?, Interview by Virgílio Azevedo, in: Semanário Expresso, 28 April 2018.
L. M. Pereira, Maschinenmoral (content in English here: Moral Machines), Interview by Nora Saager, in: P. M. Magazin, pp. 30-35, February 2018.
L. M. Pereira, Um café com... Luís Moniz Pereira acerca de IA (content in English here: Coffee with... L. M. Pereira on AI), Interview by Pedro Lucas, in: Men's Health, p. 114, January 2018.
L. M. Pereira, Indústria 4.0, Interview by Ilídia Pinto, in: Dinheiro Vivo, 8 April 2017. Extended online version: page 8, page 9.
L. M. Pereira, A Realidade Tem Uma Lógica Computacional, Interview by Virgílio Azevedo, in: Semanário Expresso, 12 March 2016. Extended online version here.
L. M. Pereira, Carros Sem Condutor: page 1, page 2, Interview by Virgílio Azevedo, in: Semanário Expresso, 17 October 2015.
L. M. Pereira, Fala Quem Sabe, Interview by José Morais (full interview), in: Gentleman's Quaterly Portugal, September 2015.
L. M. Pereira, Está na hora de nos desligarmos: page 1, page 2, Interview by Virgílio Azevedo, in: Semanário Expresso, 31 May 2014.
L. M. Pereira, Indagações Robóticas, in: Interview by Roberta Machado, in: Correio Braziliense, Brazília, Brazil, 19 May 2014.
L. M. Pereira, Quando a moral entra nos computadores: page 1, page 2, Interview by Virgílio Azevedo, in: Semanário Expresso, 4 January 2014.
L. M. Pereira, Computadores com poder para decidir, in: Interview by João Miguel Silva, in: e-Revista, November 2009.
L. M. Pereira, in: Interview by Michael Rhee on "Robot Morality", for South Korean radio TBS, eFM 101.3, for "The Evening Show", aired 6 to 8 PM, 28 September 2009.
L. M. Pereira, Inteligência Artificial: O computador também é capaz de ter moral, Interview by Sandra Pereira, in: "i-jornal", pp. 26-27, 2 September 2009.
L. M. Pereira, Investigação Científica, in: número especial "Portugal em Exame: Caminhos para Portugal", pp. 50, May 2008.
L. M. Pereira, A Master of Global Competence in: European Master in Computational Logic Website at Universidade Nova de Lisboa, March 2008.
L. M. Pereira, Mestrado Global sem Portugal in: Diário Económico, March 6th, 2008. (English translation in here: Global Master sans Portugal)
L. M. Pereira, Burro-cracia galopante in: Diário Económico, December 17th, 2007.
L. M. Pereira, Estudar 'ma non troppo' in: Diário Económico, September 13th, 2007.
L. M. Pereira, De baixo para cima ou ao contrário? in: Diário Económico, July 16th, 2007.
L. M. Pereira, Entrevista à revista EXAME, in: número especial "Portugal em Exame: Campeões no Mundo", pp. 74-77, May 2007.
L. M. Pereira et al., Mentes Brilhantes, in: número especial "Portugal em Exame: Campeões no Mundo", pp. 114-119, May 2007.
L. M. Pereira, Literatura para a Tecnologia, in: Diário Económico, March 8th, 2007.
L. M. Pereira, et al. Painel sobre Direitos e Deveres dos Robots, in: programa de rádio "Janela Aberta", Rádio Clube Português, January 29th, 2007. Audio
L. M. Pereira, Pensamento Crítico, in: Diário Económico, December 28th, 2006; and in: Crítica, Revista de Filosofia e Ensino, January 5th, 2007.
L. M. Pereira, Doutorados nas Empresas, in: Diário Económico, October 12th, 2006.
L. M. Pereira, "Política de Ciências Tecnologia" - vídeo, interview in: Jornal Dois, RTP2, 22:00, June 19th, 2006.
L. M. Pereira, "Não há um movimento terrorista gerido por computadores", in: supplement PÚBLICA of PÚBLICO, March 6th, 2005.
L. M. Pereira, Manifesto pela Ciência, Tecnologia e Inovação!, in: "Novas Fronteiras", January 2005.
L. M. Pereira, Manifesto pela Ciência Tecnologia e Inovação, in: PÚBLICO, December 26th, 2004.
L. M. Pereira, Interview - "Três questões sobre Inteligência Artificial", in: NOVAS newsletter, pp. 7, nr. 22, October 2004.
L. M. Pereira, Pôr os cegos a cantar, in: PÚBLICO, May 22nd, 2004.
L. M. Pereira, Opinião: Inteligência Artificial, in: e-Ciência - Magazine de Ciência Tecnologia e Inovação, pp. 26-26, nr. 27, 13/05/04, May 2004.
L. M. Pereira, Inteligência Artificial. Mito e Ciência, in: Ciberscópio- Cibersimulação, Coimbra: capital nacional da cultura, 2003.
L. M. Pereira, Lógica, Inteligência Artificial e Computador, in: Ciberscópio - Cibersimulação, Coimbra: capital nacional da cultura, 2003.
L. M. Pereira, Avaliação do Mérito de cada Universitário, in: PÚBLICO, October 4th, 2003.
L. M. Pereira, Interview - "Tecnologia: Inteligência Artificial - e o Homem criou o robô", in: Lusa, July 19th, 2001.
L. M. Pereira, Interview - "Máquinas para o novo milénio", in: Expresso, November 18th, 2000.
L. M. Pereira, Carta ao Director "Sr Presidente: Milagres sim, mas de qualidade!", in: Diário de Notícias, May 26th, 2000.
L. M. Pereira, Teses em "estrangeiro", in: PÚBLICO, March 15th, 2000.
L. M. Pereira, Ciência e Paraciência, in: transcript of radio program “Três à Quarta”, February 20th, 2000. Also in Crítica - Revista de Filosofia e Ensino, August 3rd, 2003.
L. M. Pereira, A Autonomia Universitária, in: Diário de Notícias, November 4th, 1999.
L. M. Pereira, Reitores maus gestores, in: Diário de Notícias, December 25th, 1998.
L. M. Pereira, Interview - "Máquinas também aprendem. Universidades espartilhadas", in: Diário de Notícias, May 13th, 1997.
L. M. Pereira, Recursos humanos para a investigação: uma proposta, in: PÚBLICO, November 11th, 1996.
L. M. Pereira, Questões Estruturais da Universidade e Investigação, in: Diário de Notícias, December 31th, 1995.
L. M. Pereira, Questões Estruturais da Universidade e Investigação, in: FaCTus, Ano II, nr. 6, pp. 6-7, December 1995.
L. M. Pereira, Doutores desempregados, in: PÚBLICO, September 3rd, 1995.
L. M. Pereira, Interview - "Errar é Bom", in: Jornal de Letras, August 2nd, 1995.
L. M. Pereira, News and interviews - Prémio Boa Esperança 1994, in: Diário de Notícias July 19th, PÚBLICO July 19th and August 5th, and PÚBLICO Suplemento Computadores, August, 1995.
L. M. Pereira, Interview - "Máquinas com Emoções", in: Diário de Notícias, October 23rd, 1994.
L. M. Pereira and others, Interview - "La recherche portugaise", in: Sciences et Avenir, pp. 86-88, January 1992.
L. M. Pereira, Interview - "A aventura da Inteligência Artificial", in: Jornal dos CTT, nr. 33, pp. 14-15, May/June 1992.
L. M. Pereira, Interview - "Homem é o novo deus da IA", in: Diário de Notícias, June 3rd, 1992.
L. M. Pereira, Interview - "A inteligência é uma funcionalidade", in: PÚBLICO, October 18th, 1990.
L. M. Pereira, A universidade não é uma creche, in: PÚBLICO, October 1st, 1990.
L. M. Pereira, Interview - "Apostar na qualidade", in: revista INTERFACE, Ano 1, nr. 4, pp. 36, November 1989.
L. M. Pereira, Interview - "A investigação Portuguesa em IA", in: Revista MAC, Ano 1, nr. 1, pp. 20-26, January 1989.
L. M. Pereira, Interview - "Inteligência Artificial quer ter um centro de competência", in: Correio Informático, 4(75), pp. 4-6, April 4th, 1989.
L. M. Pereira, Interview, in: Jornal de Notícias, March 1989.
L. M. Pereira, Interview - "Indústria Inteligente", in: O Independente (caderno 2), pp. II-8, June 9th, 1989.
L. M. Pereira, Interview - "Só papel não basta", in: FACE, nr. 14, pp. 35-37, August 24th, 1989.
L. M. Pereira, Interview, in: Programa "30 minutos com..." da RTP2, October 1989.
L. M. Pereira, CRIA - Centro de Inteligência Artificial do Uninova, in: Suplemento da revista FUTURO, pp. 29-31, October 2nd, 1989.
L. M. Pereira, A inteligência artificial e a tecnologia, in: CT Jovem nr. 7, May 1989; corrected: CT Jovem nr. 8/9, October 1989.
J. V. Malheiros and L. M. Pereira, Interview - Entrevista a Herbert A. Simon, in: Revista do Expresso, April 23rd, 1988.
L. M. Pereira, Apresentação de H. A. Simon, in: Jornal de Letras, April 12th, 1988.
L. M. Pereira, Portugal financia investigação estrangeira, in: Diário de Notícias, Suplemento Cultural, April 12th, 1987.
L. M. Pereira, Interview - "Portugal em posição privilegiada em IA", in: Revista das EMPRESAS, Ano IV, nr. 40, pp. 43-46, January 1987.
L. M. Pereira, "Guerra das Estrelas": Informática Inteligente ou Inteligência Artificiosa?, in: MERCADO, suplemento do EXPRESSO, pp. 10-14, September 19th, 1987.
L. M. Pereira, "Criação de Laboratório de IA", in: MERCADO, suplemento do EXPRESSO, pp. 3-5, August 1st, 1987.
L. M. Pereira, Interview - "Reportagem sobre o Uninova", in: Vida Informática, nr. 47, pp. 10-11, May 12th, 1987.
L. M. Pereira, Interview - "Computadores vão ter alma artficial", in: suplemento BIT, Diário Popular, pp. 14-17, November 15th, 1986.
L. M. Pereira, Interview - "IA: o homem em busca da sua imagem", in: Expresso Informática, April, 1986.
L. M. Pereira, Interview - "Computadores do futuro passam pela Caparica", in: Correio Informático, 1(1), pp. 30, March 25th, 1986.
L. M. Pereira, Interviews - Projecto japonês de 5ª geração, in: Diário de Lisboa, February 26th and March 25th, 1986.
L. M. Pereira and others, Interview - "Gabinete de Filosofia do Conhecimento: uma experiência crucial", in: Jornal de Letras, July 9th, 1985.
L. M. Pereira, News and interviews - Prémio Gulbenkian de Ciência 1984, in: A Capital, April 22nd, and Diário de Notícias, May 10th, 1985.
L. M. Pereira, Interview - "Núcleo de Inteligência Artificial emigra para USA", in: Suplemento de Informática de O Jornal, November, 1984.
L. M. Pereira, Interview - "Portugal pode apostar em soft-ware", in: Primeiro de Janeiro, November 7th, 1984.
L. M. Pereira, Interview - "Computadores de '5ª Geração' para a geração de hoje", in: O Mundo Informático, Ano 1, nr. 5, pp. 11-14, August 2nd, 1984.
L. M. Pereira, Interview - "IA: a '5ª Geração' já está entre nós", in: Revista do Expresso, June 9th, 1984.
L. M. Pereira, Interview, in: Revista das Empresas, vol. 1(2), May, 1983.
L. M. Pereira, Interview, revista Cérebro, vol. 2(14), 1983.
L. M. Pereira, Interview, revista Cérebro, vol. 1(3), 1983.
L. M. Pereira, Interview - "Investir no ensino e investigação informática no País", in: Revista Cérebro, nr. .5, pp. 14-16, October/November, 1982.
L. M. Pereira, Interview of Prof. John McCarthy, Suplemento de Informática de O Jornal, December, 1981.
L. M. Pereira, Máquinas Humanas,in: Suplemento de Informática de O Jornal', November, 1980.
Send your suggestions and comments to lmp@fct.unl.pt