dblp.uni-trier.dewww.uni-trier.de

Luís Moniz Pereira Vis

Luíz Moniz Pereira

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
167EELuís Moniz Pereira, Han The Anh: Intention Recognition via Causal Bayes Networks Plus Plan Generation. EPIA 2009: 138-149
166EETerrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira: Incremental Answer Completion in the SLG-WAM. ICLP 2009: 519-524
165EELuís Moniz Pereira, Alexandre Miguel Pinto: Layer Supported Models of Logic Programs. LPNMR 2009: 450-456
164EELuís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes: On Preferring and Inspecting Abductive Models. PADL 2009: 1-15
163EELuís Moniz Pereira, Alexandre Miguel Pinto: Layered Models Top-Down Querying of Normal Logic Programs. PADL 2009: 254-268
2008
162EEBoris Mirkin, Susana Nascimento, Luís Moniz Pereira: Representing a Computer Science Research Organization on the ACM Computing Classification System. ICCS Supplement 2008: 57-65
161EELuís Moniz Pereira, Alexandre Miguel Pinto: Collaborative vs. Conflicting Learning, Evolution and Argumentation. Oppositional Concepts in Computational Intelligence 2008: 61-89
160EEGregory R. Wheeler, Luís Moniz Pereira: Methodological naturalism and epistemic internalism. Synthese 163(3): 315-328 (2008)
2007
159EELuís Moniz Pereira: Gödel and Computability. EPIA Workshops 2007: 63-72
158EELuís Moniz Pereira, Gonçalo Lopes: Prospective Logic Agents. EPIA Workshops 2007: 73-86
157EELuí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
155EELuís Moniz Pereira, Alexandre Miguel Pinto: Approved Models for Normal Logic Programs. LPAR 2007: 454-468
154EELuís Moniz Pereira, Gregory R. Wheeler: Introduction. J. Applied Logic 5(4): 575-576 (2007)
153EEPierangelo 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
151EEPedro Santana, Luís Moniz Pereira: Emergence of Cooperation Through Mutual Preference Revision. IEA/AIE 2006: 81-90
150EEPierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira: A Logic-Based Approach to Model Supervisory Control Systems. ISMIS 2006: 534-539
2005
149EEPierangelo Dell'Acqua, Luís Moniz Pereira: Preference Revision Via Declarative Debugging. EPIA 2005: 18-28
148EELuí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
146EEJoão Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Well-Founded Semantics with Disjunction. ICLP 2005: 341-355
145EEGabriela Guimarães, Luís Moniz Pereira: Inferring Definite-Clause Grammars to Express Multivariate Time Series. IEA/AIE 2005: 332-341
144EEJoã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
142EEJosé Ferreira de Castro, Luís Moniz Pereira: Abductive Validation of a Power-Grid Expert System Diagnoser. IEA/AIE 2004: 838-847
141EEClaudio 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)
140EEPierangelo Dell'Acqua, Luís Moniz Pereira: Common-sense reasoning as proto-scientific agent activity. J. Applied Logic 2(4): 385-407 (2004)
139EEGregory 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
136EEJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297
135EEPierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira: An Architecture for a Rational Reactive Agent. EPIA 2003: 379-393
134EEJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408
133EEPierangelo Dell'Acqua, Luís Moniz Pereira: A Logical Framework for Modelling eMAS. PADL 2003: 241-255
132EEJosé Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Semantic Web Logic Programming Tools. PPSWR 2003: 16-32
131EEJosé Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models CoRR cs.LO/0312057: (2003)
130EEEvelina 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
127EEMaurice 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
126EEJosé Júlio Alferes, Luís Moniz Pereira: Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond 2002: 382-412
125EEPierangelo 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
122EEJoão Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: Paraconsistent Logic Programs. JELIA 2002: 345-356
121EEJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61
120EEJosé 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)
118EEJosé 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)
117EEJoã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)
116EEPierangelo 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
113EEJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157
112EECarlos Viegas Damásio, Luís Moniz Pereira: Monotonic and Residuated Logic Programs. ECSQARU 2001: 748-759
111EEPierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira: Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182
110EEPierangelo Dell'Acqua, Luís Moniz Pereira: Enabling Agents to Update Their Knowledge and to Prefer. EPIA 2001: 183-190
109EEJoã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
108EEPierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Abductive Multi-agent Systems. ESAW 2001: 57-73
107EEEvelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi: Belief Revision by Lamarckian Evolution. EvoWorkshops 2001: 404-413
106EEPierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Multi-Agents. INAP 2001: 38-46
105EEPierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Logic-Based Agents. INAP (LNCS Volume) 2001: 70-85
104EEJosé 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
103EEJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378
102EECarlos 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
99EEJosé 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
97EEJoseph 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
96EEJosé Júlio Alferes, Heinrich Herre, Luís Moniz Pereira: Partial Models of Extended Generalized Logic Programs. Computational Logic 2000: 149-163
95EEJosé Júlio Alferes, Luís Moniz Pereira: Updates plus Preferences. JELIA 2000: 345-360
94EECarlos 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
88EEJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPS - A Language for Updating Logic Programs. LPNMR 1999: 162-176
87EECarlos 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
82EECarlos Viegas Damásio, Luís Moniz Pereira: A General Tabulation Procedure for Extended Constraint Logic Programs. TAPD 1998: 67-74
81EEJosé 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
74EERenwei Li, Luís Moniz Pereira, Verónica Dahl: Refining Action Theories through Abductive Logic Programming. LPKR 1997: 123-138
73EEJoã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
62EECarlos 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
60EEJosé 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
46EEJosé 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
39EEJosé Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part I. ELP 1993: 11-23
38EEJosé Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part II. ELP 1993: 268-281
37EESalvador 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
30EELuí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
28EELuí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
1EELuís Moniz Pereira, António Porto: Selective Bachtracking for Logic Programs. CADE 1980: 306-317

Coauthor Index

1Salvador Abreu [27] [37] [42]
2João Alcântara [122] [143] [144] [146]
3José Júlio Alferes [15] [16] [17] [18] [19] [20] [22] [24] [25] [26] [28] [29] [30] [31] [32] [33] [34] [35] [36] [38] [39] [40] [41] [43] [44] [46] [47] [49] [50] [53] [55] [57] [58] [60] [67] [68] [79] [80] [81] [83] [85] [88] [90] [91] [93] [95] [96] [98] [99] [103] [104] [109] [113] [117] [118] [120] [121] [126] [129] [131] [132] [134] [136] [137] [138]
4Han The Anh [167]
5Joaquim Nunes Aparício [9] [14] [15] [16] [17] [18] [19] [20] [22] [24] [25] [28] [29] [32] [41]
6Pedro Barahona [23]
7Gerhard Brewka [100] [114]
8Antonio Brogi [104] [121] [134] [136] [137]
9Maurice Bruynooghe [5] [127]
10Luís Caires [30]
11Miguel Calejo [11] [13] [21]
12José Ferreira de Castro [142]
13Philippe Codognet [27]
14Helder Coelho [8]
15José C. Cunha [9] [12]
16Verónica Dahl [74] [101]
17Carlos Viegas Damásio [34] [36] [40] [43] [45] [47] [50] [51] [54] [62] [71] [72] [82] [87] [89] [94] [97] [102] [112] [115] [119] [122] [132] [143] [144] [146]
18Pierangelo Dell'Acqua [105] [106] [108] [110] [111] [116] [120] [125] [128] [133] [135] [140] [147] [149] [150] [152] [153] [164]
19Claudio Delrieux [141]
20Jürgen Dix [56] [59] [75] [78] [86]
21Phan Minh Dung [33]
22Maarten H. van Emden [127]
23Mattias Engberg [135]
24Maria C. Ferreira [12]
25Peter Fröhlich [89] [119]
26Ulrich Furbach [101]
27Joseph Gartner [97]
28Gabriela Guimarães [145]
29Inmaculada Perez de Guzmán (Inman P. de Guzmán) [100] [114]
30Heinrich Herre [96]
31Manfred Kerber [101]
32Evelina Lamma [92] [107] [123] [130]
33Kung-Kiu Lau [101]
34João Leite (João Alexandre Leite) [73] [83] [84] [85] [93] [98] [103] [104] [109] [111] [113] [117] [121] [129] [134] [136] [137]
35Renwei Li [55] [63] [64] [65] [66] [69] [70] [74] [76]
36John W. Lloyd [101]
37Anna Lombardi [147] [150] [152]
38Gonçalo Lopes [158] [164]
39Craig MacNish [48]
40Boris Mirkin [162]
41Luís Monteiro [9]
42Iara de Almeida Móra [61] [77]
43Susana Nascimento [162]
44Roger Nasr [7]
45Wolfgang Nejdl [45] [89] [119]
46Ulf Nilsson [116] [128]
47Manuel Ojeda-Aciego [100] [114]
48Eugénio C. Oliveira (Eugenio Oliveira) [4]
49Ewa Orlowska [67]
50Catuscia Palamidessi [101]
51David Pearce [48]
52Alexandre Miguel Pinto [148] [155] [161] [163] [165] [166]
53António Porto [1] [3] [23]
54Halina Przymusinska [83] [85] [88] [91] [93] [99] [117] [118] [129]
55Teodor C. Przymusinski [53] [56] [57] [59] [60] [75] [78] [79] [83] [85] [86] [88] [91] [93] [99] [117] [118] [129]
56Paulo Quaresma [91] [99]
57Fabrizio Riguzzi [92] [107] [123] [130]
58Paul Sabatier [4]
59Yehoshua Sagiv [101]
60Pedro Santana [151]
61Ari Saptawijaya [157]
62Michael Schroeder [61] [71] [77] [89] [119]
63Jörg H. Siekmann [127]
64Peter J. Stuckey [101]
65Terrance Swift [87] [90] [97] [131] [138] [166]
66Allen Tien [97]
67Ruben Duarte Viegas [156]
68Aida Vitória [125]
69Gregory R. Wheeler [139] [154] [160]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)