Luís Moniz Pereira
Orcid: 0000-0001-7880-4322
According to our database1,
Luís Moniz Pereira
authored at least 234 papers
between 1980 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
2021
Voluntary safety commitments provide an escape from over-regulation in AI development.
CoRR, 2021
Proceedings of the 2021 Conference on Artificial Life, 2021
2020
Studies in Applied Philosophy, Epistemology and Rational Ethics 53, Springer, ISBN: 978-3-030-39629-9, 2020
J. Artif. Intell. Res., 2020
Mediating Artificial Intelligence Developments through Negative and Positive Incentives.
CoRR, 2020
2019
Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019
2018
2017
Auton. Agents Multi Agent Syst., 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Centralized versus Personalized Commitments and Their Influence on Cooperation in Group Interactions.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Studies in Applied Philosophy, Epistemology and Rational Ethics 26, Springer, ISBN: 978-3-319-29354-7, 2016
Conditions for the Evolution of Apology and Forgiveness in Populations of Autonomous Agents.
Proceedings of the 2016 AAAI Spring Symposia, 2016
Proceedings of the 2016 AAAI Spring Symposia, 2016
2015
Proceedings of the A Construction Manual for Robots' Ethical Systems, 2015
Emergence of cooperation via intention recognition, commitment and apology - A research summary.
AI Commun., 2015
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015
Proceedings of the Global Conference on Artificial Intelligence, 2015
Proceedings of the Progress in Artificial Intelligence, 2015
2014
Proceedings of the Practical Aspects of Declarative Languages, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
2013
Context-dependent incremental decision making scrutinizing the intentions of others via Bayesian network model construction.
Intell. Decis. Technol., 2013
AI Commun., 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma.
Proceedings of the IJCAI 2013, 2013
Proceedings of the Progress in Artificial Intelligence, 2013
Proceedings of the Human Behavior Recognition Technologies, 2013
2012
Proceedings of the Philosophy and Cognitive Science - Western & Eastern Studies, 2012
Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology.
Proceedings of the Special Sciences and the Unity of Science, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the IEEE Congress on Evolutionary Computation, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation.
Ann. Math. Artif. Intell., 2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Progress in Artificial Intelligence, 2011
2010
Proceedings of the Advances in Machine Learning II, 2010
Int. J. Softw. Informatics, 2010
Intell. Decis. Technol., 2010
Proceedings of the Practical Aspects of Declarative Languages, 2010
Proceedings of the Knowledge Science, 2010
Proceedings of the Workshops Proceedings of the 6th International Conference on Intelligent Environments, 2010
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010
Proceedings of the Proactive Assistant Agents, 2010
Proceedings of the Proactive Assistant Agents, 2010
2009
Int. J. Reason. based Intell. Syst., 2009
Proceedings of the Practical Aspects of Declarative Languages, 2009
Proceedings of the Practical Aspects of Declarative Languages, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Progress in Artificial Intelligence, 2009
2008
Proceedings of the Oppositional Concepts in Computational Intelligence, 2008
Representing a Computer Science Research Organization on the ACM Computing Classification System.
Proceedings of the Supplementary Proceedings of the 16th International Conference on Conceptual Structures, 2008
2007
Proceedings of the Logic for Programming, 2007
Architectural Design via Declarative Programming.
Proceedings of the ICEIS 2007, 2007
Proceedings of the Progress in Artificial Intelligence, 2007
2006
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
Proceedings of the Advances in Applied Artificial Intelligence, 2006
Modelling adaptive controllers with evolving logic programs.
Proceedings of the ICINCO 2006, 2006
2005
Proceedings of the Innovations in Applied Artificial Intelligence, 2005
Proceedings of the Logic Programming, 21st International Conference, 2005
MOdelling hybrid control systems with behaviour networks.
Proceedings of the ICINCO 2005, 2005
Proceedings of the Progress in Artificial Intelligence, 2005
Proceedings of the Progress in Artificial Intelligence, 2005
2004
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs.
Theory Pract. Log. Program., 2004
Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications.
J. Appl. Log., 2004
Proceedings of the Innovations in Applied Artificial Intelligence, 2004
A Declarative Characterization of Disjunctive Paraconsistent Answer Sets.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003
Proceedings of the Progress in Artificial Intelligence, 2003
Proceedings of the Progress in Artificial Intelligence, 2003
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003
An Evolving Agent with EVOLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Proceedings of the Computational Logic in Multi-Agent Systems, 2002
Proceedings of the Computational Logic in Multi-Agent Systems, 2002
Appl. Intell., 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
On Philosophical Incidences of Logic Programming.
Proceedings of the International Conference on Artificial Intelligence, 2002
Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
Proceedings of the Web Knowledge Management and Decision Support, 2001
Preferring and Updating in Multi-Agents.
Proceedings of the 14th International Conference on Applications of Prolog, 2001
Proceedings of the Applications of Evolutionary Computing, 2001
Proceedings of the Engineering Societies in the Agents World II, 2001
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints.
Proceedings of the Progress in Artificial Intelligence, 2001
Proceedings of the Progress in Artificial Intelligence, 2001
Proceedings of the Progress in Artificial Intelligence, 2001
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
Multi-dimensional Dynamic Logic Programming.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000
Proceedings of the Computational Logic, 2000
Proceedings of the Computational Logic, 2000
Proceedings of the Artificial Intelligence: Methodology, 2000
1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
Well-founded Abduction via Tabled Dual Programs.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
Preliminary exploration on actions as updates.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
J. Autom. Reason., 1998
Preface: Logics for Artificial Intelligence.
J. Autom. Reason., 1998
A General Tabulation Procedure for Extended Constraint Logic Programs.
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998
Tabling Abduction.
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998
Iterated Logic Program Updates.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
Dynamic Logic Programming.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
J. Appl. Non Class. Logics, 1997
Ann. Math. Artif. Intell., 1997
Logic Programming and Knowledge Representation (LPKR'97).
Proceedings of the Logic Programming, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Logic Programming and Knowledge Representation, 1997
Proceedings of the Logic Programming and Knowledge Representation, 1997
Proceedings of the Progress in Artificial Intelligence, 1997
1996
Fundam. Informaticae, 1996
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996
Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996
Temporal Reasoning with Abductive Logic Programming.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
Proceedings of the Intelligent Agents III, 1996
Reasoning about Concurrent Actions and Observations.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
Lecture Notes in Computer Science 1111, Springer, ISBN: 3-540-61488-5, 1996
1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
Proceedings of the Progress in Artificial Intelligence, 1995
Proceedings of the Progress in Artificial Intelligence, 1995
Proceedings of the Progress in Artificial Intelligence, 1995
Parallel Logic Programming with Extensions.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
SLX - A Top-down Derivation Procedure for Programs with Explicit Negation.
Proceedings of the Logic Programming, 1994
A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems.
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994
Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994
REVISE: An Extended Logic Programming System for Revising Knowledge Bases.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994
Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
1993
Diagnosis and Debugging as Contradiction Removal.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993
Scenario Semantics of Extended Logic Programs.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993
Optative Reasoning with Scenario Semantics.
Proceedings of the Logic Programming, 1993
Proceedings of the Progress in Artificial Intelligence, 1993
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993
1992
Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992
Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992
Proceedings of the Logics in AI, European Workshop, 1992
On Logic Program Semantics with Two Kinds of Negation.
Proceedings of the Logic Programming, 1992
Improving Backward Execution in the Andorra Family of Languages.
Proceedings of the Logic Programming, 1992
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992
Well Founded Semantics for Logic Programs with Explicit Negation.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1991
Counterfactual Reasoning Based on Revising Assumptions.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
Hypothetical Reasoning with Well Founded Semantics.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991
A Practical Introduction to Well Founded Semantics.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991
Contradiction Removal within Well Founded Semantics.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Nonmonotonic Reasoning with Well Founded Semantics.
Proceedings of the Logic Programming, 1991
Proceedings of the EPIA 91, 1991
1989
Programming in Delta Prolog.
Proceedings of the Logic Programming, 1989
1988
A Framework for Prolog Debugging.
Proceedings of the Logic Programming, 1988
1986
Proceedings of the Third International Conference on Logic Programming, 1986
Proceedings of the Third International Conference on Logic Programming, 1986
1984
Delta-Prolog: A Distributed Logic Programming Language.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984
Logic Control with Logic.
Proceedings of the Implementations of Prolog. , 1984
Deduction Revision by Intelligent Backtracking.
Proceedings of the Implementations of Prolog. , 1984
1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
1982
ORBI - An Expert System for Environmental Resource Evaluation through Natural Language.
Proceedings of the First International Logic Programming Conference, 1982
A Prolog Implementation of a Large System on a Small Machine.
Proceedings of the First International Logic Programming Conference, 1982
Logic Control with Logic.
Proceedings of the First International Logic Programming Conference, 1982
1980
Proceedings of the 5th Conference on Automated Deduction, 1980