Luís Moniz Pereira
#85,365
Most Influential Person Now
Portuguese academic
Luís Moniz Pereira's AcademicInfluence.com Rankings
Luís Moniz Pereiracomputer-science Degrees
Computer Science
#3498
World Rank
#3670
Historical Rank
Programming
#63
World Rank
#66
Historical Rank
Artificial Intelligence
#1829
World Rank
#1861
Historical Rank
Database
#5015
World Rank
#5210
Historical Rank
Download Badge
Computer Science
Why Is Luís Moniz Pereira Influential?
(Suggest an Edit or Addition)According to Wikipedia, Luís Moniz Pereira is Professor of Computer Science and Director of the AI centre at New University of Lisbon. His research is in the field of logic programming and in knowledge representation, reasoning and cognitive science more generally.
Luís Moniz Pereira's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- On Indicative Conditionals (2015) (277)
- Prolog - the language and its implementation compared with Lisp (1977) (276)
- Dynamic updates of non-monotonic knowledge bases (2000) (220)
- Computational Logic — CL 2000 (2000) (188)
- Well Founded Semantics for Logic Programs with Explicit Negation (1992) (178)
- Reasoning with Logic Programming (1996) (163)
- Evolving Logic Programs (2002) (160)
- Dynamic Logic Programming (1998) (134)
- Deduction Revision by Intelligent Backtracking (1984) (115)
- Modelling morality with prospective logic (2007) (112)
- Rational Debugging in Logic Programming (1986) (106)
- Monotonic and Residuated Logic Programs (2001) (104)
- Contradiction Removal within Well Founded Semantics (1991) (90)
- LUPS - A Language for Updating Logic Programs (1999) (90)
- A survey of paraconsistent semantics for logic programs (1998) (89)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs (2003) (87)
- MINERVA - A Dynamic Logic Programming Agent Architecture (2001) (86)
- Generalizing Updates: From Models to Programs (1997) (82)
- Programming Machine Ethics (2016) (76)
- On Logic Program Semantics with Two Kinds of Negation (1992) (74)
- Good Agreements Make Good Friends (2013) (73)
- Intention recognition promotes the emergence of cooperation (2011) (69)
- Avoiding or restricting defectors in public goods games? (2015) (66)
- Hypothetical Reasoning with Well Founded Semantics (1991) (66)
- Diagnosis and Debugging as Contradiction Removal (1993) (65)
- Evolution of commitment and level of participation in public goods games (2017) (64)
- Delta-Prolog: A Distributed Logic Programming Language (1984) (63)
- Apology and forgiveness evolve to resolve failures in cooperative agreements (2015) (63)
- Updates plus Preferences (2000) (62)
- Non-Monotonic Reasoning with Logic Programming (1993) (60)
- Antitonic Logic Programs (2001) (59)
- State-of-the-art of intention recognition and its use in decision making (2013) (58)
- REVISE: An Extended Logic Programming System for Revising Knowledge Bases (1994) (57)
- A logic programming system for nonmonotonic reasoning (1995) (56)
- Revised Stable Models - A Semantics for Logic Programs (2005) (53)
- Moral Reasoning under Uncertainty (2012) (50)
- Derivation Procedures for Extended Stable Models (1991) (50)
- Prolegomena to Logic Programming for Non-monotonic Reasoning (1996) (49)
- How to solve it with prolog (1982) (48)
- The emergence of commitments and cooperation (2012) (47)
- Multi-dimensional Dynamic Knowledge Representation (2001) (45)
- Synergy between intention recognition and commitments in cooperation dilemmas (2015) (44)
- Corpus-Based Intention Recognition in Cooperation Dilemmas (2012) (43)
- Hybrid Probabilistic Logic Programs as Residuated Logic Programs (2000) (43)
- Scenario Semantics of Extended Logic Programs (1993) (43)
- Delta Prolog: A Distributed Backtracking Extension with Events (1986) (43)
- SLX - A Top-down Derivation Procedure for Programs with Explicit Negation (1994) (41)
- Counterfactual Reasoning Based on Revising Assumptions (1991) (40)
- Debugging by Diagnosing Assumptions (1993) (40)
- Preferential theory revision (2007) (39)
- A deliberative and reactive diagnosis agent based on logic programming (1996) (38)
- Update-Programs Can Update Programs (1996) (38)
- Logic Control with Logic (1982) (38)
- Automated reasoning in geometry theorem proving with Prolog (1986) (37)
- Intention Recognition via Causal Bayes Networks Plus Plan Generation (2009) (36)
- LUPSA language for updating logic programs (1999) (36)
- 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming (1998) (36)
- Well-founded Abduction via Tabled Dual Programs (1999) (35)
- Prospective logic agents (2007) (34)
- Elder Care via Intention Recognition and Evolution Prospection (2009) (34)
- Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems (2017) (33)
- A Framework for Prolog Debugging (1988) (33)
- An encompassing framework for Paraconsistent Logic Programs (2005) (33)
- Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma (2013) (33)
- Multi-dimensional Dynamic Logic Programming (2000) (32)
- Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming (1996) (32)
- Intention Recognition with Evolution Prospection and Causal Bayes Networks (2011) (32)
- Nonmonotonic Reasoning with Well Founded Semantics. (1991) (32)
- Contextual Abductive Reasoning with Side-Effects (2014) (31)
- Modelling and Influencing the AI Bidding War: A Research Agenda (2019) (31)
- Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation (1994) (31)
- Contradiction Removal Semantics with Explicit Negation (1992) (30)
- Counterfactuals, Logic Programming and Agent Morality (2017) (30)
- Towards Modeling Morality Computationally with Logic Programming (2014) (30)
- Iterated Logic Program Updates (1998) (30)
- The Role of Intention Recognition in the Evolution of Cooperative Behavior (2011) (30)
- Adding Closed World Assumptions to Well-Founded Semantics (1994) (28)
- Psychiatric Diagnosis from the Viewpoint of Computational Logic (2000) (28)
- Semantic Web Logic Programming Tools (2003) (28)
- Preliminary exploration on actions as updates (1999) (28)
- The Extended Stable Models of Contradiction Removal Semantics (1991) (27)
- REVISE: Logic Programming and Diagnosis (1997) (26)
- Mediating artificial intelligence developments through negative and positive incentives (2020) (26)
- Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (1993) (26)
- Diagnosis and Debugging as Contradiction Removal in Logic Programs (1993) (26)
- To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race (2020) (26)
- $$\mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A}$$- A Dynamic Logic Programming Agent Architecture (2001) (25)
- Default Theory for Well Founded Semantics with Explicit Negation (1992) (25)
- Inspecting and Preferring Abductive Models (2013) (25)
- Abduction over 3-Valued Extended Logic Programs (1995) (25)
- Justification semantics: a unifying framework for the semantics of Logic Programs (1993) (24)
- Selective Backtracking for Logic Programs (1980) (24)
- Approved Models for Normal Logic Programs (2007) (23)
- Coherent Well-founded Annotated Logic Programs (1999) (21)
- Classical Negation in Logic Programs (1990) (21)
- Paraconsistent Logic Programs (2002) (21)
- An Abductive Reasoning Approach to the Belief Bias Effect (2014) (20)
- A Compilation of Updates plus Preferences (2002) (20)
- Evolution prospection in decision making (2009) (20)
- On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints (2001) (20)
- Layered Models Top-Down Querying of Normal Logic Programs (2009) (20)
- Model-based diagnosis preferences and strategies representation with logic meta-programming (1995) (20)
- Bridging Two Realms of Machine Ethics (2016) (20)
- Belief Revision in Non-Monotonic Reasoning and Logic Programming (1996) (20)
- Tabled Abduction in Logic Programs (2013) (20)
- When agreement-accepting free-riders are a necessary evil for the evolution of cooperation (2017) (19)
- Strategies in Combined Learning via Logic Programs (2004) (19)
- Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks (1999) (19)
- Logics in Artificial Intelligence: European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings (1996) (18)
- Machine Ethics: Modeling Morality with Prospective Logic (2011) (18)
- A Declarative Characterization of Disjunctive Paraconsistent Answer Sets (2004) (18)
- The Potential of Logic Programming as a Computational Tool to Model Morality (2015) (18)
- ORBI - An Expert System for Environmental Resource Evaluation through Natural Language (1982) (17)
- Programming in Delta Prolog (1989) (16)
- A Logic Based Asynchronous Multi-Agent System (2002) (16)
- Logic Programming Updating - A Guided Approach (2002) (16)
- Intention recognition, commitment and the evolution of cooperation (2012) (16)
- Default Negated Conclusions: Why Not? (1996) (16)
- Prospective Storytelling Agents (2010) (16)
- Centralized versus Personalized Commitments and Their Influence on Cooperation in Group Interactions (2017) (16)
- A Model Theory for Paraconsistent Logic Programming (1995) (15)
- A Multi-layer Framework for Evolving and Learning Agents (2008) (15)
- Incremental Tabling for Query-Driven Propagation of Logic Program Updates (2013) (15)
- Emergence of cooperation via intention recognition, commitment and apology - A research summary (2015) (15)
- Towards Practical Tabled Abduction Usable in Decision Making (2013) (14)
- Tabdual: a Tabled Abduction System for Logic Programs (2015) (14)
- What Is Believed Is What Is Explained (Sometimes) (1996) (14)
- Abductive Logic Programming with Tabled Abduction (2012) (14)
- Contextual Reasoning: Usually Birds Can Abductively Fly (2017) (14)
- Contradiction: When Avoidance Equals Removal - Part II (1993) (13)
- An Argumentation Theoretic Semantics Based on Non-Refutable Falsity (1994) (13)
- Knowledge-Based Situated Agents Among Us: A Preliminary Report (1996) (13)
- Inspecting side-effects of abduction in logic programs (2011) (13)
- Contradiction: When Avoidance Equals Removal - Part I (1993) (13)
- Optative Reasoning with Scenario Semantics (1993) (13)
- Preferring and Updating in Abductive Multi-agent Systems (2001) (13)
- Intention-Based Decision Making with Evolution Prospection (2011) (12)
- Counterfactual thinking in cooperation dynamics (2018) (12)
- Runtime Verification of Agent Properties (2009) (12)
- Voluntary safety commitments provide an escape from over-regulation in AI development (2021) (12)
- Towards Practical Tabled Abduction in Logic Programs (2013) (12)
- Reductio ad Absurdum Argumentation in Normal Logic Programs (2007) (12)
- Logic programming and non-monotonic reasoning : proceedings of the second international workshop (1991) (12)
- An Evolvable Rule-Based E-mail Agent (2003) (11)
- Philosophical incidence of logic programming (2002) (11)
- Revised Stable Models-a new semantics for logic programs (2004) (11)
- Layer Supported Models of Logic Programs (2009) (11)
- From Logic Programming to Machine Ethics (2019) (11)
- A Language for Multi-dimensional Updates (2002) (11)
- Joint Tabling of Logic Program Abductions and Updates (2014) (11)
- Temporal Reasoning with Abductive Logic Programming (1996) (11)
- Context-dependent incremental decision making scrutinizing the intentions of others via Bayesian network model construction (2013) (11)
- Abduction and Beyond in Logic Programming with Application to Morality (2016) (10)
- Collective Intention Recognition and Elder Care (2010) (10)
- Evolutionary Tolerance (2012) (10)
- A Well-Founded Semantics with Disjunction (2005) (10)
- Each normal logic program has a 2-valued Minimal Hypotheses semantics (2011) (10)
- Program Updating by Incremental and Answer Subsumption Tabling (2013) (10)
- Dynamic Knowledge Representation and Its Applications (2000) (10)
- On Preferring and Inspecting Abductive Models (2009) (10)
- Intention-Based Decision Making via Intention Recognition and its Applications (2013) (10)
- Logic programming for modeling morality (2016) (10)
- Epistemology and artificial intelligence (2004) (10)
- Machine Ethics: From Machine Morals to the Machinery of Morality (2020) (9)
- Logic Programming for Evolving Agents (2003) (9)
- Evolutionary Machine Ethics (2019) (9)
- Preferring and Updating in Logic-Based Agents (2001) (9)
- Belief revision via Lamarckian evolution (2003) (9)
- A Prolog Implementation of a Large System on a Small Machine (1982) (9)
- Belief Revision by Lamarckian Evolution (2001) (9)
- Inspection Points and Meta-Abduction in Logic Programs (2008) (9)
- SLWV - A Theorem Prover for Logic Programming (1992) (9)
- Relevant Counterfactuals (1989) (9)
- Turing is among us (2012) (9)
- Concurrency and communication in Delta Prolog (1988) (9)
- Complex Systems of Mindful Entities: On Intention Recognition and Commitment (2014) (8)
- Modelling Probabilistic Causation in Decision Making (2009) (8)
- A Paraconsistent Semantics with Contradiction Support Detection (1997) (8)
- Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms (1993) (8)
- Proceedings of the European Workshop on Logics in Artificial Intelligence (1994) (8)
- Enabling Agents to Update Their Knowledge and to Prefer (2001) (8)
- Improving Backward Execution in the Andorra Family of Languages (1992) (8)
- User Preference Information in Query Answering (2002) (8)
- Towards a Model of Evolving Agents for Ambient Intelligence (2007) (8)
- Preference Revision Via Declarative Debugging (2005) (7)
- Modelling decision making with probabilistic causation (2010) (7)
- Reflexive autoepistemic logic and logic programming (1993) (7)
- Computing Environment-Aware Agent Behaviours with Logic Program Updates (2001) (7)
- An Architecture for a Rational Reactive Agent (2003) (7)
- Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents (2011) (7)
- Software sans Emotions but with Ethical Discernment (2015) (7)
- Partial Models of Extended Generalized Logic Programs (2000) (7)
- Cognitive Prerequisites: The Special Case of Counterfactual Reasoning (2020) (7)
- Knowledge Assimilation in Domains of Actions: A Possible Causes Approach (1997) (7)
- Logic Programming Applied to Machine Ethics (2015) (7)
- Emergence of Cooperation Through Mutual Preference Revision (2006) (6)
- Agent Morality via Counterfactuals in Logic Programming (2017) (6)
- Proactive Intention Recognition for Home Ambient Intelligence (2010) (6)
- Preferring and Updating in Multi-Agents (2001) (6)
- Anytime Intention Recognition via Incremental Bayesian Network Reconstruction (2010) (6)
- Stabel Model Implementation of Layer Supported Models by Program Transformation (2009) (5)
- Incremental Answer Completion in the SLG-WAM (2009) (5)
- Adaptive Reasoning for Cooperative Agents (2009) (5)
- Selected papers from the Non-Monotonic Extensions of Logic Programming (1996) (5)
- Employing AI to Better Understand Our Morals (2021) (5)
- Artificial intelligence development races in heterogeneous settings (2020) (5)
- Belief, Provability, and Logic Programs (1994) (5)
- Should I kill or rather not? (2018) (5)
- Belief Revision in Non-Monotonic Reasoning (1995) (5)
- Stable versus Layered Logic Program Semantics (2009) (5)
- Algorithmic Debugging of Prolog Side-Effects (1989) (5)
- Logic Programming and Knowledge Representation (LPKR'97) (1997) (5)
- A Practical Introduction to Well Founded Semantics (1991) (5)
- Collaborative vs. Conflicting Learning, Evolution and Argumentation (2008) (5)
- Representing and reasoning about concurrent actions with abductive logic programs (1997) (5)
- Reasoning with Inconsistency in Extended Deductive Databases (1993) (5)
- A Dynamic Logic Programming Agent Architecture (5)
- An Intuitionistic Interpretation of Finite and Infinite Failure (1993) (5)
- Extended Logic Programs as Autoepistemic Theories (1993) (5)
- Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology (2012) (4)
- Learning and Evolving Agents in User Monitoring and Training (2010) (4)
- Logic Programming for Non-Monotonic Reasoning (1992) (4)
- Methodological naturalism and epistemic internalism (2008) (4)
- A Frame-based Characterisation of the Paraconsistent Well-founded Semantics with Explicit Negation (2007) (4)
- The Emergence of Artificial Autonomy: A View from the Foothills of a Challenging Climb (2015) (4)
- To regulate or not: a social dynamics analysis of the race for AI supremacy. (2019) (4)
- Common-sense reasoning as proto-scientific agent activity (2004) (4)
- Specification and Dynamic Verification of Agent Properties (2008) (4)
- Evolving Multi-agent Viewpoints - an Architecture (2001) (4)
- Proceedings of the First International Conference on Computational Logic (2000) (4)
- Pre and Post Preferences over Abductive Models (2007) (4)
- Side-Effect Inspection for Decision Making (2009) (4)
- An Abductive Framework for Generalized Logic Programs (1993) (3)
- Contributions to the Stable Model Semantics of Logic Programs with Negation (1993) (3)
- Reasoning about Actions with Abductive Logic Programming (1997) (3)
- Tabling in contextual abduction with answer subsumption (2017) (3)
- Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings (1994) (3)
- Gödel and Computability (2007) (3)
- The carousel of ethical machinery (2020) (3)
- When apology is sincere, cooperation evolves, even when mistakes occur frequently (2017) (3)
- A Portrait of a Scientist as a Computational Logician (2002) (3)
- Evolving towards an evolutionary epistemology (2009) (3)
- Selective Bachtracking for Logic Programs (1980) (3)
- Tabling Abduction (1998) (3)
- An Abductive Counterfactual Reasoning Approach in Logic Programming (2015) (3)
- Counterfactuals in Critical Thinking with Application to Morality (2016) (3)
- Emergence of Cooperation via Intention Recognition, Commitments and Apology (2015) (3)
- Ensuring Agent Properties under Arbitrary Sequences of Incoming Events (2010) (3)
- Combining societal agents' knowledge (2001) (2)
- Prospective Updating of Theories with Preferences (2007) (2)
- Meta-axioms and Complex Preferences in Evolving Logical Agents (2011) (2)
- Cibercultura, Simbiose e Sincretismo (2018) (2)
- Tight Semantics for Logic Programs (2010) (2)
- Declarative Source Debugging (1991) (2)
- Reasoning about Concurrent Actions and Observations (1996) (2)
- Modelling adaptive controllers with evolving logic programs (2006) (2)
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (2011) (2)
- Cyberculture, symbiosis, and syncretism (2018) (2)
- Guilt for Non-Humans (2016) (2)
- An Evolving Agent with EVOLP (2003) (2)
- A Logic-Based Approach to Model Supervisory Control Systems (2006) (2)
- Dealing with contradiction (1996) (2)
- Proceedings : Logic Programming Workshop '83, Praia da Falesia, Algarve, Portugal (1983) (2)
- Conditions for the Evolution of Apology and Forgiveness in Populations of Autonomous Agents (2016) (2)
- Metaphorical mapping consistency via Dynamic Logic Programming (2014) (2)
- Evolutionary Game Theory Modelling of Guilt (2017) (2)
- MOdelling hybrid control systems with behaviour networks (2005) (2)
- Is It Possible to Program Artificial Emotions? A Basis for Behaviours with Moral Connotation? (2020) (2)
- A Logical Framework for Modelling eMAS (2003) (2)
- Why is it so hard to say sorry (2013) (2)
- Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers (1998) (2)
- Design for AKL with Intelligent Pruning (1993) (2)
- After All… What is a Machine? (2020) (1)
- Commitment and Participation in Public Goods Games (2017) (1)
- WFSX and hypotheses abduction (1996) (1)
- Parallel Logic Programming with Extensions (1995) (1)
- Updating , Preferring , and Acting with Abductive Agents – theory and implementation (2004) (1)
- WFSX — A well founded semantics for extended logic programs (1996) (1)
- Architectural Design via Declarative Programming (2007) (1)
- A Characterization of Stable Models using a Non-Monotonic Operator (1993) (1)
- AI Development Race Can Be Mediated on Heterogeneous Networks (2020) (1)
- A machine is cheaper than a human for the same task (2019) (1)
- Modeling Collective Morality via Evolutionary Game Theory (2016) (1)
- Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (1993) (1)
- Refining Action Theories through Abductive Logic Programming (1997) (1)
- Abduction, Temporal and Causal Reasoning (1)
- Non-Atomic Actions in the Situation Calculus (1995) (1)
- A nonmonotonic reasoning formalism using implicit specificity information (1993) (1)
- Extended logic programs (1996) (1)
- The Sidetracking Meta-Principle (2007) (1)
- Canonical Kripke Models and The Intuitionistic Semantics of Logic Programs (1993) (1)
- Prolog for Expert Systems : A Case Study (1983) (1)
- Inductive Tight Semantics for Logic Programs (2010) (1)
- Normal logic programs (1996) (1)
- The Individual Realm of Machine Ethics: A Survey (2016) (0)
- Commitment and Participation in Public Goods Games ( JAAMAS Extended Abstract ) (2017) (0)
- Voluntary safety pledges overcome over-regulation dilemma in AI development: an evolutionary game analysis (2022) (0)
- Dealing with Exceptions in Textual Databases (2007) (0)
- Book Review (2012) (0)
- Extended Tight Semantics for Logic Programs (2010) (0)
- PREFERENCE REVISION IN MULTI-AGENT NEGOTIATIONS (2005) (0)
- Application to diagnosis and debugging (1996) (0)
- Being and Appearance, or the Omnipresence of Algorithms (2020) (0)
- WHAT’S COOL? - COLLECTIVE FASHION-LIKE BEHAVIOR EMERGES FROM NEURO-PSYCHOLOGICAL CONDITIONING (2004) (0)
- Cognition in Context: An Evolutionary Logic Impacting Our Individual and Collective Worlds (2020) (0)
- Aside on Children and Youths, on Identity Construction in the Digital World (2020) (0)
- Significant Moral Facets Amenable to Logic Programming (2016) (0)
- An assumption-based framework for non-monotonic reasoning (1993) (0)
- Negation as Failure to Support (1993) (0)
- WFSX, LP semantics with two negations, and autoepistemic logics (1996) (0)
- Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming (1994) (0)
- Conclusions and Further Work (2016) (0)
- Learning to Recognize Intentions Resolves Cooperation dilemma (2014) (0)
- Introduction and Synopsis (2020) (0)
- Proceedings of the 5th Portuguese Conference on Artificial Intelligence (1991) (0)
- Turing, Functionalism, and Emergence (2016) (0)
- Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation (1997) (0)
- When agreement-accepting free-riders are a necessary evil for the evolution of cooperation (2017) (0)
- Default negation in Normal Logic Programs considered as minimal abduction of positive hypotheses (2020) (0)
- Disjunctive LP, Inconsistency Handling (1993) (0)
- Network Diversity Promotes Safety Adoption in Swift Artificial Intelligence Development (2022) (0)
- Forgiveness evolves to ensure cooperation in long-term agreements (2016) (0)
- Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning (1993) (0)
- Top-down derivation procedures for WFSX (1996) (0)
- WFSX and default logic (1996) (0)
- Intelligence: From Natural to Artificial (2020) (0)
- Who Controls What? (2019) (0)
- Should I kill or rather not? (2018) (0)
- Negation as Partial Failure (1993) (0)
- Evolution of commitment and level of participation in public goods games (2016) (0)
- Complex Networks of Mindful Entities (2012) (0)
- Cyberculture, symbiosis, and syncretism (2017) (0)
- Rational default logic and disjunctive logic programming (1993) (0)
- Tools for Deductive Databases (1993) (0)
- Preface (2002) (0)
- The carousel of ethical machinery (2020) (0)
- Relating Disjunctive Logic Programs to Default Theories (1993) (0)
- Autoepistemic Logic Programming (1993) (0)
- Counterfactuals in Logic Programming (2016) (0)
- A Regulation Dilemma in Artificial Intelligence Development (2021) (0)
- Tabling in Abduction and Updating (2016) (0)
- On Philosophical Incidences of Logic Programming (2002) (0)
- Book review of "Computational Logic and Human Thinking: How to be Artificially Intelligent", by Robert Kowalski (2012) (0)
- Bridging the Gap between Human and Automated Reasoning Is Logic and Automated Reasoning a Foundation for Human Reasoning? Bridging-2017 (2017) (0)
- Elder Care by means of Intention Recognition and Evolution Prospection (2010) (0)
- Cognition with or Without Emotions? (2020) (0)
- IAT 2009 Non-PC Reviewers (2009) (0)
- Application to classical nonmonotonic reasoning problems (1996) (0)
- Non-Monotonic Extensions of Logic Programming 2nd International Workshop, Nmelp '96, Bad Honnef, Germany, September 5-6, 1996 : Selected Papers' (1997) (0)
- Properties of Stable Model Semantics Extensions (2014) (0)
- Modelling the Safety and Surveillance of the AI Race (2019) (0)
- Inferring Definitive Clause Grammars from Multivariate Time Series at Distinct Abstraction Levels (2005) (0)
- MBNF and Related Topics (1993) (0)
- Default negation means minimal assumption of positive hypotheses in Normal Logic Programs (2013) (0)
- Prospective Logic Programming with ACORDA Gonçalo Lopes and (2006) (0)
- On artificial autonomy emergence — the foothills of a challenging climb (2015) (0)
- Guilt for Non-Humans TeesRep-Teesside ' s Research Repository (2018) (0)
- Preface: Logics for Artificial Intelligence (1998) (0)
- Our Themes on Abduction in Human Reasoning: A Synopsis (2021) (0)
- SLWV-A Logic Programing Theorem Prover (2004) (0)
- Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes) (1993) (0)
- Chapter X A Multi-Level Time-Committed Framework for Evolving Agents (2009) (0)
- A Sequent Axiomatization of Three-valued Logic with Two Negations (1993) (0)
- Logic programming systems affording morality experiments (2016) (0)
- Intelligent agents via joint tabling of logic program abduction and updating (2017) (0)
- Representing Morality in Logic Programming (2016) (0)
- Evolutionary Machine Ethics Synopsis The (2018) (0)
- Prospective Logic Programs (2007) (0)
- Towards an Evolutionary Epistemology (2007) (0)
- A General Tabulation Procedure for Extended Constraint Logic Programs (1998) (0)
- Breaking Barriers: Symbiotic Processes (2020) (0)
- Emergence of revenge and forgiveness in commitments (2015) (0)
- Change in Knowledge Bases Special Issue of Theory and Practice of Logic Programming Submission deadline: July 31, 2001 (2001) (0)
- EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings (1991) (0)
- Implementing a Layered Models based Query-Solving Engine (2008) (0)
- Runtime Verification on Partial Paths (2009) (0)
- Towards AKL with Intelligent Pruning ( extended abstract ) ∗ (2010) (0)
- Evolution of Pairwise Commitment and Cooperation (2014) (0)
- A Complex Cognitive Ecosystem: Humans and Beings of a Different Nature (2020) (0)
- Stability and Related Topics (1993) (0)
- Commitment and Participation in Public Goods Games: Evolution of commitment and level of participation in public goods games (2017) (0)
- Emergence of Cooperation in Group Interactions: Avoidance vs. Restriction (2016) (0)
- Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications (2004) (0)
- Employing AI for Better Understanding Our Morals (2020) (0)
- Why is it so hard to say sorry? (abstract) (2013) (0)
- Practical Tabled Abduction in Logic Programs (2012) (0)
- Artificial Intelligence, Machine Autonomy and Emerging Needs (2020) (0)
- Layerings of Logic Programs-Layer Decomposable Semantics and Incremental Model Computation (2003) (0)
- Why a new semantics for extended programs (1996) (0)
- Intelligence and Autonomy in Artificial Agents (2020) (0)
- Reasoning in Open Domains (1993) (0)
- Properties of Conservative Extensions to Stable Model Semantics : a Structural Approach (2013) (0)
- A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems (1994) (0)
- Modeling morality using logic programming (2016) (0)
- Mutant Algorithms and Super Intelligences (2020) (0)
- To Grant Decision-Making to Machines? Who Can and Should Apologize? (2020) (0)
- A distributed logic programming language and its implementation on transputer networks (1991) (0)
- Non-Monotonic Extensions of Logic Programming: Iclp '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 : Selected Papers (1995) (0)
- Further properties and comparisons (1996) (0)
- An abductive paraconsistent semantics - MHP (2013) (0)
- A New Opportunity, or the Everlasting Unresolved Problem? (2020) (0)
- Modularization of Logic Programs (2013) (0)
- A Question of Epistemological Nature: Are There Limits to AI Enabled Knowledge? (2020) (0)
- Co-evolution of Social and Non-Social Guilt (2023) (0)
- Exploiting Logic Programming as a Computational Tool to Model Morality (2013) (0)
- A Language for Updates with Multiple Dimensions (2002) (0)
- About the End of the World, at Least as We Know It (2020) (0)
- SLS-resolution without floundering (1993) (0)
- The Carousel of Ethical Machinery 1 (2020) (0)
This paper list is powered by the following services:
Other Resources About Luís Moniz Pereira
What Schools Are Affiliated With Luís Moniz Pereira?
Luís Moniz Pereira is affiliated with the following schools:
