Publications 


Table of Contents  (click items to go to a section; click triangles to return)

 

Book Chapters  &  Special Reports

Books

Translated Books

Scientific Journals

Newsletters

Edited  Proceedings,  Newsletters  and 

Journal Special Issues

Conferences

Press  &  Media

Cultural Journals  &  Cultural Books

Submitted

Courses  &  Talks



Submitted (comments, please!)


L. M. Pereira, E.-A. Dietz, S. Hölldobler Abductive Framework for Counterfactual Reasoning in Logic Programming


    Psycho-analytically rejected by reviewers: to be seen...

  



Books

 

L. M. Pereira, A. Lopes, Machine Ethics: From Machine Morals to the Machinery of Morality, book series Studies in Applied Philosophy, Epistemology and Rational Ethics  (SAPERE, volume 53), XXV+164 pages, ISBN 978-3-030-39629-9, ISBN 978-3-030-39630-5 (eBook), Springer Nature AG, Switzerland, 2020
Review by Jeffrey White accepted by the journal
Prometheus: Critical Studies in Innovation

 

L. M. Pereira, A. Lopes, Máquinas Éticas: Da Moral da Máquina à Maquinaria Moral, Colecção: "Outros Horizontes", 218 pages, ISBN 978-989-54493-4-7, NOVA.FCT Editorial, Campus FCT-UNL, 2829-516 Caparica, Portugal, 2020.

 

L. M. Pereira, On Morals for Machines & The Machinery of MoralsColecção: Caderno Conferências Horizontes do Futuro nº 17, Câmara Municipal de Loulé, 60 pages,  ISBN: 978-989-8978-00-4, April, 2019.

                        

L. M. Pereira, A. SaptawijayaProgramming Machine EthicsSpringer SAPERE series,  Vol. 26, 194 pages, Flyer, ISBN: 978-3-319-29353-0, DOI 10.1007/978-3-319-29354-7, Springer Nature AG, Switzerland, 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

      

Ethics and Responsible Research and Innovation in Pra A. C. Alexandre, L. M. Pereira, Ethics and Development of Advanced Technology Systems in Public Administration. In: E. González-Esteban, R. A. Feenstra, L. Camarinha-Matos (Eds.),  Ethics and Responsible Research and Innovation in Practice - The ETHNA System Project, LNCS 13875, Springer Nature AG, Switzerland, 2023.


L. M. Pereira, F. C. Santos, A. Lopes, AI Modelling of Counterfactual Thinking for Judicial Reasoning and Governance of Law. In: H. S. Antunes, A. Oliveira (Eds.), Multidisciplinary Perspectives on Artificial Intelligence and the Law, Springer Nature AG, Switzerland, forthcoming 2023.

A. M. Pinto, L. M. PereiraLayerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation. In: P. López, J. Gallagher, R. Giacobazzi  (Eds.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, Springer LNCS 13160, Springer Nature AG, Switzerland, 2023.

   

A. M. Pinto, L. M. Pereira, Modularization of Logic Programs. In: P. López, J. Gallagher, R. Giacobazzi  (Eds.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, Springer LNCS 13160, Springer Nature AG, Switzerland, 2023.

T. Cimpeanu, L. M. Pereira, T. A. Han Co-evolution of social and non-social guilt in structured populations. arXiv preprint arXiv:2302.09859, 2023.


M. Bhadra, I. Hamada, S. Hölldobler, L. M. Pereira, Humans Reason Skeptically. In: L. Magnani (Ed.), Handbook of Abductive Cognition, Springer Nature AG, Switzerland, 2022.

 

A. M. Pinto, L. M. Pereira, Default Negation in Normal Logic Programs Considered as Minimal Abduction of Positive Hypotheses. In: L. Magnani (Ed.), Handbook of Abductive Cognition, Springer Nature AG, Switzerland, 2022.

E.-A. Dietz Saldanha, S. Hölldobler, L. M. Pereira. Our Themes on Abduction in Human Reasoning: A Synopsis. In: J. R. Shook, S. Paavola (Eds.), book series Studies in Applied Philosophy, Epistemology and Rational Ethics  (SAPERE, volume 59), pp. 279-293, ISBN 978-3-030-61772-1, Springer Nature AG, Switzerland, 2021

T. A. Han, T. Lenaerts, F. C. Santos, L. M. Pereira. Voluntary safety commitments provide an escape from over-regulation in AI development, arXiv 2104.03741, 9 April 2021.


L. M. Pereira, Da maquinaria da moral à moral da máquina. In: T. Brandão, M. E. Gonçalves (eds.), e-book Ensaios Sobre Ciência, Cultura e Política Científica, pp. 82-98, Lisboa: Centro Nacional de Cultura, November 2020.

   

T. A. HanL. M. Pereira, T. Lenaerts, F. C. Santos, Mediating artificial intelligence developments through negative and positive incentives, arXiv 2010.00403, 1 October 2020.

 

T. A. HanL. M. Pereira, F. C. Santos, T. Lenaerts, To regulate or not: a social dynamics analysis of the race for AI supremacy, arXiv 1907.12393v2, 16 January 2020.

     

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. PereiraF. C. Santos, Counterfactual Thinking in Cooperation Dynamics.  In: M. Fontaine 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. HanL. M. Pereira, F. C. Santos, T. Lenaerts, Modelling the Safety and Surveillance of the AI Race. arXiv 1907.12393, 26 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. HanL. 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. PereiraT. A. HanF. C. SantosComplex 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, G. 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. HanL. M. PereiraIntention-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 ParadigmsSeries 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. SaptawijayaModelling 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. PereiraT. 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. PereiraT. A. HanIntention Recognition with Evolution Prospection and Causal Bayesian Networksselect updated papers from Intl. Symp. on Computational Intelligence for Engineering Systemsin: 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. PintoInspecting 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. PereiraCluster-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, G. 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. HanL. M. PereiraT. 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 IntelligenceStudia 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, 1989Poster

 

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

   

T. Cimpeanu, F. C. Santos, L. M. Pereira, T. Lenaerts, T. A. Han, Artificial Intelligence Development Races in Heterogeneous Settings, in: Scientific Reports SREP-21-02388, February 2022.

 

T. A. Han, T. Lenaerts, F. C. Santos, L. M. Pereira, Voluntary safety commitments provide an escape from over-regulation in AI development, in: Technology in Society, 68 (2022) 101843, January 2022.

Voluntary safety commitments provide an escape from over-regulation in AI develop L. M. Pereira, T. A. Han, A. Lopes, Employing AI to better understand our morals, in: Entropy 24, 10. https://doi.org/10.3390/e24010010, January 2022.

         

T. A. HanL. M. Pereira, T. Lenaerts, F. C. Santos, Mediating Artificial Intelligence Developments through Negative and Positive Incentives, in: PLoS ONE (Public Library of Science ONE), 16(1): e0244592, January 2021.

T. A. HanL. M. Pereira, F. C. Santos, T. Lenaerts, To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race, in: JAIR (Journal of Artificial Intelligence Research), 69 (2020) 881-921, DOI: https://doi.org/10.1613/jair.1.12225, November 2020.

 

L. M. Pereira, The Carousel of Ethical Machinery, in: AI & Society (Journal of Knowledge, Culture and Communication), vol. 36(1), 185-196, DOI: 10.1007/s00146-020-00994-0, shared link: https://rdcu.be/b4r7e, online 27 May 2020.

L. M. Pereira, A machine is cheaper than a human for the same task, in: AI & Society (Journal of Knowledge, Culture and Communication), vol. 34(1), DOI: 10.1007/s00146-018-0874-0, online 02 January 2019.

 

T. A. HanL. 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. HanL. 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. HanL. M. PereiraT. 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. HanL. 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. HanL. M. PereiraF. C. Santos, T. LenaertsEmergence 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. HanF. C. Santos, T. LenaertsL. 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. HanL. M. PereiraT. 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. SaptawijayaL. M. PereiraTabled Abduction in Logic ProgramsTheory and Practice of Logic Programming, 13(4-5-Online-Supplement), July 2013.

 

T. A. HanL. M. PereiraF. C. Santos, T. LenaertsGood Agreements Make Good Friends, Scientific Reports, Sci. Rep. 3:2695, DOI:10.1038/srep02695, 2013.

 

T. A. HanL. M. PereiraContext-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. HanL. 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. PereiraTuring is Among UsJournal of Logic and Computation, doi: 10.1093/logcom/exs035,  22(6):1257-1277, December 2012.    

 

T. A. HanL. M. PereiraF. C. SantosCorpus-based Intention Recognition in Cooperation DilemmasArtificial Life, doi:10.1162/ARTL_a_00072, 18(4) 365-383, Fall 2012.

 

L. M. PereiraBook 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. PereiraObservation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, ExperimentationAnnals 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. HanL. M. PereiraF. C. Santos, Intention Recognition Promotes The Emergence of CooperationAdaptive Behavior, doi: 10.1177/1059712311410896, 19(3):264-279, August 2011.

  

L. M. PereiraTolerância Evolucionária, Revista Portuguesa de Psicanálise, 30(2) 117-147, 2010.  Talk Audio  from 2011 conference presentation.

 

B. Mirkin, S. NascimentoT. 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. PereiraC. K. Ramli, Modelling Decision Making with Probabilistic CausationIntelligent Decision Technologies (IDT), 4(2):133-148, 2010.

 

L. M. Pereira, Moral Computacional, Jornal de Ciências CognitivasDecember 2009.

 

L. M. PereiraT. A. Han, Evolution Prospection in Decision MakingIntelligent 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. PereiraA. SaptawijayaModelling 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 CognitivasDecember 2008.

 

L. M. Pereira, Auto-Entrevista sobre IA, 2008, Jornal de Ciências CognitivasDecember 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 revisionJournal 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. RiguzziBelief 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 NetworksIntl. 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 BasesThe 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 ProgramsMachine Learning, 38(1-2):63-87, January 2000.

 

L. M. Pereira, The Logical Impingement of Artificial IntelligenceGrazer 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 ProgrammingJ. Automated Reasoning, (20):107-142, 1998.

 

J. J. Alferes, J. A. LeiteL. M. Pereira, H. Przymusinska, T. C. Przymusinski, Dynamic Logic ProgrammingLinkö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 ApproachJ. 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 ProgramsAnnals 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 ReasoningJ. Automated Reasoning, (14):93-147, 1995.

 

L. M. Pereira, J. J. Alferes, J. N. Aparício, Adding Closed World Assumptions to Well Founded SemanticsTheoretical Computer Science, 122:49-68, 1994.

 

L. M. Pereira, J. N. Aparício, J. J. Alferes, Non--monotonic Reasoning with Logic ProgrammingThe 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 PrologJ. 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 LanguagesACM 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.

 


Articles in Newsletters

 

L. M. Pereira, Inteligência Artificial Ética na Administração Pública, Newsletter do Conselho Geral da Universidade de Évora, Vol.1, No.1, May, 2023.


T. A. Han, L. M. Pereira,  T. Lenaerts, AI developers often ignore safety in the pursuit of a breakthrough – so how do we regulate them without blocking progress?, The Conversation, March 18, 2021.

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. PereiraTuring is Among Us (Abstract), in: The Association for Logic Programming Newsletter, Vol. 25, No. 3, July 2012.

       

L. M. PereiraBook 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 InterpreterLogic 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

                                                            2023  2022  2021  2020       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

2023BACK


 T. Cimpeanu, L. M. Pereira, T. A. Han Co-evolution of social and non-social guilt in structured populations, extended abstract
in
22th Intl. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2023),
A. Ricci, W. Yeoh, N. Agmon, B. An (Eds.), Proceedings ACM Digital Library, London, UK. May 29 - June 2, 2023.


2022BACK

  

       A. C. Alexandre, L. M. Pereira, European Union fosters ethical AI in the Public Administration,

                 in 2nd Intl. Conf. on Disruptive Technologies Tech Ethics and Artificial Intelligence (DiTTEt 2022), Salamanca, Spain, July 20-22, 2022.
                 Video  13:40 mins 167,7 MB
  Slides with talk sound 13:40 mins 6,7 MB
       

        T. Cimpeanu, F. C. Santos, L. M. Pereira, T. Lenaerts, T. A. HanNetwork Diversity Promotes Safety Adoption in Swift Artificial Intelligence Development,
               
in 2022 Conference on Artificial Life (ALIFE 2022), Trento, Italy, July 18-22, 2022.


          T. A. Han, F. C. Santos, L. M. Pereira, T. Lenaerts, Voluntary safety pledges overcome over-regulation dilemma in AI development: an evolutionary game analysis,
               
in 2022 Conference on Artificial Life (ALIFE 2022), Trento, Italy, July 18-22, 2022.


2021BACK


T. Cimpeanu, T. A. Han, F. C. Santos, L. M. Pereira, T. Lenaerts, Heterogeneous Interactions in Artificial Intelligence Development Races, in Conference on Complex Systems (CSS 2021), Lyon, France,  October 25-29, 2021.  Video   Slides

T. A. Han, T. Lenaerts, F. C. Santos, L. M. Pereira, Voluntary safety commitments provide an escape from over-regulation in AI development, in Conference on Complex Systems (CSS 2021), Lyon, France,  October 25-29, 2021.  Video     Slides

T. A. Han, L. M. Pereira, F. C. Santos, T. Lenaerts, Modelling and regulating safety compliance: Game theory lessons from AI development races analyses, in AISafety 2021, IJCAI workshop, 21-23 August, virtual online, Montreal,  Canada, 202.   poster   YouTube presentation video

T. A. Han, L. M. Pereira, F. C. Santos, T. Lenaerts, Time-scale Differences will Influence the Regulation Required in an Idealised AI Race Game, in Erdem, E.,  Helmert, M. (Eds.) Journal Track Procs.: 30th Intl. J. Conf. on Artificial Intelligence (IJCAI 2021), August 21-26, Montreal, Canada, virtual online, 2021.   poster


T. A. Han, L. M. Pereira, F. C. Santos, T. Lenaerts, A regulation dilemma in Artificial Intelligence development  (Extended Abstract), in Procs.: The 2021 Conference on Artificial Life (ALIFE 2021), Prague, Czech Republic, 19-23 July, virtual online, 2021.   YouTube presentation video
 

2020BACK


T. A. HanL. M. Pereira, T. Lenaerts, F. C. Santos, Mediating Artificial Intelligence Developments through Negative and Positive Incentives, in Book of Abstracts: Conference on Complex Systems 2020, (CCS 2020), December 4-11, virtual online, 2020.

2019BACK


T. A. HanL. M. Pereira, T. Lenaerts, Modelling and Influencing the AI Bidding War: A Research Agenda, in Procs.: AAAAI/ACM Conference on AI, Ethics, and Society, (AIES 2019), January 27-28, 2019, Honolulu, Hawaii, USA. Poster   Proceedings


2018


L. M. PereiraF. C. Santos, Counterfactual Thinking in Cooperation Dynamics (extended abstract) 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.


2017


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. HanL. 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. PereiraT. 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-VaqueroT. 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. HanL. M. PereiraL. 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. HanL. M. Pereira, L. A. Martinez-Vaquero, T. LenaertsCentralized 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.  

 

2016


L. M. PereiraMachine 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. HanL. M. Pereira, T. LenaertsApology 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. HanL. 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. HanL. 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. PereiraT. 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 Seriespp. 214-216, vol. 2016, 21-23 March, Stanford University, Palo Alto, California.

 

T. Lenaerts, L. A. Martinez-Vaquero, T. A. HanL. M. PereiraConditions 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 Seriespp. 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.

 

2015


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. HanL. 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 behaviourGranada 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 behaviourGranada 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. PereiraT. 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. 


2014


T. A. HanL. M. PereiraT. LenaertsEvolution of Pairwise Commitment and Cooperation, abstract at European Conference on Complex Systems 2014 (ECSS'14), September 22-26, Lucca, Italy. 

 

T. A. HanL. M. PereiraT. 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.

 

 2013


L. Krippahl, L. M. PereiraTeaching 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. SaptawijayaL. M. PereiraExploiting 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. HanL. M. PereiraF. 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. PereiraAn 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, La Coruña, Spain.       Poster

 

A. SaptawijayaL. 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 Programsin: 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. HanL. 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. HanL. M. PereiraF. 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  

 

2012


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. PereiraA. 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. PereiraTuring 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. PereiraComplex 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. HanL. M. PereiraF. 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. HanA. 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. HanL. M. PereiraF. C. SantosThe 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


2011

  

A. M. Pinto, L. M. Pereira Each normal logic program has a 2-valued Minimal Hypotheses semanticsin: 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. HanL. 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'AcquaL. M. PereiraF. ToniMeta-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'AcquaL. M. PereiraF. ToniMeta-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. HanL. 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'AcquaL. 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. HanL. 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. HanL. M. PereiraF. 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. PereiraTolerâ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

 

2010

  

S. Costantini, P. Dell'AcquaL. M. PereiraFrancesca ToniLearning 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. HanL. 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. HanL. 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. NascimentoT. Fenner, L. M. PereiraConstructing 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. HanL. 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. PereiraObservation Strategies for Event Detection with Incidence on Runtime Verificationin: 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 Programsin: 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. NascimentoT. Fenner, L. M. PereiraA 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. LopesL. M. PereiraProspective 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)   

 

2009

 

B. Mirkin, S. Nascimento, L. M. PereiraVisualization 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. PereiraT. A. HanIntention 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. PereiraT. 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. PintoStable 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. PereiraT. A. Han Intention Recognition via Causal Bayes Networks plus Plan Generation, in: Lopes, L.S.; 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. PintoLayer 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. PereiraT. 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. PereiraC. 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. PereiraP. 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 2009Talk Audio

 

2008 

 

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. 

 

2007

 

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, G. 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. PereiraA. 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, G. 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.  

  

2006

 

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.

 

G. 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.

 

2005

 

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. 

 

2004

 

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.

 

2003

 

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.

 

2002

 

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.slides

 

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. PereiraOn 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. 

 

2001

 

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.

 

2000 

 

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.

 

1999

 

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.

 

1998

 

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. LammaL. 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.

 

1997

 

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. 

 

1996

 

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. 

 

1995

 

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. 

 

1994

 

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. 

 

1993

 

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. 

 

1992

 

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.

 

1991

 

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.

 

1990

 

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.

 

1989

 

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.

 

1988

 

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.

 

1986

 

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.

 

1985

 

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.

 

1984

 

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.

 

1983

 

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.

 

1982

 

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. PereiraLogic 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.

 

1980

 

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.


1979

 

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.

 

1978

 

L. M. PereiraL. 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.

 

1977

 

L. M. Pereira, Prolog, uma linguagem de programação em lógica, in: Congresso 77, Ordem dos Engenheiros, Lisbon, Portugal, 1977.

 

1976

 

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.

 

1973

 

L. M. Pereira, N. Portas, L. Monteiro, F. C. N. Pereira, Interactive dimensional layout schemes,  Design Activity Intl. Conf., London, UK, 1973.

 

1972

 

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.

 

1970

 

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. PereiraEntradas 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 organização económica vai sofrer um abalo com a IA. Interview by Nuno Dias da Silva, in: Podcast do Expresso "O Futuro do Futuro", 26 June 2023.    54 mins

            L. M. Pereira, Inteligência artificial, um tsunami de consequências imprevisíveis. Interview by Hugo Séneca, in: Ensino Magazine 304, June 2023.

            L. M. Pereira, Fronteiras da Inteligência Artificial. Panel coordinated by Luís Castro, in RTP2 program Sociedade Civil,  29 May 2023.    62 mins

L. M. Pereira, Inteligência Artificial com Luís Moniz Pereira. Two interviews at RTP-Antena 1, 3 and 10 May 2023.     3 May     10 May    45 mins each

L. M. Pereira,
Luís Moniz Pereira entrevistado por Sofia Teixeira - Texto Integral. Transcription of the full interview for
Notícias Magazine by Sofia Teixeira, in: OTC pages, 22 January 2022.
 
L. M. Pereira, Inteligência artificial: das máquinas autónomas às máquinas éticas. Interview by Sofia Teixeira, in: Notícias Magazine, 12 January 2022.
 
L. M. Pereira, Máquinas Éticas, conversa com Luís Moniz Pereira. Interview by Luísa Costa Gomes for philosophy podcast Utópicos, 5 August  2021.

 
L. M. Pereira, Máquinas Éticas: Já fiz máquinas que sentiam culpa. Interview by João Paulo Sacadura, of me and António Barata Lopes, program "Convidado Extra" for Observador Rádio, aired 5 May 2021.
 
L. M. Pereira, Visões sobre o impacto da IA, suas promessas, riscos e desafios
. Interview by Ana Peixoto, program "Entre Tantos" for TVI24, aired 1 March 2020.
 
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 ComputacionalInterview by Virgílio Azevedo, in: Semanário Expresso, 12 March 2016.     Extended online version here.
 
L. M. Pereira, Carros Sem Condutor: page 1, page 2Interview 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 2Interview 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. PereiraInteligê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. PereiraInterview - "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. PereiraQuestõ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 RTP­2, 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. PereiraPortugal 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. PereiraInterview - "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. PereiraNews 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