Selective Backtracking for Logic Programs. - Luís Moniz Pereira; António Porto (CADE, 1980)

Logic Control with Logic. - Luís Moniz Pereira (ICLP, 1982)

A Prolog Implementation of a Large System on a Small Machine. - Luís Moniz Pereira; António Porto (ICLP, 1982)

ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. - Luís Moniz Pereira; Paul Sabatier; Eugénio Oliveira (ICLP, 1982)

Relational Data Bases 'à la carte'. - Miguel Filgueiras; Luís Moniz Pereira (Logic Programming Workshop, 1983)

Deduction Revision by Intelligent Backtracking. - Maurice Bruynooghe; Luís Moniz Pereira (Implementations of Prolog, 1984)

Logic Control with Logic. - Luís Moniz Pereira (Implementations of Prolog, 1984)

Delta-Prolog: A Distributed Logic Programming Language. - Luís Moniz Pereira; Roger Nasr (FGCS, 1984)

Rational Debugging in Logic Programming. - Luís Moniz Pereira (ICLP, 1986)

Delta Prolog: A Distributed Backtracking Extension with Events. - Luís Moniz Pereira; Luís Monteiro; José C. Cunha; Joaquim Nunes Aparício (ICLP, 1986)

Automated Reasoning in Geometry Theorem Proving with Prolog. - Helder Coelho; Luís Moniz Pereira (J. Autom. Reason., 1986)

A Framework for Prolog Debugging. - Luís Moniz Pereira; Miguel Calejo (ICLP/SLP, 1988)

Relevant Counterfactuals. - Luís Moniz Pereira; Joaquim Nunes Aparício (EPIA, 1989)

Algorithmic Debugging of Prolog Side-Effects. - Luís Moniz Pereira; Miguel Calejo (EPIA, 1989)

Programming in Delta Prolog. - José C. Cunha; Maria C. Ferreira; Luís Moniz Pereira (ICLP, 1989)

Declarative Source Debugging. - Miguel Calejo; Luís Moniz Pereira (EPIA, 1991)

The Extended Stable Models of Contradiction Removal Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (EPIA, 1991)

Nonmonotonic Reasoning with Well Founded Semantics. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (ICLP, 1991)

Derivation Procedures for Extended Stable Models. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (IJCAI, 1991)

Contradiction Removal within Well Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (LPNMR, 1991)

A Practical Introduction to Well Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (SCAI, 1991)

Hypothetical Reasoning with Well Founded Semantics. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (SCAI, 1991)

Counterfactual Reasoning Based on Revising Assumptions. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (ISLP, 1991)

Well Founded Semantics for Logic Programs with Explicit Negation. - Luís Moniz Pereira; José Júlio Alferes (ECAI, 1992)

SLWV - A Theorem Prover for Logic Programming. - Luís Moniz Pereira; Luís Caires; José Júlio Alferes (ELP, 1992)

Improving Backward Execution in the Andorra Family of Languages. - Salvador Abreu; Luís Moniz Pereira; Philippe Codognet (JICSLP, 1992)

On Logic Program Semantics with Two Kinds of Negation. - José Júlio Alferes; Luís Moniz Pereira (JICSLP, 1992)

Default Theory for Well Founded Semantics with Explicit Negation. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (JELIA, 1992)

Contradiction Removal Semantics with Explicit Negation. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (Logic at Work, 1992)

Logic Programming for Non-Monotonic Reasoning. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (Logic at Work, 1992)

Debugging by Diagnosing Assumptions. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (AADEBUG, 1993)

Design for AKL with Intelligent Pruning. - Salvador Abreu; Luís Moniz Pereira (ELP, 1993)

Contradiction: When Avoidance Equals Removal - Part I. - José Júlio Alferes; Luís Moniz Pereira (ELP, 1993)

Contradiction: When Avoidance Equals Removal - Part II. - José Júlio Alferes; Luís Moniz Pereira (ELP, 1993)

Diagnosis and Debugging as Contradiction Removal in Logic Programs. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (EPIA, 1993)

Optative Reasoning with Scenario Semantics. - Luís Moniz Pereira; José Júlio Alferes (ICLP, 1993)

Scenario Semantics of Extended Logic Programs. - José Júlio Alferes; Phan Minh Dung; Luís Moniz Pereira (LPNMR, 1993)

Diagnosis and Debugging as Contradiction Removal. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (LPNMR, 1993)

Non-Monotonic Reasoning with Logic Programming. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (J. Log. Program., 1993)

Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (ECAI, 1994)

REVISE: An Extended Logic Programming System for Revising Knowledge Bases. - Carlos Viegas Damásio; Wolfgang Nejdl; Luís Moniz Pereira (KR, 1994)

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. - José Júlio Alferes; Luís Moniz Pereira (NMELP, 1994)

A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems. - Salvador Abreu; Luís Moniz Pereira (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (ILPS, 1994)

Adding Closed World Assumptions to Well-Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (Theor. Comput. Sci., 1994)

Parallel Logic Programming with Extensions. - Luís Moniz Pereira (GULP-PRODE, 1995)

Non-Atomic Actions in the Situation Calculus. - José Júlio Alferes; Renwei Li 001; Luís Moniz Pereira (EPIA, 1995)

Belief Revision in Non-Monotonic Reasoning. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (EPIA, 1995)

A Model Theory for Paraconsistent Logic Programming. - Carlos Viegas Damásio; Luís Moniz Pereira (EPIA, 1995)

Abduction over 3-Valued Extended Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (LPNMR, 1995)

Belief, Provability, and Logic Programs. - José Júlio Alferes; Luís Moniz Pereira (J. Appl. Non Class. Logics, 1995)

A Logic Programming System for Nonmonotonic Reasoning. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (J. Autom. Reason., 1995)

Reasoning with Logic Programming - José Júlio Alferes; Luís Moniz Pereira (Springer, 1996)

What Is Believed Is What Is Explained (Sometimes). - Renwei Li 001; Luís Moniz Pereira (AAAI/IAAI, Vol. 1, 1996)

Reasoning about Concurrent Actions and Observations. - Renwei Li 001; Luís Moniz Pereira (APPIA-GULP-PRODE, 1996)

Knowledge-Based Situated Agents Among Us: A Preliminary Report. - Renwei Li 001; Luís Moniz Pereira (ATAL, 1996)

Temporal Reasoning with Abductive Logic Programming. - Renwei Li 001; Luís Moniz Pereira (ECAI, 1996)

Default Negated Conclusions: Why Not? - Carlos Viegas Damásio; Luís Moniz Pereira (ELP, 1996)

A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. - Michael Schroeder 001; Iara de Almeida Móra; Luís Moniz Pereira (ICTAI, 1996)

Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (JELIA, 1996)

Update-Programs Can Update Programs. - José Júlio Alferes; Luís Moniz Pereira (NMELP, 1996)

Prolegomena to Logic Programming for Non-monotonic Reasoning. - Jürgen Dix; Luís Moniz Pereira; Teodor C. Przymusinski (NMELP, 1996)

Belief Revision in Non-Monotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (Fundam. Informaticae, 1996)

Reasoning about Actions with Abductive Logic Programming. - Luís Moniz Pereira; Renwei Li 001 (EPIA, 1997)

Generalizing Updates: From Models to Programs. - João Alexandre Leite; Luís Moniz Pereira (LPKR, 1997)

Refining Action Theories through Abductive Logic Programming. - Renwei Li 001; Luís Moniz Pereira; Verónica Dahl (LPKR, 1997)

A Paraconsistent Semantics with Contradiction Support Detection. - Carlos Viegas Damásio; Luís Moniz Pereira (LPNMR, 1997)

REVISE: Logic Programming and Diagnosis. - Carlos Viegas Damásio; Luís Moniz Pereira; Michael Schroeder 001 (LPNMR, 1997)

Logic Programming and Knowledge Representation (LPKR'97). - Jürgen Dix; Teodor C. Przymusinski; Luís Moniz Pereira (ILPS, 1997)

Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. - Renwei Li 001; Luís Moniz Pereira (Ann. Math. Artif. Intell., 1997)

Knowledge Assimilation in Domains of Actions: A Possible Causes Approach. - Renwei Li 001; Luís Moniz Pereira (J. Appl. Non Class. Logics, 1997)

Dynamic Logic Programming. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 1998)

Iterated Logic Program Updates. - João Alexandre Leite; Luís Moniz Pereira (IJCSLP, 1998)

Tabling Abduction. - José Júlio Alferes; Luís Moniz Pereira (TAPD, 1998)

A General Tabulation Procedure for Extended Constraint Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (TAPD, 1998)

Preface: Logics for Artificial Intelligence. - José Júlio Alferes; Luís Moniz Pereira (J. Autom. Reason., 1998)

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (J. Autom. Reason., 1998)

Preliminary exploration on actions as updates. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski; Halina Przymusinska; Paulo Quaresma (APPIA-GULP-PRODE, 1999)

Well-founded Abduction via Tabled Dual Programs. - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (ICLP, 1999)

LUPS - A Language for Updating Logic Programs. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (LPNMR, 1999)

Coherent Well-founded Annotated Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira; Terrance Swift (LPNMR, 1999)

Dynamic Knowledge Representation and Its Applications. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski; Paulo Quaresma (AIMSA, 2000)

Partial Models of Extended Generalized Logic Programs. - José Júlio Alferes; Heinrich Herre; Luís Moniz Pereira (Computational Logic, 2000)

Psychiatric Diagnosis from the Viewpoint of Computational Logic. - Joseph Gartner; Terrance Swift; Allen Tien; Carlos Viegas Damásio; Luís Moniz Pereira (Computational Logic, 2000)

Multi-dimensional Dynamic Logic Programming. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

Updates plus Preferences. - José Júlio Alferes; Luís Moniz Pereira (JELIA, 2000)

Dynamic updates of non-monotonic knowledge bases. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (J. Log. Program., 2000)

Strategies in Combined Learning via Logic Programs. - Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira (Mach. Learn., 2000)

Combining societal agents' knowledge. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (APPIA-GULP-PRODE, 2001)

MINERVA - A Dynamic Logic Programming Agent Architecture. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (ATAL, 2001)

Monotonic and Residuated Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (ECSQARU, 2001)

Evolving Multi-agent Viewpoints - an Architecture. - Pierangelo Dell'Acqua; João Alexandre Leite; Luís Moniz Pereira (EPIA, 2001)

Enabling Agents to Update Their Knowledge and to Prefer. - Pierangelo Dell'Acqua; Luís Moniz Pereira (EPIA, 2001)

On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (EPIA, 2001)

Preferring and Updating in Abductive Multi-agent Systems. - Pierangelo Dell'Acqua; Luís Moniz Pereira (ESAW, 2001)

Belief Revision by Lamarckian Evolution. - Evelina Lamma; Luís Moniz Pereira; Fabrizio Riguzzi (EvoWorkshops, 2001)

Preferring and Updating in Multi-Agents. - Pierangelo Dell'Acqua; Luís Moniz Pereira (INAP, 2001)

Preferring and Updating in Logic-Based Agents. - Pierangelo Dell'Acqua; Luís Moniz Pereira (INAP (LNCS Volume), 2001)

Computing Environment-Aware Agent Behaviours with Logic Program Updates. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (LOPSTR, 2001)

Antitonic Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (LPNMR, 2001)

Multi-dimensional Dynamic Knowledge Representation. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (LPNMR, 2001)

A Language for Updates with Multiple Dimensions. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 2002)

Logic Programming Updating - A Guided Approach. - José Júlio Alferes; Luís Moniz Pereira (Computational Logic: Logic Programming and Beyond, 2002)

A Portrait of a Scientist as a Computational Logician. - Maurice Bruynooghe; Luís Moniz Pereira; Jörg H. Siekmann; Maarten H. van Emden (Computational Logic: Logic Programming and Beyond, 2002)

User Preference Information in Query Answering. - Pierangelo Dell'Acqua; Luís Moniz Pereira; Aida Vitória (FQAS, 2002)

On Philosophical Incidences of Logic Programming. - Luís Moniz Pereira (IC-AI, 2002)

Paraconsistent Logic Programs. - João F. L. Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira (JELIA, 2002)

Evolving Logic Programs. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (JELIA, 2002)

A Compilation of Updates plus Preferences. - José Júlio Alferes; Pierangelo Dell'Acqua; Luís Moniz Pereira (JELIA, 2002)

LUPSA language for updating logic programs. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (Artif. Intell., 2002)

Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. - Carlos Viegas Damásio; Peter Fröhlich 001; Wolfgang Nejdl; Luís Moniz Pereira; Michael Schroeder 001 (Appl. Intell., 2002)

A Logic Based Asynchronous Multi-Agent System. - Pierangelo Dell'Acqua; Ulf Nilsson; Luís Moniz Pereira (CLIMA, 2002)

A Language for Multi-dimensional Updates. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (CLIMA, 2002)

Hybrid Probabilistic Logic Programs as Residuated Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (Stud Logica, 2002)

Preface. - Manuel Ojeda-Aciego; Gerhard Brewka; Inman P. de Guzmán; Luís Moniz Pereira (Stud Logica, 2002)

An Evolving Agent with EVOLP. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (APPIA-GULP-PRODE, 2003)

Logic Programming for Evolving Agents. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (CIA, 2003)

An Evolvable Rule-Based E-mail Agent. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (EPIA, 2003)

An Architecture for a Rational Reactive Agent. - Pierangelo Dell'Acqua; Mattias Engberg; Luís Moniz Pereira (EPIA, 2003)

A Logical Framework for Modelling eMAS. - Pierangelo Dell'Acqua; Luís Moniz Pereira (PADL, 2003)

Semantic Web Logic Programming Tools. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (PPSWR, 2003)

Abduction in Well-Founded Semantics and Generalized Stable Models - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (CoRR, 2003)

Belief Revision via Lamarckian Evolution. - Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira (New Gener. Comput., 2003)

A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. - João F. L. Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira (ECAI, 2004)

Abductive Validation of a Power-Grid Expert System Diagnoser. - José Ferreira de Castro; Luís Moniz Pereira (IEA/AIE, 2004)

Common-sense reasoning as proto-scientific agent activity. - Pierangelo Dell'Acqua; Luís Moniz Pereira (J. Appl. Log., 2004)

Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications. - Claudio Delrieux; Luís Moniz Pereira (J. Appl. Log., 2004)

Epistemology and artificial intelligence. - Gregory R. Wheeler; Luís Moniz Pereira (J. Appl. Log., 2004)

Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (Theory Pract. Log. Program., 2004)

Preference Revision Via Declarative Debugging. - Pierangelo Dell'Acqua; Luís Moniz Pereira (EPIA, 2005)

Revised Stable Models - A Semantics for Logic Programs. - Luís Moniz Pereira; Alexandre Miguel Pinto (EPIA, 2005)

MOdelling hybrid control systems with behaviour networks. - Pierangelo Dell'Acqua; Anna Lombardi; Luís Moniz Pereira (ICINCO, 2005)

A Well-Founded Semantics with Disjunction. - João F. L. Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira (ICLP, 2005)

Inferring Definite-Clause Grammars to Express Multivariate Time Series. - Gabriela Guimarães; Luís Moniz Pereira (IEA/AIE, 2005)

An encompassing framework for Paraconsistent Logic Programs. - João F. L. Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira (J. Appl. Log., 2005)

Modelling adaptive controllers with evolving logic programs. - Pierangelo Dell'Acqua; Anna Lombardi; Luís Moniz Pereira (ICINCO-ICSO, 2006)

Emergence of Cooperation Through Mutual Preference Revision. - Pedro Santana; Luís Moniz Pereira (IEA/AIE, 2006)

A Logic-Based Approach to Model Supervisory Control Systems. - Pierangelo Dell'Acqua; Anna Lombardi; Luís Moniz Pereira (ISMIS, 2006)

Gödel and Computability. - Luís Moniz Pereira (EPIA Workshops, 2007)

Architectural Design via Declarative Programming. - Luís Moniz Pereira; Ruben Duarte Viegas (ICEIS (2), 2007)

Approved Models for Normal Logic Programs. - Luís Moniz Pereira; Alexandre Miguel Pinto (LPAR, 2007)

Preferential theory revision. - Pierangelo Dell'Acqua; Luís Moniz Pereira (J. Appl. Log., 2007)

Introduction. - Luís Moniz Pereira; Gregory R. Wheeler (J. Appl. Log., 2007)

Representing a Computer Science Research Organization on the ACM Computing Classification System. - Boris G. Mirkin; Susana Nascimento; Luís Moniz Pereira (ICCS Supplement, 2008)

Methodological naturalism and epistemic internalism. - Gregory R. Wheeler; Luís Moniz Pereira (Synth., 2008)

Collaborative vs. Conflicting Learning, Evolution and Argumentation. - Luís Moniz Pereira; Alexandre Miguel Pinto (Oppositional Concepts in Computational Intelligence, 2008)

Intention Recognition via Causal Bayes Networks Plus Plan Generation. - Luís Moniz Pereira; Han The Anh (EPIA, 2009)

Incremental Answer Completion in the SLG-WAM. - Terrance Swift; Alexandre Miguel Pinto; Luís Moniz Pereira (ICLP, 2009)

Elder Care via Intention Recognition and Evolution Prospection. - Luís Moniz Pereira; Han The Anh (INAP, 2009)

Stabel Model Implementation of Layer Supported Models by Program Transformation. - Luís Moniz Pereira; Alexandre Miguel Pinto (INAP, 2009)

Adaptive Reasoning for Cooperative Agents. - Luís Moniz Pereira; Alexandre Miguel Pinto (INAP, 2009)

Stable versus Layered Logic Program Semantics. - Luís Moniz Pereira; Alexandre Miguel Pinto (LA-NMR, 2009)

Layer Supported Models of Logic Programs. - Luís Moniz Pereira; Alexandre Miguel Pinto (LPNMR, 2009)

On Preferring and Inspecting Abductive Models. - Luís Moniz Pereira; Pierangelo Dell'Acqua; Gonçalo Lopes (PADL, 2009)

Layered Models Top-Down Querying of Normal Logic Programs. - Luís Moniz Pereira; Alexandre Miguel Pinto (PADL, 2009)

Evolution prospection in decision making. - Luís Moniz Pereira; Han The Anh (Intell. Decis. Technol., 2009)

Evolving towards an evolutionary epistemology. - Luís Moniz Pereira (Int. J. Reason. based Intell. Syst., 2009)

Prospective logic agents. - Luís Moniz Pereira; Gonçalo Lopes (Int. J. Reason. based Intell. Syst., 2009)

Modelling morality with prospective logic. - Luís Moniz Pereira; Ari Saptawijaya (Int. J. Reason. based Intell. Syst., 2009)

Anytime Intention Recognition via Incremental Bayesian Network Reconstruction. - The Anh Han; Luís Moniz Pereira (AAAI Fall Symposium: Proactive Assistant Agents, 2010)

Collective Intention Recognition and Elder Care. - The Anh Han; Luís Moniz Pereira (AAAI Fall Symposium: Proactive Assistant Agents, 2010)

Observation Strategies for Event Detection with Incidence on Runtime Verification. - Marco Alberti 001; Pierangelo Dell'Acqua; Luís Moniz Pereira (RCRA@CPAIOR, 2010)

Ensuring Agent Properties under Arbitrary Sequences of Incoming Events. - Stefania Costantini; Pierangelo Dell'Acqua; Luís Moniz Pereira; Arianna Tocchio (RCRA@CPAIOR, 2010)

A Hybrid Cluster-Lift Method for the Analysis of Research Activities. - Boris G. Mirkin; Susana Nascimento; Trevor I. Fenner; Luís Moniz Pereira (HAIS (1), 2010)

Tight Semantics for Logic Programs. - Luís Moniz Pereira; Alexandre Miguel Pinto (ICLP (Technical Communications), 2010)

Proactive Intention Recognition for Home Ambient Intelligence. - Han The Anh; Luís Moniz Pereira (Intelligent Environments (Workshops), 2010)

Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy. - Boris G. Mirkin; Susana Nascimento; Trevor I. Fenner; Luís Moniz Pereira (KSEM, 2010)

Prospective Storytelling Agents. - Gonçalo Lopes; Luís Moniz Pereira (PADL, 2010)

Modelling decision making with probabilistic causation. - Luís Moniz Pereira; Carroline D. P. Kencana Ramli (Intell. Decis. Technol., 2010)

Building Fuzzy Thematic Clusters and Mapping Them to Higher Ranks in a Taxonomy. - Boris G. Mirkin; Susana Nascimento; Trevor I. Fenner; Luís Moniz Pereira (Int. J. Softw. Informatics, 2010)

Cluster-Lift Method for Mapping Research Activities over a Concept Tree. - Boris G. Mirkin; Susana Nascimento; Luís Moniz Pereira (Advances in Machine Learning II, 2010)

Intention-Based Decision Making with Evolution Prospection. - Han The Anh; Luís Moniz Pereira (EPIA, 2011)

The Role of Intention Recognition in the Evolution of Cooperative Behavior. - Han The Anh; Luís Moniz Pereira; Francisco C. Santos (IJCAI, 2011)

Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. - Stefania Costantini; Pierangelo Dell'Acqua; Luís Moniz Pereira (RuleML Europe, 2011)

Intention recognition promotes the emergence of cooperation. - Han The Anh; Luís Moniz Pereira; Francisco C. Santos (Adapt. Behav., 2011)

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. - Marco Alberti 001; Pierangelo Dell'Acqua; Luís Moniz Pereira (Ann. Math. Artif. Intell., 2011)

Each normal logic program has a 2-valued Minimal Hypotheses semantics - Alexandre Miguel Pinto; Luís Moniz Pereira (CoRR, 2011)

The emergence of commitments and cooperation. - Han The Anh; Luís Moniz Pereira; Francisco C. Santos (AAMAS, 2012)

Intention recognition, commitment and the evolution of cooperation. - Han The Anh; Luís Moniz Pereira; Francisco C. Santos (IEEE Congress on Evolutionary Computation, 2012)

Moral Reasoning under Uncertainty. - Han The Anh; Ari Saptawijaya; Luís Moniz Pereira (LPAR, 2012)

Book Review. - Luís Moniz Pereira (AI Commun., 2012)

Corpus-Based Intention Recognition in Cooperation Dilemmas. - Han The Anh; Luís Moniz Pereira; Francisco C. Santos (Artif. Life, 2012)

Turing is among us. - Luís Moniz Pereira (J. Log. Comput., 2012)

Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology. - Luís Moniz Pereira (Special Sciences and the Unity of Science, 2012)

Evolutionary Tolerance. - Luís Moniz Pereira (Philosophy and Cognitive Science, 2012)

Intention-Based Decision Making via Intention Recognition and its Applications. - The Anh Han; Luís Moniz Pereira (Human Behavior Recognition Technologies, 2013)

Towards Practical Tabled Abduction in Logic Programs. - Ari Saptawijaya; Luís Moniz Pereira (EPIA, 2013)

Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma. - The Anh Han; Luís Moniz Pereira; Francisco C. Santos; Tom Lenaerts (IJCAI, 2013)

Incremental Tabling for Query-Driven Propagation of Logic Program Updates. - Ari Saptawijaya; Luís Moniz Pereira (LPAR, 2013)

Program Updating by Incremental and Answer Subsumption Tabling. - Ari Saptawijaya; Luís Moniz Pereira (LPNMR, 2013)

State-of-the-art of intention recognition and its use in decision making. - Han The Anh; Luís Moniz Pereira (AI Commun., 2013)

Context-dependent incremental decision making scrutinizing the intentions of others via Bayesian network model construction. - The Anh Han; Luís Moniz Pereira (Intell. Decis. Technol., 2013)

Tabled Abduction in Logic Programs. - Ari Saptawijaya; Luís Moniz Pereira (Theory Pract. Log. Program., 2013)

An Abductive Reasoning Approach to the Belief Bias Effect. - Luís Moniz Pereira; Emmanuelle-Anna Dietz; Steffen Hölldobler (KR, 2014)

Towards Modeling Morality Computationally with Logic Programming. - Ari Saptawijaya; Luís Moniz Pereira (PADL, 2014)

Properties of Stable Model Semantics Extensions. - Mário Abrantes; Luís Moniz Pereira (CoRR, 2014)

Joint Tabling of Logic Program Abductions and Updates. - Ari Saptawijaya; Luís Moniz Pereira (CoRR, 2014)

Contextual Abductive Reasoning with Side-Effects. - Luís Moniz Pereira; Emmanuelle-Anna Dietz; Steffen Hölldobler (Theory Pract. Log. Program., 2014)

Logic Programming Applied to Machine Ethics. - Ari Saptawijaya; Luís Moniz Pereira (EPIA, 2015)

On Conditionals. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Luís Moniz Pereira (GCAI, 2015)

On Indicative Conditionals. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Luís Moniz Pereira (IWOST-1, 2015)

Emergence of cooperation via intention recognition, commitment and apology - A research summary. - The Anh Han; Luís Moniz Pereira; Francisco C. Santos; Tom Lenaerts (AI Commun., 2015)

Tabdual: a Tabled Abduction System for Logic Programs. - Ari Saptawijaya; Luís Moniz Pereira (FLAP, 2015)

The Potential of Logic Programming as a Computational Tool to Model Morality. - Ari Saptawijaya; Luís Moniz Pereira (A Construction Manual for Robots' Ethical Systems, 2015)

Emergence of Cooperation in Group Interactions: Avoidance vs. Restriction. - The Anh Han; Luís Moniz Pereira; Tom Lenaerts (AAAI Spring Symposia, 2016)

Conditions for the Evolution of Apology and Forgiveness in Populations of Autonomous Agents. - Tom Lenaerts; Luis A. Martinez-Vaquero; The Anh Han; Luís Moniz Pereira (AAAI Spring Symposia, 2016)

Guilt for Non-Humans. - Luís Moniz Pereira; The Anh Han; Luis A. Martinez-Vaquero; Tom Lenaerts (AAAI Spring Symposia, 2016)

Abduction and Beyond in Logic Programming with Application to Morality. - Luís Moniz Pereira; Ari Saptawijaya (FLAP, 2016)

Logic programming for modeling morality. - Ari Saptawijaya; Luís Moniz Pereira (Log. J. IGPL, 2016)

Programming Machine Ethics - Luís Moniz Pereira; Ari Saptawijaya (Springer, 2016)

Centralized versus Personalized Commitments and Their Influence on Cooperation in Group Interactions. - The Anh Han; Luís Moniz Pereira; Luis A. Martinez-Vaquero; Tom Lenaerts (AAAI, 2017)

Commitment and Participation in Public Goods Games. - The Anh Han; Luís Moniz Pereira; Tom Lenaerts (AAMAS, 2017)

Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems. - Luís Moniz Pereira; Tom Lenaerts; Luis A. Martinez-Vaquero; The Anh Han (AAMAS, 2017)

Agent Morality via Counterfactuals in Logic Programming. - Luís Moniz Pereira; Ari Saptawijaya (Bridging@CogSci, 2017)

Contextual Reasoning: Usually Birds Can Abductively Fly. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Luís Moniz Pereira (LPNMR, 2017)

Evolution of commitment and level of participation in public goods games. - The Anh Han; Luís Moniz Pereira; Tom Lenaerts (Auton. Agents Multi Agent Syst., 2017)

Cyberculture, symbiosis, and syncretism. - Luís Moniz Pereira (AI Soc., 2018)

Modelling and Influencing the AI Bidding War: A Research Agenda. - The Anh Han; Luís Moniz Pereira; Tom Lenaerts (AIES, 2019)

Should I kill or rather not? - Luís Moniz Pereira (AI Soc., 2019)

Modelling the Safety and Surveillance of the AI Race. - The Anh Han; Luís Moniz Pereira; Francisco C. Santos; Tom Lenaerts (CoRR, 2019)

Counterfactual thinking in cooperation dynamics. - Luís Moniz Pereira; Francisco C. Santos (CoRR, 2019)

Mediating Artificial Intelligence Developments through Negative and Positive Incentives. - The Anh Han; Luís Moniz Pereira; Tom Lenaerts; Francisco C. Santos (CoRR, 2020)

AI Development Race Can Be Mediated on Heterogeneous Networks. - Theodor Cimpeanu; Francisco C. Santos; Luís Moniz Pereira; Tom Lenaerts; The Anh Han (CoRR, 2020)

To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race. - The Anh Han; Luís Moniz Pereira; Francisco C. Santos; Tom Lenaerts (J. Artif. Intell. Res., 2020)

Machine Ethics - From Machine Morals to the Machinery of Morality - Luís Moniz Pereira; António Barata Lopes (Springer, 2020)

A Regulation Dilemma in Artificial Intelligence Development. - The Anh Han; Francisco C. Santos; Luís Moniz Pereira; Tom Lenaerts (ALIFE, 2021)

The carousel of ethical machinery. - Luís Moniz Pereira (AI Soc., 2021)

Voluntary safety commitments provide an escape from over-regulation in AI development. - The Anh Han; Tom Lenaerts; Francisco C. Santos; Luís Moniz Pereira (CoRR, 2021)

Employing AI to Better Understand Our Morals. - Luís Moniz Pereira; The Anh Han; António Barata Lopes (Entropy, 2022)

Co-evolution of Social and Non-social Guilt in Structured Populations. - Theodor Cimpeanu; Luís Moniz Pereira; The Anh Han (AAMAS, 2023)

Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation. - Alexandre Miguel Pinto; Luís Moniz Pereira (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Modularization of Logic Programs. - Alexandre Miguel Pinto; Luís Moniz Pereira (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Co-evolution of Social and Non-Social Guilt. - Theodor Cimpeanu; Luís Moniz Pereira; The Anh Han (CoRR, 2023)

Ethics and Development of Advanced Technology Systems in Public Administration. - António da Costa Alexandre; Luís Moniz Pereira (Ethics and Responsible Research and Innovation in Practice, 2023)

A machine is cheaper than a human for the same task. - Luís Moniz Pereira (AI Soc., 2023)