Search the dblp DataBase
Luís Moniz Pereira :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício Contradiction Removal within Well Founded Semantics. [Citation Graph (2, 0)][DBLP ] LPNMR, 1991, pp:105-119 [Conf ] José Júlio Alferes , Carlos Viegas Damásio , Luís Moniz Pereira Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. [Citation Graph (1, 0)][DBLP ] ECAI, 1994, pp:140-144 [Conf ] Luís Moniz Pereira , José Júlio Alferes Well Founded Semantics for Logic Programs with Explicit Negation. [Citation Graph (1, 0)][DBLP ] ECAI, 1992, pp:102-106 [Conf ] Luís Moniz Pereira Logic Control with Logic. [Citation Graph (1, 0)][DBLP ] ICLP, 1982, pp:9-18 [Conf ] Luís Moniz Pereira Rational Debugging in Logic Programming. [Citation Graph (1, 0)][DBLP ] ICLP, 1986, pp:203-210 [Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Derivation Procedures for Extended Stable Models. [Citation Graph (1, 0)][DBLP ] IJCAI, 1991, pp:863-869 [Conf ] José Júlio Alferes , Phan Minh Dung , Luís Moniz Pereira Scenario Semantics of Extended Logic Programs. [Citation Graph (1, 0)][DBLP ] LPNMR, 1993, pp:334-348 [Conf ] Renwei Li , Luís Moniz Pereira What Is Believed Is What Is Explained (Sometimes). [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, Vol. 1, 1996, pp:550-555 [Conf ] Luís Moniz Pereira , Carlos Viegas Damásio , José Júlio Alferes Debugging by Diagnosing Assumptions. [Citation Graph (0, 0)][DBLP ] AADEBUG, 1993, pp:58-74 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira An Evolving Agent with EVOLP. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 2003, pp:205-216 [Conf ] José Júlio Alferes , João Alexandre Leite , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1998, pp:393-408 [Conf ] José Júlio Alferes , Luís Moniz Pereira , Teodor C. Przymusinski , Halina Przymusinska , Paulo Quaresma Preliminary exploration on actions as updates. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1999, pp:259-272 [Conf ] Renwei Li , Luís Moniz Pereira Reasoning about Concurrent Actions and Observations. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1996, pp:549-560 [Conf ] Luís Moniz Pereira Parallel Logic Programming with Extensions. [Citation Graph (0, 0)][DBLP ] GULP-PRODE, 1995, pp:71-88 [Conf ] José Júlio Alferes , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski , Paulo Quaresma Dynamic Knowledge Representation and Its Applications. [Citation Graph (0, 0)][DBLP ] AIMSA, 2000, pp:1-10 [Conf ] Renwei Li , Luís Moniz Pereira Knowledge-Based Situated Agents Among Us: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] ATAL, 1996, pp:375-389 [Conf ] João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira MINERVA - A Dynamic Logic Programming Agent Architecture. [Citation Graph (0, 0)][DBLP ] ATAL, 2001, pp:141-157 [Conf ] Michael Schroeder , Iara de Almeida Móra , Luís Moniz Pereira A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. [Citation Graph (0, 0)][DBLP ] ATAL, 1997, pp:293-307 [Conf ] José Júlio Alferes , Luís Moniz Pereira Logic Programming Updating - A Guided Approach. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:382-412 [Conf ] Maurice Bruynooghe , Luís Moniz Pereira , Jörg H. Siekmann , Maarten H. van Emden A Portrait of a Scientist as a Computational Logician. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:1-4 [Conf ] Luís Moniz Pereira , António Porto Selective Backtracking for Logic Programs. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:306-317 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira Logic Programming for Evolving Agents. [Citation Graph (0, 0)][DBLP ] CIA, 2003, pp:281-297 [Conf ] José Júlio Alferes , Heinrich Herre , Luís Moniz Pereira Partial Models of Extended Generalized Logic Programs. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:149-163 [Conf ] Joseph Gartner , Terrance Swift , Allen Tien , Carlos Viegas Damásio , Luís Moniz Pereira Psychiatric Diagnosis from the Viewpoint of Computational Logic. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:1362-1376 [Conf ] João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira Multi-dimensional Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP ] CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:17-26 [Conf ] Pierangelo Dell'Acqua , Ulf Nilsson , Luís Moniz Pereira A Logic Based Asynchronous Multi-Agent System. [Citation Graph (0, 0)][DBLP ] CLIMA III, 2002, pp:63-78 [Conf ] João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski A Language for Multi-dimensional Updates. [Citation Graph (0, 0)][DBLP ] CLIMA III, 2002, pp:19-34 [Conf ] João Alcântara , Carlos Viegas Damásio , Luís Moniz Pereira A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:951-952 [Conf ] Renwei Li , Luís Moniz Pereira Temporal Reasoning with Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] ECAI, 1996, pp:13-17 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira Monotonic and Residuated Logic Programs. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2001, pp:748-759 [Conf ] Salvador Abreu , Luís Moniz Pereira Design for AKL with Intelligent Pruning. [Citation Graph (0, 0)][DBLP ] ELP, 1993, pp:3-10 [Conf ] José Júlio Alferes , Luís Moniz Pereira Contradiction: When Avoidance Equals Removal - Part I. [Citation Graph (0, 0)][DBLP ] ELP, 1993, pp:11-23 [Conf ] José Júlio Alferes , Luís Moniz Pereira Contradiction: When Avoidance Equals Removal - Part II. [Citation Graph (0, 0)][DBLP ] ELP, 1993, pp:268-281 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira Default Negated Conclusions: Why Not? [Citation Graph (0, 0)][DBLP ] ELP, 1996, pp:103-117 [Conf ] Luís Moniz Pereira , Luís Caires , José Júlio Alferes SLWV - A Theorem Prover for Logic Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:1-23 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira An Evolvable Rule-Based E-mail Agent. [Citation Graph (0, 0)][DBLP ] EPIA, 2003, pp:394-408 [Conf ] José Júlio Alferes , Renwei Li , Luís Moniz Pereira Non-Atomic Actions in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] EPIA, 1995, pp:273-284 [Conf ] José Júlio Alferes , Luís Moniz Pereira , Teodor C. Przymusinski Belief Revision in Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] EPIA, 1995, pp:40-56 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira A Model Theory for Paraconsistent Logic Programming. [Citation Graph (0, 0)][DBLP ] EPIA, 1995, pp:377-386 [Conf ] Pierangelo Dell'Acqua , Mattias Engberg , Luís Moniz Pereira An Architecture for a Rational Reactive Agent. [Citation Graph (0, 0)][DBLP ] EPIA, 2003, pp:379-393 [Conf ] Pierangelo Dell'Acqua , João Alexandre Leite , Luís Moniz Pereira Evolving Multi-agent Viewpoints - an Architecture. [Citation Graph (0, 0)][DBLP ] EPIA, 2001, pp:169-182 [Conf ] Pierangelo Dell'Acqua , Luís Moniz Pereira Enabling Agents to Update Their Knowledge and to Prefer. [Citation Graph (0, 0)][DBLP ] EPIA, 2001, pp:183-190 [Conf ] Pierangelo Dell'Acqua , Luís Moniz Pereira Preference Revision Via Declarative Debugging. [Citation Graph (0, 0)][DBLP ] EPIA, 2005, pp:18-28 [Conf ] Miguel Calejo , Luís Moniz Pereira Declarative Source Debugging. [Citation Graph (0, 0)][DBLP ] EPIA, 1991, pp:237-249 [Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício Relevant Counterfactuals. [Citation Graph (0, 0)][DBLP ] EPIA, 1989, pp:107-118 [Conf ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício The Extended Stable Models of Contradiction Removal Semantics. [Citation Graph (0, 0)][DBLP ] EPIA, 1991, pp:105-119 [Conf ] Luís Moniz Pereira , Miguel Calejo Algorithmic Debugging of Prolog Side-Effects. [Citation Graph (0, 0)][DBLP ] EPIA, 1989, pp:151-162 [Conf ] Luís Moniz Pereira , Carlos Viegas Damásio , José Júlio Alferes Diagnosis and Debugging as Contradiction Removal in Logic Programs. [Citation Graph (0, 0)][DBLP ] EPIA, 1993, pp:183-197 [Conf ] Luís Moniz Pereira , Renwei Li Reasoning about Actions with Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] EPIA, 1997, pp:361-388 [Conf ] Luís Moniz Pereira , Alexandre Miguel Pinto Revised Stable Models - A Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] EPIA, 2005, pp:29-42 [Conf ] João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. [Citation Graph (0, 0)][DBLP ] EPIA, 2001, pp:276-289 [Conf ] Pierangelo Dell'Acqua , Luís Moniz Pereira Preferring and Updating in Abductive Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] ESAW, 2001, pp:57-73 [Conf ] Evelina Lamma , Luís Moniz Pereira , Fabrizio Riguzzi Belief Revision by Lamarckian Evolution. [Citation Graph (0, 0)][DBLP ] EvoWorkshops, 2001, pp:404-413 [Conf ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício Adding Closed World Assumptions to Well Founded Semantics. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:562-569 [Conf ] Luís Moniz Pereira , Roger Nasr Delta-Prolog: A Distributed Logic Programming Language. [Citation Graph (0, 0)][DBLP ] FGCS, 1984, pp:283-291 [Conf ] Pierangelo Dell'Acqua , Luís Moniz Pereira , Aida Vitória User Preference Information in Query Answering. [Citation Graph (0, 0)][DBLP ] FQAS, 2002, pp:163-173 [Conf ] Evelina Lamma , Fabrizio Riguzzi , Luís Moniz Pereira Belief Revision via Lamarckian Evolution. [Citation Graph (0, 0)][DBLP ] IC-AI, 2002, pp:1264-1270 [Conf ] Luís Moniz Pereira On Philosophical Incidences of Logic Programming. [Citation Graph (0, 0)][DBLP ] IC-AI, 2002, pp:1257-1263 [Conf ] Pierangelo Dell'Acqua , Anna Lombardi , Luís Moniz Pereira MOdelling hybrid control systems with behaviour networks. [Citation Graph (0, 0)][DBLP ] ICINCO, 2005, pp:98-108 [Conf ] Pierangelo Dell'Acqua , Anna Lombardi , Luís Moniz Pereira Modelling adaptive controllers with evolving logic programs. [Citation Graph (0, 0)][DBLP ] ICINCO-ICSO, 2006, pp:107-112 [Conf ] Salvador Abreu , Luís Moniz Pereira , Philippe Codognet Improving Backward Execution in the Andorra Family of Languages. [Citation Graph (0, 0)][DBLP ] JICSLP, 1992, pp:384-398 [Conf ] João Alcântara , Carlos Viegas Damásio , Luís Moniz Pereira A Well-Founded Semantics with Disjunction. [Citation Graph (0, 0)][DBLP ] ICLP, 2005, pp:341-355 [Conf ] José Júlio Alferes , Luís Moniz Pereira On Logic Program Semantics with Two Kinds of Negation. [Citation Graph (0, 0)][DBLP ] JICSLP, 1992, pp:574-588 [Conf ] José Júlio Alferes , Luís Moniz Pereira , Terrance Swift Well-founded Abduction via Tabled Dual Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1999, pp:426-440 [Conf ] José C. Cunha , Maria C. Ferreira , Luís Moniz Pereira Programming in Delta Prolog. [Citation Graph (0, 0)][DBLP ] ICLP, 1989, pp:487-502 [Conf ] João Alexandre Leite , Luís Moniz Pereira Iterated Logic Program Updates. [Citation Graph (0, 0)][DBLP ] IJCSLP, 1998, pp:265-278 [Conf ] Luís Moniz Pereira , José Júlio Alferes Optative Reasoning with Scenario Semantics. [Citation Graph (0, 0)][DBLP ] ICLP, 1993, pp:601-615 [Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Nonmonotonic Reasoning with Well Founded Semantics. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:475-489 [Conf ] Luís Moniz Pereira , Miguel Calejo A Framework for Prolog Debugging. [Citation Graph (0, 0)][DBLP ] ICLP/SLP, 1988, pp:481-495 [Conf ] Luís Moniz Pereira , Luís Monteiro , José C. Cunha , Joaquim Nunes Aparício Delta Prolog: A Distributed Backtracking Extension with Events. [Citation Graph (0, 0)][DBLP ] ICLP, 1986, pp:69-83 [Conf ] Luís Moniz Pereira , António Porto A Prolog Implementation of a Large System on a Small Machine. [Citation Graph (0, 0)][DBLP ] ICLP, 1982, pp:225-229 [Conf ] Luís Moniz Pereira , Paul Sabatier , Eugenio Oliveira ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. [Citation Graph (0, 0)][DBLP ] ICLP, 1982, pp:200-209 [Conf ] Michael Schroeder , Iara de Almeida Móra , Luís Moniz Pereira A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. [Citation Graph (0, 0)][DBLP ] ICTAI, 1996, pp:436-437 [Conf ] José Ferreira de Castro , Luís Moniz Pereira Abductive Validation of a Power-Grid Expert System Diagnoser. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2004, pp:838-847 [Conf ] Peter Fröhlich , Wolfgang Nejdl , Michael Schroeder , Carlos Viegas Damásio , Luís Moniz Pereira Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 1999, pp:343-352 [Conf ] Gabriela Guimarães , Luís Moniz Pereira Inferring Definite-Clause Grammars to Express Multivariate Time Series. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2005, pp:332-341 [Conf ] Pedro Santana , Luís Moniz Pereira Emergence of Cooperation Through Mutual Preference Revision. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2006, pp:81-90 [Conf ] Pierangelo Dell'Acqua , Luís Moniz Pereira Preferring and Updating in Multi-Agents. [Citation Graph (0, 0)][DBLP ] INAP, 2001, pp:38-46 [Conf ] Pierangelo Dell'Acqua , Luís Moniz Pereira Preferring and Updating in Logic-Based Agents. [Citation Graph (0, 0)][DBLP ] INAP (LNCS Volume), 2001, pp:70-85 [Conf ] Pierangelo Dell'Acqua , Anna Lombardi , Luís Moniz Pereira A Logic-Based Approach to Model Supervisory Control Systems. [Citation Graph (0, 0)][DBLP ] ISMIS, 2006, pp:534-539 [Conf ] João Alcântara , Carlos Viegas Damásio , Luís Moniz Pereira Paraconsistent Logic Programs. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:345-356 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira Evolving Logic Programs. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:50-61 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira Hybrid Probabilistic Logic Programs as Residuated Logic Programs. [Citation Graph (0, 0)][DBLP ] JELIA, 2000, pp:57-72 [Conf ] José Júlio Alferes , Pierangelo Dell'Acqua , Luís Moniz Pereira A Compilation of Updates plus Preferences. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:62-73 [Conf ] José Júlio Alferes , Luís Moniz Pereira Updates plus Preferences. [Citation Graph (0, 0)][DBLP ] JELIA, 2000, pp:345-360 [Conf ] José Júlio Alferes , Luís Moniz Pereira Belief, Provability, and Logic Programs. [Citation Graph (0, 0)][DBLP ] JELIA, 1994, pp:106-121 [Conf ] José Júlio Alferes , Luís Moniz Pereira , Teodor C. Przymusinski Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP ] JELIA, 1996, pp:143-163 [Conf ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício Default Theory for Well Founded Semantics with Explicit Negation. [Citation Graph (0, 0)][DBLP ] JELIA, 1992, pp:339-356 [Conf ] José Júlio Alferes , João Alexandre Leite , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP ] KR, 1998, pp:98-111 [Conf ] Carlos Viegas Damásio , Wolfgang Nejdl , Luís Moniz Pereira REVISE: An Extended Logic Programming System for Revising Knowledge Bases. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:607-618 [Conf ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício Contradiction Removal Semantics with Explicit Negation. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:91-105 [Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Logic Programming for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Logic at Work, 1992, pp:107-121 [Conf ] José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira Computing Environment-Aware Agent Behaviours with Logic Program Updates. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2001, pp:216-232 [Conf ] João Alexandre Leite , Luís Moniz Pereira Generalizing Updates: From Models to Programs. [Citation Graph (0, 0)][DBLP ] LPKR, 1997, pp:224-246 [Conf ] Renwei Li , Luís Moniz Pereira , Verónica Dahl Refining Action Theories through Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] LPKR, 1997, pp:123-138 [Conf ] José Júlio Alferes , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski LUPS - A Language for Updating Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 1999, pp:162-176 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira Abduction over 3-Valued Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 1995, pp:29-42 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira A Paraconsistent Semantics with Contradiction Support Detection. [Citation Graph (0, 0)][DBLP ] LPNMR, 1997, pp:224-243 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira , Michael Schroeder REVISE: Logic Programming and Diagnosis. [Citation Graph (0, 0)][DBLP ] LPNMR, 1997, pp:354-363 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira , Terrance Swift Coherent Well-founded Annotated Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 1999, pp:262-276 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira Antitonic Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:379-392 [Conf ] João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira Multi-dimensional Dynamic Knowledge Representation. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:365-378 [Conf ] Luís Moniz Pereira , Carlos Viegas Damásio , José Júlio Alferes Diagnosis and Debugging as Contradiction Removal. [Citation Graph (0, 0)][DBLP ] LPNMR, 1993, pp:316-330 [Conf ] José Júlio Alferes , Luís Moniz Pereira An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. [Citation Graph (0, 0)][DBLP ] NMELP, 1994, pp:3-22 [Conf ] José Júlio Alferes , Luís Moniz Pereira Update-Programs Can Update Programs. [Citation Graph (0, 0)][DBLP ] NMELP, 1996, pp:110-131 [Conf ] Jürgen Dix , Luís Moniz Pereira , Teodor C. Przymusinski Prolegomena to Logic Programming for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] NMELP, 1996, pp:1-36 [Conf ] Pierangelo Dell'Acqua , Luís Moniz Pereira A Logical Framework for Modelling eMAS. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:241-255 [Conf ] José Júlio Alferes , Carlos Viegas Damásio , Luís Moniz Pereira Semantic Web Logic Programming Tools. [Citation Graph (0, 0)][DBLP ] PPSWR, 2003, pp:16-32 [Conf ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício A Practical Introduction to Well Founded Semantics. [Citation Graph (0, 0)][DBLP ] SCAI, 1991, pp:277-288 [Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Hypothetical Reasoning with Well Founded Semantics. [Citation Graph (0, 0)][DBLP ] SCAI, 1991, pp:289-300 [Conf ] Salvador Abreu , Luís Moniz Pereira A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994, pp:9-16 [Conf ] José Júlio Alferes , Carlos Viegas Damásio , Luís Moniz Pereira SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. [Citation Graph (0, 0)][DBLP ] SLP, 1994, pp:424-438 [Conf ] Jürgen Dix , Teodor C. Przymusinski , Luís Moniz Pereira Logic Programming and Knowledge Representation (LPKR'97). [Citation Graph (0, 0)][DBLP ] ILPS, 1997, pp:419-420 [Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Counterfactual Reasoning Based on Revising Assumptions. [Citation Graph (0, 0)][DBLP ] ISLP, 1991, pp:566-577 [Conf ] José Júlio Alferes , Luís Moniz Pereira Tabling Abduction. [Citation Graph (0, 0)][DBLP ] TAPD, 1998, pp:75-82 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira A General Tabulation Procedure for Extended Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] TAPD, 1998, pp:67-74 [Conf ] José Júlio Alferes , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski LUPSA language for updating logic programs. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2002, v:138, n:1-2, pp:87-116 [Journal ] Renwei Li , Luís Moniz Pereira Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:245-303 [Journal ] Carlos Viegas Damásio , Peter Fröhlich , Wolfgang Nejdl , Luís Moniz Pereira , Michael Schroeder Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2002, v:17, n:2, pp:187-202 [Journal ] José Júlio Alferes , Luís Moniz Pereira , Terrance Swift Abduction in Well-Founded Semantics and Generalized Stable Models [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Pierangelo Dell'Acqua , Ulf Nilsson , Luís Moniz Pereira A Logic Based Asynchronous Multi-Agent System. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal ] João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski A Language for Multi-dimensional Updates. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal ] José Júlio Alferes , Luís Moniz Pereira , Teodor C. Przymusinski Belief Revision in Non-Monotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1996, v:28, n:1-2, pp:1-22 [Journal ] José Júlio Alferes , Luís Moniz Pereira Belief, Provability, and Logic Programs. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal ] Renwei Li , Luís Moniz Pereira Knowledge Assimilation in Domains of Actions: A Possible Causes Approach. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1997, v:7, n:1, pp:- [Journal ] João Alcântara , Carlos Viegas Damásio , Luís Moniz Pereira An encompassing framework for Paraconsistent Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2005, v:3, n:1, pp:67-95 [Journal ] Pierangelo Dell'Acqua , Luís Moniz Pereira Common-sense reasoning as proto-scientific agent activity. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2004, v:2, n:4, pp:385-407 [Journal ] Claudio Delrieux , Luís Moniz Pereira Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2004, v:2, n:4, pp:381-384 [Journal ] Gregory R. Wheeler , Luís Moniz Pereira Epistemology and artificial intelligence. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2004, v:2, n:4, pp:469-493 [Journal ] José Júlio Alferes , Carlos Viegas Damásio , Luís Moniz Pereira A Logic Programming System for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1995, v:14, n:1, pp:93-147 [Journal ] José Júlio Alferes , Luís Moniz Pereira Preface: Logics for Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1998, v:20, n:1, pp:1-3 [Journal ] José Júlio Alferes , Luís Moniz Pereira , Teodor C. Przymusinski `Classical' Negation in Nonmonotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1998, v:20, n:1, pp:107-142 [Journal ] Helder Coelho , Luís Moniz Pereira Automated Reasoning in Geometry Theorem Proving with Prolog. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1986, v:2, n:4, pp:329-390 [Journal ] José Júlio Alferes , João Alexandre Leite , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski Dynamic updates of non-monotonic knowledge bases. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 2000, v:45, n:1-3, pp:43-70 [Journal ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Non-Monotonic Reasoning with Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1993, v:17, n:2/3&4, pp:227-263 [Journal ] Evelina Lamma , Fabrizio Riguzzi , Luís Moniz Pereira Strategies in Combined Learning via Logic Programs. [Citation Graph (0, 0)][DBLP ] Machine Learning, 2000, v:38, n:1-2, pp:63-87 [Journal ] Evelina Lamma , Fabrizio Riguzzi , Luís Moniz Pereira Belief Revision via Lamarckian Evolution. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 2003, v:21, n:3, pp:- [Journal ] Carlos Viegas Damásio , Luís Moniz Pereira Hybrid Probabilistic Logic Programs as Residuated Logic Programs. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2002, v:72, n:1, pp:113-138 [Journal ] Manuel Ojeda-Aciego , Gerhard Brewka , Inman P. de Guzmán , Luís Moniz Pereira Preface. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2002, v:72, n:1, pp:3-5 [Journal ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício Adding Closed World Assumptions to Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1994, v:122, n:1&2, pp:49-68 [Journal ] José Júlio Alferes , Luís Moniz Pereira , Terrance Swift Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. [Citation Graph (0, 0)][DBLP ] TPLP, 2004, v:4, n:4, pp:383-428 [Journal ] Luís Moniz Pereira , Gonçalo Lopes Prospective Logic Agents. [Citation Graph (0, 0)][DBLP ] EPIA Workshops, 2007, pp:73-86 [Conf ] Luís Moniz Pereira Gödel and Computability. [Citation Graph (0, 0)][DBLP ] EPIA Workshops, 2007, pp:63-72 [Conf ] Luís Moniz Pereira , Ari Saptawijaya Modelling Morality with Prospective Logic. [Citation Graph (0, 0)][DBLP ] EPIA Workshops, 2007, pp:99-111 [Conf ] Luís Moniz Pereira , Alexandre Miguel Pinto Approved Models for Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] LPAR, 2007, pp:454-468 [Conf ] Intention Recognition via Causal Bayes Networks Plus Plan Generation. [Citation Graph (, )][DBLP ] Representing a Computer Science Research Organization on the ACM Computing Classification System. [Citation Graph (, )][DBLP ] Architectural Design via Declarative Programming. [Citation Graph (, )][DBLP ] Incremental Answer Completion in the SLG-WAM. [Citation Graph (, )][DBLP ] Tight Semantics for Logic Programs. [Citation Graph (, )][DBLP ] Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy. [Citation Graph (, )][DBLP ] Layer Supported Models of Logic Programs. [Citation Graph (, )][DBLP ] Prospective Storytelling Agents. [Citation Graph (, )][DBLP ] On Preferring and Inspecting Abductive Models. [Citation Graph (, )][DBLP ] Layered Models Top-Down Querying of Normal Logic Programs. [Citation Graph (, )][DBLP ] A Hybrid Cluster-Lift Method for the Analysis of Research Activities. [Citation Graph (, )][DBLP ] Search in 0.010secs, Finished in 0.018secs