Search filters

List of works by Luís Moniz Pereira

A Compilation of Updates plus Preferences

scientific article published in 2002

A Hybrid Cluster-Lift Method for the Analysis of Research Activities

scientific article published in 2010

A Language for Multi-dimensional Updates

scientific article published in October 2002

A Logic Based Asynchronous Multi-Agent System

scientific article published in October 2002

A Well-Founded Semantics with Disjunction

scientific article published in 2005

A deliberative and reactive diagnosis agent based on logic programming

scientific article published in 1997

A deliberative and reactive diagnosis agent based on logic programming

A logic programming system for nonmonotonic reasoning

Abduction in well-founded semantics and generalized stable models via tabled dual programs

scientific article published on 7 June 2004

Adaptive Reasoning for Cooperative Agents

scientific article published in 2011

Adding closed world assumptions to well-founded semantics

scientific article published in January 1994

An encompassing framework for Paraconsistent Logic Programs

scientific article published in March 2005

Antitonic Logic Programs

scientific article published in 2001

Approved Models for Normal Logic Programs

Automated reasoning in geometry theorem proving with Prolog

scientific article published in December 1986

Avoiding or restricting defectors in public goods games?

scientific article

Cluster-Lift Method for Mapping Research Activities over a Concept Tree

scientific article published in 2010

Coherent Well-founded Annotated Logic Programs

Collaborative vs. Conflicting Learning, Evolution and Argumentation

Common-sense reasoning as proto-scientific agent activity

scientific article published in December 2004

Computing Environment-Aware Agent Behaviours with Logic Program Updates

scientific article published in 2002

Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy

scientific article published in 2010

Dynamic updates of non-monotonic knowledge bases

scientific article published in September 2000

Elder Care via Intention Recognition and Evolution Prospection

scientific article published in 2011

Emergence of Cooperation Through Mutual Preference Revision

scientific article published in 2006

Epistemology and artificial intelligence

scientific article published in December 2004

Evolution Prospection

scientific article published in 2009

Evolution of commitment and level of participation in public goods games

article published in 2016

Evolving Logic Programs

scientific article published in 2002

Evolving towards an evolutionary epistemology

scientific article published in 2009

Generalizing updates: From models to programs

scientific article published in 1998

Good agreements make good friends

scientific article published on January 2013

Hybrid Probabilistic Logic Programs as Residuated Logic Programs

scientific article published in 2000

Incremental Answer Completion in the SLG-WAM

scientific article published in 2009

Intention Recognition via Causal Bayes Networks Plus Plan Generation

scientific article published in 2009

Intention recognition promotes the emergence of cooperation

scientific article published on 26 July 2011

Intention recognition, commitment and the evolution of cooperation

scientific article published in June 2012

Intention-Based Decision Making with Evolution Prospection

scientific article published in 2011

Introduction

scientific article published in December 2007

LUPS — A Language for Updating Logic Programs

scientific article published in 1999

LUPS—A language for updating logic programs

scientific article published in June 2002

Layered Models Top-Down Querying of Normal Logic Programs

scientific article published in 2008

Method for Intelligent Representation of Research Activities of an Organization over a Taxonomy of Its Field

scientific article published in 2012

Methodological naturalism and epistemic internalism

scientific article published on 20 February 2008

Modelling Probabilistic Causation in Decision Making

scientific article published in 2009

Modelling morality with prospective logic

scientific article published in 2009

Multi-dimensional Dynamic Knowledge Representation

scientific article published in 2001

Non-monotonic reasoning with logic programming

scientific article published in November 1993

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation

scientific article published in July 2011

On Preferring and Inspecting Abductive Models

scientific article published in 2008

Paraconsistent Logic Programs

scientific article published in 2002

Preference Revision Via Declarative Debugging

scientific article published in 2005

Preferential theory revision

scientific article published in December 2007

Program Updating by Incremental and Answer Subsumption Tabling

scientific article published in 2013

Prospective Storytelling Agents

scientific article published in 2010

Prospective logic agents

scientific article published in 2009

REVISE: Logic programming and diagnosis

scientific article published in 1997

Refining action theories through abductive logic programming

scientific article published in 1998

Revised Stable Models – A Semantics for Logic Programs

scientific article published in 2005

SLWV — A theorem prover for logic programming

scientific article published in 1993

Side-Effect Inspection for Decision Making

scientific article published in 2009

Stabel Model Implementation of Layer Supported Models by Program Transformation

scientific article published in 2011

Synergy between intention recognition and commitments in cooperation dilemmas

scientific article

Towards Practical Tabled Abduction in Logic Programs

scientific article published in 2013

Updates plus Preferences

scientific article published in 2000

Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks

scientific article published in 1999

When agreement-accepting free-riders are a necessary evil for the evolution of cooperation

scientific article