Luís Moniz Pereira

256 papers A* 7A 9B 44C 17Misc 24Journal 62Unranked 76

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A machine is cheaper than a human for the same task. AI Soc. Luís Moniz Pereira
2023	J	`jnl`	Co-evolution of Social and Non-Social Guilt. CoRR Theodor Cimpeanu, Luís Moniz Pereira, The Anh Han
2023	A	`conf`	Co-evolution of Social and Non-social Guilt in Structured Populations. AAMAS Theodor Cimpeanu, Luís Moniz Pereira, The Anh Han
2023	—	`ch.`	Ethics and Development of Advanced Technology Systems in Public Administration. Ethics and Responsible Research and Innovation in Practice António da Costa Alexandre, Luís Moniz Pereira
2023	—	`conf`	Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Alexandre Miguel Pinto, Luís Moniz Pereira
2023	—	`conf`	Modularization of Logic Programs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Alexandre Miguel Pinto, Luís Moniz Pereira
2022	J	`jnl`	Employing AI to Better Understand Our Morals. Entropy Luís Moniz Pereira, The Anh Han, António Barata Lopes
2021	C	`conf`	A Regulation Dilemma in Artificial Intelligence Development. ALIFE The Anh Han, Francisco C. Santos, Luís Moniz Pereira, Tom Lenaerts
2021	J	`jnl`	The carousel of ethical machinery. AI Soc. Luís Moniz Pereira
2021	J	`jnl`	Voluntary safety commitments provide an escape from over-regulation in AI development. CoRR The Anh Han, Tom Lenaerts, Francisco C. Santos, Luís Moniz Pereira
2020	J	`jnl`	AI Development Race Can Be Mediated on Heterogeneous Networks. CoRR Theodor Cimpeanu, Francisco C. Santos, Luís Moniz Pereira, Tom Lenaerts, The Anh Han
2020	—	`book`	Machine Ethics - From Machine Morals to the Machinery of Morality Luís Moniz Pereira, António Barata Lopes
2020	J	`jnl`	Mediating Artificial Intelligence Developments through Negative and Positive Incentives. CoRR The Anh Han, Luís Moniz Pereira, Tom Lenaerts, Francisco C. Santos
2020	J	`jnl`	To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race. J. Artif. Intell. Res. The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts
2019	J	`jnl`	Counterfactual thinking in cooperation dynamics. CoRR Luís Moniz Pereira, Francisco C. Santos
2019	C	`conf`	Modelling and Influencing the AI Bidding War: A Research Agenda. AIES The Anh Han, Luís Moniz Pereira, Tom Lenaerts
2019	J	`jnl`	Modelling the Safety and Surveillance of the AI Race. CoRR The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts
2019	J	`jnl`	Should I kill or rather not? AI Soc. Luís Moniz Pereira
2018	J	`jnl`	Cyberculture, symbiosis, and syncretism. AI Soc. Luís Moniz Pereira
2017	—	`conf`	Agent Morality via Counterfactuals in Logic Programming. Bridging@CogSci Luís Moniz Pereira, Ari Saptawijaya
2017	A*	`conf`	Centralized versus Personalized Commitments and Their Influence on Cooperation in Group Interactions. AAAI The Anh Han, Luís Moniz Pereira, Luis A. Martinez-Vaquero, Tom Lenaerts
2017	A	`conf`	Commitment and Participation in Public Goods Games. AAMAS The Anh Han, Luís Moniz Pereira, Tom Lenaerts
2017	B	`conf`	Contextual Reasoning: Usually Birds Can Abductively Fly. LPNMR Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
2017	J	`jnl`	Evolution of commitment and level of participation in public goods games. Auton. Agents Multi Agent Syst. The Anh Han, Luís Moniz Pereira, Tom Lenaerts
2017	A	`conf`	Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems. AAMAS Luís Moniz Pereira, Tom Lenaerts, Luis A. Martinez-Vaquero, The Anh Han
2016	J	`jnl`	Abduction and Beyond in Logic Programming with Application to Morality. FLAP Luís Moniz Pereira, Ari Saptawijaya
2016	—	`conf`	Conditions for the Evolution of Apology and Forgiveness in Populations of Autonomous Agents. AAAI Spring Symposia Tom Lenaerts, Luis A. Martinez-Vaquero, The Anh Han, Luís Moniz Pereira
2016	—	`conf`	Emergence of Cooperation in Group Interactions: Avoidance vs. Restriction. AAAI Spring Symposia The Anh Han, Luís Moniz Pereira, Tom Lenaerts
2016	—	`conf`	Guilt for Non-Humans. AAAI Spring Symposia Luís Moniz Pereira, The Anh Han, Luis A. Martinez-Vaquero, Tom Lenaerts
2016	J	`jnl`	Logic programming for modeling morality. Log. J. IGPL Ari Saptawijaya, Luís Moniz Pereira
2016	—	`book`	Programming Machine Ethics Luís Moniz Pereira, Ari Saptawijaya
2015	J	`jnl`	Emergence of cooperation via intention recognition, commitment and apology - A research summary. AI Commun. The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts
2015	Misc	`conf`	Logic Programming Applied to Machine Ethics. EPIA Ari Saptawijaya, Luís Moniz Pereira
2015	—	`conf`	On Conditionals. GCAI Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
2015	—	`conf`	On Indicative Conditionals. IWOST-1 Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
2015	J	`jnl`	Tabdual: a Tabled Abduction System for Logic Programs. FLAP Ari Saptawijaya, Luís Moniz Pereira
2015	—	`ch.`	The Potential of Logic Programming as a Computational Tool to Model Morality. A Construction Manual for Robots' Ethical Systems Ari Saptawijaya, Luís Moniz Pereira
2014	A*	`conf`	An Abductive Reasoning Approach to the Belief Bias Effect. KR Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
2014	J	`jnl`	Contextual Abductive Reasoning with Side-Effects. CoRR Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
2014	J	`jnl`	Contextual Abductive Reasoning with Side-Effects. Theory Pract. Log. Program. Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
2014	J	`jnl`	Joint Tabling of Logic Program Abductions and Updates. CoRR Ari Saptawijaya, Luís Moniz Pereira
2014	J	`jnl`	Properties of Stable Model Semantics Extensions. CoRR Mário Abrantes, Luís Moniz Pereira
2014	C	`conf`	Towards Modeling Morality Computationally with Logic Programming. PADL Ari Saptawijaya, Luís Moniz Pereira
2013	J	`jnl`	Context-dependent incremental decision making scrutinizing the intentions of others via Bayesian network model construction. Intell. Decis. Technol. The Anh Han, Luís Moniz Pereira
2013	B	`conf`	Incremental Tabling for Query-Driven Propagation of Logic Program Updates. LPAR Ari Saptawijaya, Luís Moniz Pereira
2013	—	`ch.`	Intention-Based Decision Making via Intention Recognition and its Applications. Human Behavior Recognition Technologies The Anh Han, Luís Moniz Pereira
2013	B	`conf`	Program Updating by Incremental and Answer Subsumption Tabling. LPNMR Ari Saptawijaya, Luís Moniz Pereira
2013	J	`jnl`	State-of-the-art of intention recognition and its use in decision making. AI Commun. Han The Anh, Luís Moniz Pereira
2013	J	`jnl`	Tabled Abduction in Logic Programs. Theory Pract. Log. Program. Ari Saptawijaya, Luís Moniz Pereira
2013	Misc	`conf`	Towards Practical Tabled Abduction in Logic Programs. EPIA Ari Saptawijaya, Luís Moniz Pereira
2013	A*	`conf`	Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma. IJCAI The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts
2012	J	`jnl`	Book Review. AI Commun. Luís Moniz Pereira
2012	J	`jnl`	Corpus-Based Intention Recognition in Cooperation Dilemmas. Artif. Life Han The Anh, Luís Moniz Pereira, Francisco C. Santos
2012	—	`ch.`	Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology. Special Sciences and the Unity of Science Luís Moniz Pereira
2012	—	`ch.`	Evolutionary Tolerance. Philosophy and Cognitive Science Luís Moniz Pereira
2012	B	`conf`	Intention recognition, commitment and the evolution of cooperation. IEEE Congress on Evolutionary Computation Han The Anh, Luís Moniz Pereira, Francisco C. Santos
2012	B	`conf`	Moral Reasoning under Uncertainty. LPAR Han The Anh, Ari Saptawijaya, Luís Moniz Pereira
2012	A	`conf`	The emergence of commitments and cooperation. AAMAS Han The Anh, Luís Moniz Pereira, Francisco C. Santos
2012	J	`jnl`	Turing is among us. J. Log. Comput. Luís Moniz Pereira
2011	—	`conf`	Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. RuleML Europe Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira
2011	J	`jnl`	Each normal logic program has a 2-valued Minimal Hypotheses semantics CoRR Alexandre Miguel Pinto, Luís Moniz Pereira
2011	J	`jnl`	Intention recognition promotes the emergence of cooperation. Adapt. Behav. Han The Anh, Luís Moniz Pereira, Francisco C. Santos
2011	Misc	`conf`	Intention-Based Decision Making with Evolution Prospection. EPIA Han The Anh, Luís Moniz Pereira
2011	J	`jnl`	Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira
2011	A*	`conf`	The Role of Intention Recognition in the Evolution of Cooperative Behavior. IJCAI Han The Anh, Luís Moniz Pereira, Francisco C. Santos
2010	—	`conf`	A Hybrid Cluster-Lift Method for the Analysis of Research Activities. HAIS (1) Boris G. Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira
2010	—	`conf`	Anytime Intention Recognition via Incremental Bayesian Network Reconstruction. AAAI Fall Symposium: Proactive Assistant Agents The Anh Han, Luís Moniz Pereira
2010	J	`jnl`	Building Fuzzy Thematic Clusters and Mapping Them to Higher Ranks in a Taxonomy. Int. J. Softw. Informatics Boris G. Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira
2010	—	`ch.`	Cluster-Lift Method for Mapping Research Activities over a Concept Tree. Advances in Machine Learning II Boris G. Mirkin, Susana Nascimento, Luís Moniz Pereira
2010	—	`conf`	Collective Intention Recognition and Elder Care. AAAI Fall Symposium: Proactive Assistant Agents The Anh Han, Luís Moniz Pereira
2010	C	`conf`	Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy. KSEM Boris G. Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira
2010	—	`conf`	Ensuring Agent Properties under Arbitrary Sequences of Incoming Events. RCRA@CPAIOR Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira, Arianna Tocchio
2010	J	`jnl`	Modelling decision making with probabilistic causation. Intell. Decis. Technol. Luís Moniz Pereira, Carroline D. P. Kencana Ramli
2010	—	`conf`	Observation Strategies for Event Detection with Incidence on Runtime Verification. RCRA@CPAIOR Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira
2010	B	`conf`	Proactive Intention Recognition for Home Ambient Intelligence. Intelligent Environments (Workshops) Han The Anh, Luís Moniz Pereira
2010	C	`conf`	Prospective Storytelling Agents. PADL Gonçalo Lopes, Luís Moniz Pereira
2010	—	`conf`	Tight Semantics for Logic Programs. ICLP (Technical Communications) Luís Moniz Pereira, Alexandre Miguel Pinto
2009	—	`conf`	Adaptive Reasoning for Cooperative Agents. INAP Luís Moniz Pereira, Alexandre Miguel Pinto
2009	—	`conf`	Elder Care via Intention Recognition and Evolution Prospection. INAP Luís Moniz Pereira, Han The Anh
2009	J	`jnl`	Evolution prospection in decision making. Intell. Decis. Technol. Luís Moniz Pereira, Han The Anh
2009	J	`jnl`	Evolving towards an evolutionary epistemology. Int. J. Reason. based Intell. Syst. Luís Moniz Pereira
2009	B	`conf`	Incremental Answer Completion in the SLG-WAM. ICLP Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira
2009	Misc	`conf`	Intention Recognition via Causal Bayes Networks Plus Plan Generation. EPIA Luís Moniz Pereira, Han The Anh
2009	B	`conf`	Layer Supported Models of Logic Programs. LPNMR Luís Moniz Pereira, Alexandre Miguel Pinto
2009	C	`conf`	Layered Models Top-Down Querying of Normal Logic Programs. PADL Luís Moniz Pereira, Alexandre Miguel Pinto
2009	J	`jnl`	Modelling morality with prospective logic. Int. J. Reason. based Intell. Syst. Luís Moniz Pereira, Ari Saptawijaya
2009	C	`conf`	On Preferring and Inspecting Abductive Models. PADL Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes
2009	J	`jnl`	Prospective logic agents. Int. J. Reason. based Intell. Syst. Luís Moniz Pereira, Gonçalo Lopes
2009	—	`conf`	Stabel Model Implementation of Layer Supported Models by Program Transformation. INAP Luís Moniz Pereira, Alexandre Miguel Pinto
2009	—	`conf`	Stable versus Layered Logic Program Semantics. LA-NMR Luís Moniz Pereira, Alexandre Miguel Pinto
2008	—	`ch.`	Collaborative vs. Conflicting Learning, Evolution and Argumentation. Oppositional Concepts in Computational Intelligence Luís Moniz Pereira, Alexandre Miguel Pinto
2008	J	`jnl`	Methodological naturalism and epistemic internalism. Synth. Gregory R. Wheeler, Luís Moniz Pereira
2008	—	`conf`	Representing a Computer Science Research Organization on the ACM Computing Classification System. ICCS Supplement Boris G. Mirkin, Susana Nascimento, Luís Moniz Pereira
2007	B	`conf`	Approved Models for Normal Logic Programs. LPAR Luís Moniz Pereira, Alexandre Miguel Pinto
2007	—	`conf`	Architectural Design via Declarative Programming. ICEIS (2) Luís Moniz Pereira, Ruben Duarte Viegas
2007	—	`conf`	Gödel and Computability. EPIA Workshops Luís Moniz Pereira
2007	J	`jnl`	Introduction. J. Appl. Log. Luís Moniz Pereira, Gregory R. Wheeler
2007	—	`conf`	Modelling Morality with Prospective Logic. EPIA Workshops Luís Moniz Pereira, Ari Saptawijaya
2007	J	`jnl`	Preferential theory revision. J. Appl. Log. Pierangelo Dell'Acqua, Luís Moniz Pereira
2007	—	`conf`	Prospective Logic Agents. EPIA Workshops Luís Moniz Pereira, Gonçalo Lopes
2006	C	`conf`	A Logic-Based Approach to Model Supervisory Control Systems. ISMIS Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira
2006	C	`conf`	Emergence of Cooperation Through Mutual Preference Revision. IEA/AIE Pedro Santana, Luís Moniz Pereira
2006	—	`conf`	Modelling adaptive controllers with evolving logic programs. ICINCO-ICSO Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira
2005	B	`conf`	A Well-Founded Semantics with Disjunction. ICLP João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
2005	J	`jnl`	An encompassing framework for Paraconsistent Logic Programs. J. Appl. Log. João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
2005	C	`conf`	Inferring Definite-Clause Grammars to Express Multivariate Time Series. IEA/AIE Gabriela Guimarães, Luís Moniz Pereira
2005	C	`conf`	MOdelling hybrid control systems with behaviour networks. ICINCO Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira
2005	Misc	`conf`	Preference Revision Via Declarative Debugging. EPIA Pierangelo Dell'Acqua, Luís Moniz Pereira
2005	Misc	`conf`	Revised Stable Models - A Semantics for Logic Programs. EPIA Luís Moniz Pereira, Alexandre Miguel Pinto
2004	A	`conf`	A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. ECAI João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
2004	J	`jnl`	Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. Theory Pract. Log. Program. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
2004	C	`conf`	Abductive Validation of a Power-Grid Expert System Diagnoser. IEA/AIE José Ferreira de Castro, Luís Moniz Pereira
2004	J	`jnl`	Common-sense reasoning as proto-scientific agent activity. J. Appl. Log. Pierangelo Dell'Acqua, Luís Moniz Pereira
2004	J	`jnl`	Epistemology and artificial intelligence. J. Appl. Log. Gregory R. Wheeler, Luís Moniz Pereira
2004	J	`jnl`	Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications. J. Appl. Log. Claudio Delrieux, Luís Moniz Pereira
2003	C	`conf`	A Logical Framework for Modelling eMAS. PADL Pierangelo Dell'Acqua, Luís Moniz Pereira
2003	J	`jnl`	Abduction in Well-Founded Semantics and Generalized Stable Models CoRR José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
2003	Misc	`conf`	An Architecture for a Rational Reactive Agent. EPIA Pierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira
2003	Misc	`conf`	An Evolvable Rule-Based E-mail Agent. EPIA José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2003	—	`conf`	An Evolving Agent with EVOLP. APPIA-GULP-PRODE José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2003	J	`jnl`	Belief Revision via Lamarckian Evolution. New Gener. Comput. Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
2003	—	`conf`	Logic Programming for Evolving Agents. CIA José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2003	—	`conf`	Semantic Web Logic Programming Tools. PPSWR José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
2002	B	`conf`	A Compilation of Updates plus Preferences. JELIA José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira
2002	—	`conf`	A Language for Multi-dimensional Updates. CLIMA João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2002	—	`conf`	A Language for Updates with Multiple Dimensions. APPIA-GULP-PRODE João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2002	—	`conf`	A Logic Based Asynchronous Multi-Agent System. CLIMA Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira
2002	—	`conf`	A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
2002	Misc	`conf`	Belief Revision via Lamarckian Evolution. IC-AI Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
2002	B	`conf`	Evolving Logic Programs. JELIA José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2002	J	`jnl`	Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Stud Logica Carlos Viegas Damásio, Luís Moniz Pereira
2002	J	`jnl`	LUPSA language for updating logic programs. Artif. Intell. José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2002	—	`conf`	Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond José Júlio Alferes, Luís Moniz Pereira
2002	Misc	`conf`	On Philosophical Incidences of Logic Programming. IC-AI Luís Moniz Pereira
2002	B	`conf`	Paraconsistent Logic Programs. JELIA João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
2002	J	`jnl`	Preface. Stud Logica Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira
2002	C	`conf`	User Preference Information in Query Answering. FQAS Pierangelo Dell'Acqua, Luís Moniz Pereira, Aida Vitória
2002	J	`jnl`	Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. Appl. Intell. Carlos Viegas Damásio, Peter Fröhlich, Wolfgang Nejdl, Luís Moniz Pereira, Michael Schroeder
2001	—	`ed.`	APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001. APPIA-GULP-PRODE Luís Moniz Pereira, Paulo Quaresma
2001	B	`conf`	Antitonic Logic Programs. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira
2001	—	`conf`	Belief Revision by Lamarckian Evolution. EvoWorkshops Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi
2001	—	`conf`	Combining societal agents' knowledge. APPIA-GULP-PRODE João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001	C	`conf`	Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2001	Misc	`conf`	Enabling Agents to Update Their Knowledge and to Prefer. EPIA Pierangelo Dell'Acqua, Luís Moniz Pereira
2001	Misc	`conf`	Evolving Multi-agent Viewpoints - an Architecture. EPIA Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira
2001	—	`conf`	MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001	C	`conf`	Monotonic and Residuated Logic Programs. ECSQARU Carlos Viegas Damásio, Luís Moniz Pereira
2001	B	`conf`	Multi-dimensional Dynamic Knowledge Representation. LPNMR João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001	Misc	`conf`	On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. EPIA João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001	—	`conf`	Preferring and Updating in Abductive Multi-agent Systems. ESAW Pierangelo Dell'Acqua, Luís Moniz Pereira
2001	—	`conf`	Preferring and Updating in Logic-Based Agents. INAP (LNCS Volume) Pierangelo Dell'Acqua, Luís Moniz Pereira
2001	—	`conf`	Preferring and Updating in Multi-Agents. INAP Pierangelo Dell'Acqua, Luís Moniz Pereira
2000	—	`ed.`	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings CL John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
2000	Misc	`conf`	Dynamic Knowledge Representation and Its Applications. AIMSA José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma
2000	J	`jnl`	Dynamic updates of non-monotonic knowledge bases. J. Log. Program. José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2000	B	`conf`	Hybrid Probabilistic Logic Programs as Residuated Logic Programs. JELIA Carlos Viegas Damásio, Luís Moniz Pereira
2000	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings JELIA Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira
2000	—	`conf`	Multi-dimensional Dynamic Logic Programming. CL-2000 Workshop on Computational Logic in Multi-Agent Systems João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2000	—	`conf`	Partial Models of Extended Generalized Logic Programs. Computational Logic José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira
2000	—	`conf`	Psychiatric Diagnosis from the Viewpoint of Computational Logic. Computational Logic Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira
2000	J	`jnl`	Strategies in Combined Learning via Logic Programs. Mach. Learn. Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira
2000	B	`conf`	Updates plus Preferences. JELIA José Júlio Alferes, Luís Moniz Pereira
1999	B	`conf`	Coherent Well-founded Annotated Logic Programs. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
1999	B	`conf`	LUPS - A Language for Updating Logic Programs. LPNMR José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1999	—	`conf`	Preliminary exploration on actions as updates. APPIA-GULP-PRODE José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma
1999	C	`conf`	Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. IEA/AIE Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder, Carlos Viegas Damásio, Luís Moniz Pereira
1999	B	`conf`	Well-founded Abduction via Tabled Dual Programs. ICLP José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
1998	J	`jnl`	'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. J. Autom. Reason. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
1998	—	`conf`	A General Tabulation Procedure for Extended Constraint Logic Programs. TAPD Carlos Viegas Damásio, Luís Moniz Pereira
1998	—	`conf`	Dynamic Logic Programming. APPIA-GULP-PRODE José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1998	A*	`conf`	Dynamic Logic Programming. KR José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1998	—	`conf`	Iterated Logic Program Updates. IJCSLP João Alexandre Leite, Luís Moniz Pereira
1998	—	`ed.`	Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers LPKR Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
1998	J	`jnl`	Preface: Logics for Artificial Intelligence. J. Autom. Reason. José Júlio Alferes, Luís Moniz Pereira
1998	—	`conf`	Tabling Abduction. TAPD José Júlio Alferes, Luís Moniz Pereira
1997	B	`conf`	A Paraconsistent Semantics with Contradiction Support Detection. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira
1997	—	`conf`	Generalizing Updates: From Models to Programs. LPKR João Alexandre Leite, Luís Moniz Pereira
1997	J	`jnl`	Knowledge Assimilation in Domains of Actions: A Possible Causes Approach. J. Appl. Non Class. Logics Renwei Li, Luís Moniz Pereira
1997	—	`conf`	Logic Programming and Knowledge Representation (LPKR'97). ILPS Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira
1997	—	`ed.`	Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers NMELP Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
1997	B	`conf`	REVISE: Logic Programming and Diagnosis. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder
1997	Misc	`conf`	Reasoning about Actions with Abductive Logic Programming. EPIA Luís Moniz Pereira, Renwei Li
1997	—	`conf`	Refining Action Theories through Abductive Logic Programming. LPKR Renwei Li, Luís Moniz Pereira, Verónica Dahl
1997	J	`jnl`	Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. Ann. Math. Artif. Intell. Renwei Li, Luís Moniz Pereira
1996	—	`conf`	A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. ATAL Michael Schroeder, Iara de Almeida Móra, Luís Moniz Pereira
1996	B	`conf`	A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. ICTAI Michael Schroeder, Iara de Almeida Móra, Luís Moniz Pereira
1996	J	`jnl`	Belief Revision in Non-Monotonic Reasoning and Logic Programming. Fundam. Informaticae José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
1996	—	`conf`	Default Negated Conclusions: Why Not? ELP Carlos Viegas Damásio, Luís Moniz Pereira
1996	—	`conf`	Knowledge-Based Situated Agents Among Us: A Preliminary Report. ATAL Renwei Li, Luís Moniz Pereira
1996	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings JELIA José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska
1996	—	`conf`	Prolegomena to Logic Programming for Non-monotonic Reasoning. NMELP Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
1996	—	`conf`	Reasoning about Concurrent Actions and Observations. APPIA-GULP-PRODE Renwei Li, Luís Moniz Pereira
1996	—	`book`	Reasoning with Logic Programming José Júlio Alferes, Luís Moniz Pereira
1996	B	`conf`	Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. JELIA José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
1996	A	`conf`	Temporal Reasoning with Abductive Logic Programming. ECAI Renwei Li, Luís Moniz Pereira
1996	—	`conf`	Update-Programs Can Update Programs. NMELP José Júlio Alferes, Luís Moniz Pereira
1996	—	`conf`	What Is Believed Is What Is Explained (Sometimes). AAAI/IAAI, Vol. 1 Renwei Li, Luís Moniz Pereira
1995	J	`jnl`	A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reason. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1995	Misc	`conf`	A Model Theory for Paraconsistent Logic Programming. EPIA Carlos Viegas Damásio, Luís Moniz Pereira
1995	B	`conf`	Abduction over 3-Valued Extended Logic Programs. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira
1995	Misc	`conf`	Belief Revision in Non-Monotonic Reasoning. EPIA José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
1995	J	`jnl`	Belief, Provability, and Logic Programs. J. Appl. Non Class. Logics José Júlio Alferes, Luís Moniz Pereira
1995	Misc	`conf`	Non-Atomic Actions in the Situation Calculus. EPIA José Júlio Alferes, Renwei Li, Luís Moniz Pereira
1995	—	`ed.`	Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers NMELP Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
1995	—	`conf`	Parallel Logic Programming with Extensions. GULP-PRODE Luís Moniz Pereira
1994	—	`conf`	A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems. Workshop on Design and Impl. of Parallel Logic Programming Systems Salvador Abreu, Luís Moniz Pereira
1994	J	`jnl`	Adding Closed World Assumptions to Well-Founded Semantics. Theor. Comput. Sci. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1994	—	`conf`	An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. NMELP José Júlio Alferes, Luís Moniz Pereira
1994	B	`conf`	Belief, Provability, and Logic Programs. JELIA José Júlio Alferes, Luís Moniz Pereira
1994	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings JELIA Craig MacNish, David Pearce, Luís Moniz Pereira
1994	A*	`conf`	REVISE: An Extended Logic Programming System for Revising Knowledge Bases. KR Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira
1994	—	`conf`	SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. ILPS José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1994	A	`conf`	Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1993	—	`conf`	Contradiction: When Avoidance Equals Removal - Part I. ELP José Júlio Alferes, Luís Moniz Pereira
1993	—	`conf`	Contradiction: When Avoidance Equals Removal - Part II. ELP José Júlio Alferes, Luís Moniz Pereira
1993	—	`conf`	Debugging by Diagnosing Assumptions. AADEBUG Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
1993	—	`conf`	Design for AKL with Intelligent Pruning. ELP Salvador Abreu, Luís Moniz Pereira
1993	Misc	`conf`	Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
1993	B	`conf`	Diagnosis and Debugging as Contradiction Removal. LPNMR Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
1993	B	`ed.`	Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993 LPNMR Luís Moniz Pereira, Anil Nerode
1993	J	`jnl`	Non-Monotonic Reasoning with Logic Programming. J. Log. Program. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1993	B	`conf`	Optative Reasoning with Scenario Semantics. ICLP Luís Moniz Pereira, José Júlio Alferes
1993	B	`conf`	Scenario Semantics of Extended Logic Programs. LPNMR José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira
1992	—	`conf`	Adding Closed World Assumptions to Well Founded Semantics. FGCS Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992	—	`conf`	Contradiction Removal Semantics with Explicit Negation. Logic at Work Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992	B	`conf`	Default Theory for Well Founded Semantics with Explicit Negation. JELIA Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992	—	`conf`	Improving Backward Execution in the Andorra Family of Languages. JICSLP Salvador Abreu, Luís Moniz Pereira, Philippe Codognet
1992	—	`conf`	Logic Programming for Non-Monotonic Reasoning. Logic at Work Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1992	—	`conf`	On Logic Program Semantics with Two Kinds of Negation. JICSLP José Júlio Alferes, Luís Moniz Pereira
1992	—	`conf`	SLWV - A Theorem Prover for Logic Programming. ELP Luís Moniz Pereira, Luís Caires, José Júlio Alferes
1992	A	`conf`	Well Founded Semantics for Logic Programs with Explicit Negation. ECAI Luís Moniz Pereira, José Júlio Alferes
1991	—	`conf`	A Practical Introduction to Well Founded Semantics. SCAI Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1991	B	`conf`	Contradiction Removal within Well Founded Semantics. LPNMR Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1991	—	`conf`	Counterfactual Reasoning Based on Revising Assumptions. ISLP Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991	Misc	`conf`	Declarative Source Debugging. EPIA Miguel Calejo, Luís Moniz Pereira
1991	A*	`conf`	Derivation Procedures for Extended Stable Models. IJCAI Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991	Misc	`ed.`	EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings EPIA Pedro Barahona, Luís Moniz Pereira, António Porto
1991	—	`conf`	Hypothetical Reasoning with Well Founded Semantics. SCAI Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991	B	`conf`	Nonmonotonic Reasoning with Well Founded Semantics. ICLP Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991	Misc	`conf`	The Extended Stable Models of Contradiction Removal Semantics. EPIA Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1989	Misc	`conf`	Algorithmic Debugging of Prolog Side-Effects. EPIA Luís Moniz Pereira, Miguel Calejo
1989	B	`conf`	Programming in Delta Prolog. ICLP José C. Cunha, Maria C. Ferreira, Luís Moniz Pereira
1989	Misc	`conf`	Relevant Counterfactuals. EPIA Luís Moniz Pereira, Joaquim Nunes Aparício
1988	—	`conf`	A Framework for Prolog Debugging. ICLP/SLP Luís Moniz Pereira, Miguel Calejo
1986	J	`jnl`	Automated Reasoning in Geometry Theorem Proving with Prolog. J. Autom. Reason. Helder Coelho, Luís Moniz Pereira
1986	B	`conf`	Delta Prolog: A Distributed Backtracking Extension with Events. ICLP Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício
1986	B	`conf`	Rational Debugging in Logic Programming. ICLP Luís Moniz Pereira
1984	—	`ch.`	Deduction Revision by Intelligent Backtracking. Implementations of Prolog Maurice Bruynooghe, Luís Moniz Pereira
1984	—	`conf`	Delta-Prolog: A Distributed Logic Programming Language. FGCS Luís Moniz Pereira, Roger Nasr
1984	—	`ch.`	Logic Control with Logic. Implementations of Prolog Luís Moniz Pereira
1983	B	`ed.`	Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras
1983	B	`conf`	Relational Data Bases 'à la carte'. Logic Programming Workshop Miguel Filgueiras, Luís Moniz Pereira
1982	B	`conf`	A Prolog Implementation of a Large System on a Small Machine. ICLP Luís Moniz Pereira, António Porto
1982	B	`conf`	Logic Control with Logic. ICLP Luís Moniz Pereira
1982	B	`conf`	ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. ICLP Luís Moniz Pereira, Paul Sabatier, Eugénio Oliveira
1980	A	`conf`	Selective Backtracking for Logic Programs. CADE Luís Moniz Pereira, António Porto