![]() | ![]() |
Luíz Moniz Pereira
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
164 | EE | Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes: On Preferring and Inspecting Abductive Models. PADL 2009: 1-15 |
163 | EE | Luís Moniz Pereira, Alexandre Miguel Pinto: Layered Models Top-Down Querying of Normal Logic Programs. PADL 2009: 254-268 |
2008 | ||
162 | EE | Boris Mirkin, Susana Nascimento, Luís Moniz Pereira: Representing a Computer Science Research Organization on the ACM Computing Classification System. ICCS Supplement 2008: 57-65 |
161 | EE | Luís Moniz Pereira, Alexandre Miguel Pinto: Collaborative vs. Conflicting Learning, Evolution and Argumentation. Oppositional Concepts in Computational Intelligence 2008: 61-89 |
160 | EE | Gregory R. Wheeler, Luís Moniz Pereira: Methodological naturalism and epistemic internalism. Synthese 163(3): 315-328 (2008) |
2007 | ||
159 | EE | Luís Moniz Pereira: Gödel and Computability. EPIA Workshops 2007: 63-72 |
158 | EE | Luís Moniz Pereira, Gonçalo Lopes: Prospective Logic Agents. EPIA Workshops 2007: 73-86 |
157 | EE | Luís Moniz Pereira, Ari Saptawijaya: Modelling Morality with Prospective Logic. EPIA Workshops 2007: 99-111 |
156 | Luís Moniz Pereira, Ruben Duarte Viegas: Architectural Design via Declarative Programming. ICEIS (2) 2007: 363-369 | |
155 | EE | Luís Moniz Pereira, Alexandre Miguel Pinto: Approved Models for Normal Logic Programs. LPAR 2007: 454-468 |
154 | EE | Luís Moniz Pereira, Gregory R. Wheeler: Introduction. J. Applied Logic 5(4): 575-576 (2007) |
153 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira: Preferential theory revision. J. Applied Logic 5(4): 586-601 (2007) |
2006 | ||
152 | Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira: Modelling adaptive controllers with evolving logic programs. ICINCO-ICSO 2006: 107-112 | |
151 | EE | Pedro Santana, Luís Moniz Pereira: Emergence of Cooperation Through Mutual Preference Revision. IEA/AIE 2006: 81-90 |
150 | EE | Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira: A Logic-Based Approach to Model Supervisory Control Systems. ISMIS 2006: 534-539 |
2005 | ||
149 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira: Preference Revision Via Declarative Debugging. EPIA 2005: 18-28 |
148 | EE | Luís Moniz Pereira, Alexandre Miguel Pinto: Revised Stable Models - A Semantics for Logic Programs. EPIA 2005: 29-42 |
147 | Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira: MOdelling hybrid control systems with behaviour networks. ICINCO 2005: 98-108 | |
146 | EE | João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Well-Founded Semantics with Disjunction. ICLP 2005: 341-355 |
145 | EE | Gabriela Guimarães, Luís Moniz Pereira: Inferring Definite-Clause Grammars to Express Multivariate Time Series. IEA/AIE 2005: 332-341 |
144 | EE | João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: An encompassing framework for Paraconsistent Logic Programs. J. Applied Logic 3(1): 67-95 (2005) |
2004 | ||
143 | João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. ECAI 2004: 951-952 | |
142 | EE | José Ferreira de Castro, Luís Moniz Pereira: Abductive Validation of a Power-Grid Expert System Diagnoser. IEA/AIE 2004: 838-847 |
141 | EE | Claudio Delrieux, Luís Moniz Pereira: Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications. J. Applied Logic 2(4): 381-384 (2004) |
140 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira: Common-sense reasoning as proto-scientific agent activity. J. Applied Logic 2(4): 385-407 (2004) |
139 | EE | Gregory R. Wheeler, Luís Moniz Pereira: Epistemology and artificial intelligence. J. Applied Logic 2(4): 469-493 (2004) |
138 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. TPLP 4(4): 383-428 (2004) | |
2003 | ||
137 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216 | |
136 | EE | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297 |
135 | EE | Pierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira: An Architecture for a Rational Reactive Agent. EPIA 2003: 379-393 |
134 | EE | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408 |
133 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira: A Logical Framework for Modelling eMAS. PADL 2003: 241-255 |
132 | EE | José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Semantic Web Logic Programming Tools. PPSWR 2003: 16-32 |
131 | EE | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models CoRR cs.LO/0312057: (2003) |
130 | EE | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira: Belief Revision via Lamarckian Evolution. New Generation Comput. 21(3): (2003) |
2002 | ||
129 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. CLIMA III 2002: 19-34 | |
128 | Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. CLIMA III 2002: 63-78 | |
127 | EE | Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden: A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond 2002: 1-4 |
126 | EE | José Júlio Alferes, Luís Moniz Pereira: Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond 2002: 382-412 |
125 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira, Aida Vitória: User Preference Information in Query Answering. FQAS 2002: 163-173 |
124 | Luís Moniz Pereira: On Philosophical Incidences of Logic Programming. IC-AI 2002: 1257-1263 | |
123 | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira: Belief Revision via Lamarckian Evolution. IC-AI 2002: 1264-1270 | |
122 | EE | João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: Paraconsistent Logic Programs. JELIA 2002: 345-356 |
121 | EE | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61 |
120 | EE | José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira: A Compilation of Updates plus Preferences. JELIA 2002: 62-73 |
119 | 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. Appl. Intell. 17(2): 187-202 (2002) | |
118 | EE | José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPSA language for updating logic programs. Artif. Intell. 138(1-2): 87-116 (2002) |
117 | EE | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
116 | EE | Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
115 | Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72(1): 113-138 (2002) | |
114 | Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira: Preface. Studia Logica 72(1): 3-5 (2002) | |
2001 | ||
113 | EE | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157 |
112 | EE | Carlos Viegas Damásio, Luís Moniz Pereira: Monotonic and Residuated Logic Programs. ECSQARU 2001: 748-759 |
111 | EE | Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira: Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182 |
110 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira: Enabling Agents to Update Their Knowledge and to Prefer. EPIA 2001: 183-190 |
109 | EE | 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. EPIA 2001: 276-289 |
108 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Abductive Multi-agent Systems. ESAW 2001: 57-73 |
107 | EE | Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi: Belief Revision by Lamarckian Evolution. EvoWorkshops 2001: 404-413 |
106 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Multi-Agents. INAP 2001: 38-46 |
105 | EE | Pierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Logic-Based Agents. INAP (LNCS Volume) 2001: 70-85 |
104 | EE | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR 2001: 216-232 |
103 | EE | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378 |
102 | EE | Carlos Viegas Damásio, Luís Moniz Pereira: Antitonic Logic Programs. LPNMR 2001: 379-392 |
2000 | ||
101 | John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings Springer 2000 | |
100 | Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings Springer 2000 | |
99 | EE | José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma: Dynamic Knowledge Representation and Its Applications. AIMSA 2000: 1-10 |
98 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Logic Programming. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 17-26 | |
97 | EE | Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira: Psychiatric Diagnosis from the Viewpoint of Computational Logic. Computational Logic 2000: 1362-1376 |
96 | EE | José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira: Partial Models of Extended Generalized Logic Programs. Computational Logic 2000: 149-163 |
95 | EE | José Júlio Alferes, Luís Moniz Pereira: Updates plus Preferences. JELIA 2000: 345-360 |
94 | EE | Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. JELIA 2000: 57-72 |
93 | José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3): 43-70 (2000) | |
92 | Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira: Strategies in Combined Learning via Logic Programs. Machine Learning 38(1-2): 63-87 (2000) | |
1999 | ||
91 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma: Preliminary exploration on actions as updates. APPIA-GULP-PRODE 1999: 259-272 | |
90 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440 | |
89 | 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. IEA/AIE 1999: 343-352 | |
88 | EE | José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPS - A Language for Updating Logic Programs. LPNMR 1999: 162-176 |
87 | EE | Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276 |
1998 | ||
86 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers Springer 1998 | |
85 | José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. APPIA-GULP-PRODE 1998: 393-408 | |
84 | João Alexandre Leite, Luís Moniz Pereira: Iterated Logic Program Updates. IJCSLP 1998: 265-278 | |
83 | José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111 | |
82 | EE | Carlos Viegas Damásio, Luís Moniz Pereira: A General Tabulation Procedure for Extended Constraint Logic Programs. TAPD 1998: 67-74 |
81 | EE | José Júlio Alferes, Luís Moniz Pereira: Tabling Abduction. TAPD 1998: 75-82 |
80 | José Júlio Alferes, Luís Moniz Pereira: Preface: Logics for Artificial Intelligence. J. Autom. Reasoning 20(1): 1-3 (1998) | |
79 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: `Classical' Negation in Nonmonotonic Reasoning and Logic Programming. J. Autom. Reasoning 20(1): 107-142 (1998) | |
1997 | ||
78 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers Springer 1997 | |
77 | Michael Schroeder, Iara de Almeida Móra, Luís Moniz Pereira: A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. ATAL 1997: 293-307 | |
76 | Luís Moniz Pereira, Renwei Li: Reasoning about Actions with Abductive Logic Programming. EPIA 1997: 361-388 | |
75 | Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira: Logic Programming and Knowledge Representation (LPKR'97). ILPS 1997: 419-420 | |
74 | EE | Renwei Li, Luís Moniz Pereira, Verónica Dahl: Refining Action Theories through Abductive Logic Programming. LPKR 1997: 123-138 |
73 | EE | João Alexandre Leite, Luís Moniz Pereira: Generalizing Updates: From Models to Programs. LPKR 1997: 224-246 |
72 | Carlos Viegas Damásio, Luís Moniz Pereira: A Paraconsistent Semantics with Contradiction Support Detection. LPNMR 1997: 224-243 | |
71 | Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder: REVISE: Logic Programming and Diagnosis. LPNMR 1997: 354-363 | |
70 | Renwei Li, Luís Moniz Pereira: Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. Ann. Math. Artif. Intell. 21(2-4): 245-303 (1997) | |
69 | Renwei Li, Luís Moniz Pereira: Knowledge Assimilation in Domains of Actions: A Possible Causes Approach. Journal of Applied Non-Classical Logics 7(1): (1997) | |
1996 | ||
68 | José Júlio Alferes, Luís Moniz Pereira: Reasoning with Logic Programming Springer 1996 | |
67 | José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings Springer 1996 | |
66 | Renwei Li, Luís Moniz Pereira: What Is Believed Is What Is Explained (Sometimes). AAAI/IAAI, Vol. 1 1996: 550-555 | |
65 | Renwei Li, Luís Moniz Pereira: Reasoning about Concurrent Actions and Observations. APPIA-GULP-PRODE 1996: 549-560 | |
64 | Renwei Li, Luís Moniz Pereira: Knowledge-Based Situated Agents Among Us: A Preliminary Report. ATAL 1996: 375-389 | |
63 | Renwei Li, Luís Moniz Pereira: Temporal Reasoning with Abductive Logic Programming. ECAI 1996: 13-17 | |
62 | Carlos Viegas Damásio, Luís Moniz Pereira: Default Negated Conclusions: Why Not? ELP 1996: 103-117 | |
61 | Michael Schroeder, Iara de Almeida Móra, Luís Moniz Pereira: A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. ICTAI 1996: 436-437 | |
60 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. JELIA 1996: 143-163 | |
59 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Prolegomena to Logic Programming for Non-monotonic Reasoning. NMELP 1996: 1-36 | |
58 | José Júlio Alferes, Luís Moniz Pereira: Update-Programs Can Update Programs. NMELP 1996: 110-131 | |
57 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning and Logic Programming. Fundam. Inform. 28(1-2): 1-22 (1996) | |
1995 | ||
56 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers Springer 1995 | |
55 | José Júlio Alferes, Renwei Li, Luís Moniz Pereira: Non-Atomic Actions in the Situation Calculus. EPIA 1995: 273-284 | |
54 | Carlos Viegas Damásio, Luís Moniz Pereira: A Model Theory for Paraconsistent Logic Programming. EPIA 1995: 377-386 | |
53 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning. EPIA 1995: 40-56 | |
52 | Luís Moniz Pereira: Parallel Logic Programming with Extensions. GULP-PRODE 1995: 71-88 | |
51 | Carlos Viegas Damásio, Luís Moniz Pereira: Abduction over 3-Valued Extended Logic Programs. LPNMR 1995: 29-42 | |
50 | José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reasoning 14(1): 93-147 (1995) | |
49 | José Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. Journal of Applied Non-Classical Logics 5(1): (1995) | |
1994 | ||
48 | Craig MacNish, David Pearce, Luís Moniz Pereira: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings Springer 1994 | |
47 | José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI 1994: 140-144 | |
46 | José Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. JELIA 1994: 106-121 | |
45 | Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira: REVISE: An Extended Logic Programming System for Revising Knowledge Bases. KR 1994: 607-618 | |
44 | José Júlio Alferes, Luís Moniz Pereira: An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. NMELP 1994: 3-22 | |
43 | José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. SLP 1994: 424-438 | |
42 | Salvador Abreu, Luís Moniz Pereira: 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 1994: 9-16 | |
41 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Adding Closed World Assumptions to Well-Founded Semantics. Theor. Comput. Sci. 122(1&2): 49-68 (1994) | |
1993 | ||
40 | Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Debugging by Diagnosing Assumptions. AADEBUG 1993: 58-74 | |
39 | José Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part I. ELP 1993: 11-23 | |
38 | José Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part II. ELP 1993: 268-281 | |
37 | Salvador Abreu, Luís Moniz Pereira: Design for AKL with Intelligent Pruning. ELP 1993: 3-10 | |
36 | Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA 1993: 183-197 | |
35 | Luís Moniz Pereira, José Júlio Alferes: Optative Reasoning with Scenario Semantics. ICLP 1993: 601-615 | |
34 | Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330 | |
33 | José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira: Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348 | |
32 | Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Non-Monotonic Reasoning with Logic Programming. J. Log. Program. 17(2/3&4): 227-263 (1993) | |
1992 | ||
31 | Luís Moniz Pereira, José Júlio Alferes: Well Founded Semantics for Logic Programs with Explicit Negation. ECAI 1992: 102-106 | |
30 | Luís Moniz Pereira, Luís Caires, José Júlio Alferes: SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23 | |
29 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Adding Closed World Assumptions to Well Founded Semantics. FGCS 1992: 562-569 | |
28 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Default Theory for Well Founded Semantics with Explicit Negation. JELIA 1992: 339-356 | |
27 | Salvador Abreu, Luís Moniz Pereira, Philippe Codognet: Improving Backward Execution in the Andorra Family of Languages. JICSLP 1992: 384-398 | |
26 | José Júlio Alferes, Luís Moniz Pereira: On Logic Program Semantics with Two Kinds of Negation. JICSLP 1992: 574-588 | |
25 | Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Logic Programming for Non-Monotonic Reasoning. Logic at Work 1992: 107-121 | |
24 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal Semantics with Explicit Negation. Logic at Work 1992: 91-105 | |
1991 | ||
23 | Pedro Barahona, Luís Moniz Pereira, António Porto: EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings Springer 1991 | |
22 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: The Extended Stable Models of Contradiction Removal Semantics. EPIA 1991: 105-119 | |
21 | Miguel Calejo, Luís Moniz Pereira: Declarative Source Debugging. EPIA 1991: 237-249 | |
20 | Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Nonmonotonic Reasoning with Well Founded Semantics. ICLP 1991: 475-489 | |
19 | Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Derivation Procedures for Extended Stable Models. IJCAI 1991: 863-869 | |
18 | Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Counterfactual Reasoning Based on Revising Assumptions. ISLP 1991: 566-577 | |
17 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal within Well Founded Semantics. LPNMR 1991: 105-119 | |
16 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: A Practical Introduction to Well Founded Semantics. SCAI 1991: 277-288 | |
15 | Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Hypothetical Reasoning with Well Founded Semantics. SCAI 1991: 289-300 | |
1989 | ||
14 | Luís Moniz Pereira, Joaquim Nunes Aparício: Relevant Counterfactuals. EPIA 1989: 107-118 | |
13 | Luís Moniz Pereira, Miguel Calejo: Algorithmic Debugging of Prolog Side-Effects. EPIA 1989: 151-162 | |
12 | José C. Cunha, Maria C. Ferreira, Luís Moniz Pereira: Programming in Delta Prolog. ICLP 1989: 487-502 | |
1988 | ||
11 | Luís Moniz Pereira, Miguel Calejo: A Framework for Prolog Debugging. ICLP/SLP 1988: 481-495 | |
1986 | ||
10 | Luís Moniz Pereira: Rational Debugging in Logic Programming. ICLP 1986: 203-210 | |
9 | Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício: Delta Prolog: A Distributed Backtracking Extension with Events. ICLP 1986: 69-83 | |
8 | Helder Coelho, Luís Moniz Pereira: Automated Reasoning in Geometry Theorem Proving with Prolog. J. Autom. Reasoning 2(4): 329-390 (1986) | |
1984 | ||
7 | Luís Moniz Pereira, Roger Nasr: Delta-Prolog: A Distributed Logic Programming Language. FGCS 1984: 283-291 | |
6 | Luís Moniz Pereira: Logic Control with Logic. Implementations of Prolog 1984: 177-193 | |
5 | Maurice Bruynooghe, Luís Moniz Pereira: Deduction Revision by Intelligent Backtracking. Implementations of Prolog 1984: 194-215 | |
1982 | ||
4 | Luís Moniz Pereira, Paul Sabatier, Eugenio Oliveira: ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. ICLP 1982: 200-209 | |
3 | Luís Moniz Pereira, António Porto: A Prolog Implementation of a Large System on a Small Machine. ICLP 1982: 225-229 | |
2 | Luís Moniz Pereira: Logic Control with Logic. ICLP 1982: 9-18 | |
1980 | ||
1 | Luís Moniz Pereira, António Porto: Selective Bachtracking for Logic Programs. CADE 1980: 306-317 |