| 2019 | AIES | Modelling and Influencing the AI Bidding War: A Research Agenda. | The Anh Han, Lus Moniz Pereira, Tom Lenaerts |
| 2017 | AAAI | Centralized versus Personalized Commitments and Their Influence on Cooperation in Group Interactions. | The Anh Han, Lus Moniz Pereira, Luis A. Martinez-Vaquero, Tom Lenaerts |
| 2017 | CogSci | Agent Morality via Counterfactuals in Logic Programming. | Lus Moniz Pereira, Ari Saptawijaya |
| 2017 | LPNMR | Contextual Reasoning: Usually Birds Can Abductively Fly. | Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Lus Moniz Pereira |
| 2015 | EPIA | Logic Programming Applied to Machine Ethics. | Ari Saptawijaya, Lus Moniz Pereira |
| 2014 | KR | An Abductive Reasoning Approach to the Belief Bias Effect. | Lus Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hlldobler |
| 2014 | PADL | Towards Modeling Morality Computationally with Logic Programming. | Ari Saptawijaya, Lus Moniz Pereira |
| 2013 | EPIA | Towards Practical Tabled Abduction in Logic Programs. | Ari Saptawijaya, Lus Moniz Pereira |
| 2013 | IJCAI | Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma. | The Anh Han, Lus Moniz Pereira, Francisco C. Santos, Tom Lenaerts |
| 2013 | LPAR | Incremental Tabling for Query-Driven Propagation of Logic Program Updates. | Ari Saptawijaya, Lus Moniz Pereira |
| 2013 | LPNMR | Program Updating by Incremental and Answer Subsumption Tabling. | Ari Saptawijaya, Lus Moniz Pereira |
| 2012 | AAMAS | The emergence of commitments and cooperation. | Han The Anh, Lus Moniz Pereira, Francisco C. Santos |
| 2012 | CEC | Intention recognition, commitment and the evolution of cooperation. | Han The Anh, Lus Moniz Pereira, Francisco C. Santos |
| 2012 | LPAR | Moral Reasoning under Uncertainty. | Han The Anh, Ari Saptawijaya, Lus Moniz Pereira |
| 2011 | EPIA | Intention-Based Decision Making with Evolution Prospection. | Han The Anh, Lus Moniz Pereira |
| 2011 | IJCAI | The Role of Intention Recognition in the Evolution of Cooperative Behavior. | Han The Anh, Lus Moniz Pereira, Francisco C. Santos |
| 2010 | CPAIOR | Observation Strategies for Event Detection with Incidence on Runtime Verification. | Marco Alberti, Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2010 | CPAIOR | Ensuring Agent Properties under Arbitrary Sequences of Incoming Events. | Stefania Costantini, Pierangelo Dell'Acqua, Lus Moniz Pereira, Arianna Tocchio |
| 2010 | HAIS | A Hybrid Cluster-Lift Method for the Analysis of Research Activities. | Boris G. Mirkin, Susana Nascimento, Trevor I. Fenner, Lus Moniz Pereira |
| 2010 | ICLP | Tight Semantics for Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2010 | KSEM | Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy. | Boris G. Mirkin, Susana Nascimento, Trevor I. Fenner, Lus Moniz Pereira |
| 2010 | PADL | Prospective Storytelling Agents. | Gonalo Lopes, Lus Moniz Pereira |
| 2009 | EPIA | Intention Recognition via Causal Bayes Networks Plus Plan Generation. | Lus Moniz Pereira, Han The Anh |
| 2009 | ICLP | Incremental Answer Completion in the SLG-WAM. | Terrance Swift, Alexandre Miguel Pinto, Lus Moniz Pereira |
| 2009 | LPNMR | Layer Supported Models of Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2009 | PADL | On Preferring and Inspecting Abductive Models. | Lus Moniz Pereira, Pierangelo Dell'Acqua, Gonalo Lopes |
| 2009 | PADL | Layered Models Top-Down Querying of Normal Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2008 | ICCS | Representing a Computer Science Research Organization on the ACM Computing Classification System. | Boris G. Mirkin, Susana Nascimento, Lus Moniz Pereira |
| 2007 | EPIA | Gdel and Computability. | Lus Moniz Pereira |
| 2007 | EPIA | Prospective Logic Agents. | Lus Moniz Pereira, Gonalo Lopes |
| 2007 | EPIA | Modelling Morality with Prospective Logic. | Lus Moniz Pereira, Ari Saptawijaya |
| 2007 | LPAR | Approved Models for Normal Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2006 | ICINCO | Modelling adaptive controllers with evolving logic programs. | Pierangelo Dell'Acqua, Anna Lombardi, Lus Moniz Pereira |
| 2006 | ISMIS | A Logic-Based Approach to Model Supervisory Control Systems. | Pierangelo Dell'Acqua, Anna Lombardi, Lus Moniz Pereira |
| 2005 | EPIA | Preference Revision Via Declarative Debugging. | Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2005 | EPIA | Revised Stable Models - A Semantics for Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2005 | ICINCO | MOdelling hybrid control systems with behaviour networks. | Pierangelo Dell'Acqua, Anna Lombardi, Lus Moniz Pereira |
| 2005 | ICLP | A Well-Founded Semantics with Disjunction. | Joo F. L. Alcntara, Carlos Viegas Damsio, Lus Moniz Pereira |
| 2004 | ECAI | A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. | Joo F. L. Alcntara, Carlos Viegas Damsio, Lus Moniz Pereira |
| 2003 | EPIA | An Evolvable Rule-Based E-mail Agent. | Jos Jlio Alferes, Antonio Brogi, Joo Alexandre Leite, Lus Moniz Pereira |
| 2003 | EPIA | An Architecture for a Rational Reactive Agent. | Pierangelo Dell'Acqua, Mattias Engberg, Lus Moniz Pereira |
| 2003 | PADL | A Logical Framework for Modelling eMAS. | Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2002 | FQAS | User Preference Information in Query Answering. | Pierangelo Dell'Acqua, Lus Moniz Pereira, Aida Vitria |
| 2002 | JELIA | Paraconsistent Logic Programs. | Joo F. L. Alcntara, Carlos Viegas Damsio, Lus Moniz Pereira |
| 2002 | JELIA | Evolving Logic Programs. | Jos Jlio Alferes, Antonio Brogi, Joo Alexandre Leite, Lus Moniz Pereira |
| 2002 | JELIA | A Compilation of Updates plus Preferences. | Jos Jlio Alferes, Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2001 | ECSQARU | Monotonic and Residuated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 2001 | EPIA | Evolving Multi-agent Viewpoints - an Architecture. | Pierangelo Dell'Acqua, Joo Alexandre Leite, Lus Moniz Pereira |
| 2001 | EPIA | Enabling Agents to Update Their Knowledge and to Prefer. | Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2001 | EPIA | On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. | Joo Alexandre Leite, Jos Jlio Alferes, Lus Moniz Pereira |
| 2001 | LOPSTR | Computing Environment-Aware Agent Behaviours with Logic Program Updates. | Jos Jlio Alferes, Antonio Brogi, Joo Alexandre Leite, Lus Moniz Pereira |
| 2001 | LPNMR | Antitonic Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 2001 | LPNMR | Multi-dimensional Dynamic Knowledge Representation. | Joo Alexandre Leite, Jos Jlio Alferes, Lus Moniz Pereira |
| 2000 | AIMSA | Dynamic Knowledge Representation and Its Applications. | Jos Jlio Alferes, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma |
| 2000 | JELIA | Updates plus Preferences. | Jos Jlio Alferes, Lus Moniz Pereira |
| 2000 | JELIA | Hybrid Probabilistic Logic Programs as Residuated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1999 | ICLP | Well-founded Abduction via Tabled Dual Programs. | Jos Jlio Alferes, Lus Moniz Pereira, Terrance Swift |
| 1999 | LPNMR | LUPS - A Language for Updating Logic Programs. | Jos Jlio Alferes, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
| 1999 | LPNMR | Coherent Well-founded Annotated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira, Terrance Swift |
| 1998 | ICLP | Iterated Logic Program Updates. | Joo Alexandre Leite, Lus Moniz Pereira |
| 1998 | KR | Dynamic Logic Programming. | Jos Jlio Alferes, Joo Alexandre Leite, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
| 1997 | EPIA | Reasoning about Actions with Abductive Logic Programming. | Lus Moniz Pereira, Renwei Li |
| 1997 | LPNMR | A Paraconsistent Semantics with Contradiction Support Detection. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1997 | LPNMR | REVISE: Logic Programming and Diagnosis. | Carlos Viegas Damsio, Lus Moniz Pereira, Michael Schroeder |
| 1996 | AAAI | What Is Believed Is What Is Explained (Sometimes). | Renwei Li, Lus Moniz Pereira |
| 1996 | ECAI | Temporal Reasoning with Abductive Logic Programming. | Renwei Li, Lus Moniz Pereira |
| 1996 | ICTAI | A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. | Michael Schroeder, Iara de Almeida Mra, Lus Moniz Pereira |
| 1996 | JELIA | Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. | Jos Jlio Alferes, Lus Moniz Pereira, Teodor C. Przymusinski |
| 1995 | EPIA | Non-Atomic Actions in the Situation Calculus. | Jos Jlio Alferes, Renwei Li, Lus Moniz Pereira |
| 1995 | EPIA | Belief Revision in Non-Monotonic Reasoning. | Jos Jlio Alferes, Lus Moniz Pereira, Teodor C. Przymusinski |
| 1995 | EPIA | A Model Theory for Paraconsistent Logic Programming. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1995 | LPNMR | Abduction over 3-Valued Extended Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1994 | ECAI | Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. | Jos Jlio Alferes, Carlos Viegas Damsio, Lus Moniz Pereira |
| 1994 | JELIA | Belief, Provability, and Logic Programs. | Jos Jlio Alferes, Lus Moniz Pereira |
| 1994 | KR | REVISE: An Extended Logic Programming System for Revising Knowledge Bases. | Carlos Viegas Damsio, Wolfgang Nejdl, Lus Moniz Pereira |
| 1993 | EPIA | Diagnosis and Debugging as Contradiction Removal in Logic Programs. | Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes |
| 1993 | ICLP | Optative Reasoning with Scenario Semantics. | Lus Moniz Pereira, Jos Jlio Alferes |
| 1993 | LPNMR | Scenario Semantics of Extended Logic Programs. | Jos Jlio Alferes, Phan Minh Dung, Lus Moniz Pereira |
| 1993 | LPNMR | Diagnosis and Debugging as Contradiction Removal. | Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes |
| 1992 | ECAI | Well Founded Semantics for Logic Programs with Explicit Negation. | Lus Moniz Pereira, Jos Jlio Alferes |
| 1992 | ICLP | Improving Backward Execution in the Andorra Family of Languages. | Salvador Abreu, Lus Moniz Pereira, Philippe Codognet |
| 1992 | ICLP | On Logic Program Semantics with Two Kinds of Negation. | Jos Jlio Alferes, Lus Moniz Pereira |
| 1992 | JELIA | Default Theory for Well Founded Semantics with Explicit Negation. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |
| 1991 | EPIA | Declarative Source Debugging. | Miguel Calejo, Lus Moniz Pereira |
| 1991 | EPIA | The Extended Stable Models of Contradiction Removal Semantics. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |
| 1991 | ICLP | Nonmonotonic Reasoning with Well Founded Semantics. | Lus Moniz Pereira, Joaquim Nunes Aparcio, Jos Jlio Alferes |
| 1991 | IJCAI | Derivation Procedures for Extended Stable Models. | Lus Moniz Pereira, Joaquim Nunes Aparcio, Jos Jlio Alferes |
| 1991 | LPNMR | Contradiction Removal within Well Founded Semantics. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |
| 1989 | EPIA | Relevant Counterfactuals. | Lus Moniz Pereira, Joaquim Nunes Aparcio |
| 1989 | EPIA | Algorithmic Debugging of Prolog Side-Effects. | Lus Moniz Pereira, Miguel Calejo |
| 1989 | ICLP | Programming in Delta Prolog. | Jos C. Cunha, Maria C. Ferreira, Lus Moniz Pereira |
| 1988 | ICLP | A Framework for Prolog Debugging. | Lus Moniz Pereira, Miguel Calejo |
| 1986 | ICLP | Rational Debugging in Logic Programming. | Lus Moniz Pereira |
| 1986 | ICLP | Delta Prolog: A Distributed Backtracking Extension with Events. | Lus Moniz Pereira, Lus Monteiro, Jos C. Cunha, Joaquim Nunes Aparcio |
| 1983 | ICLP | Relational Data Bases ' la carte'. | Miguel Filgueiras, Lus Moniz Pereira |
| 1982 | ICLP | Logic Control with Logic. | Lus Moniz Pereira |
| 1982 | ICLP | A Prolog Implementation of a Large System on a Small Machine. | Lus Moniz Pereira, Antnio Porto |
| 1982 | ICLP | ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. | Lus Moniz Pereira, Paul Sabatier, Eugnio Oliveira |
| 1980 | CADE | Selective Backtracking for Logic Programs. | Lus Moniz Pereira, Antnio Porto |