Luís Moniz Pereira Home Page Coauthor index DBLP Vis pubzone.org

Luíz Moniz Pereira

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

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

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)