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

Luíz Moniz Pereira

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han The Anh, Luís Moniz Pereira: State-of-the-art of intention recognition and its use in decision making. AI Commun. 26(2): 237-246 (2013)
2012
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Book Review. AI Commun. 25(4): 361-364 (2012)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han The Anh, Luís Moniz Pereira, Francisco C. Santos: Corpus-Based Intention Recognition in Cooperation Dilemmas. Artificial Life 18(4): 365-383 (2012)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Turing is among us. J. Log. Comput. 22(6): 1257-1277 (2012)
c142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han The Anh, Luís Moniz Pereira, Francisco C. Santos: The emergence of commitments and cooperation. AAMAS 2012: 559-566
c141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han The Anh, Luís Moniz Pereira, Francisco C. Santos: Intention recognition, commitment and the evolution of cooperation. IEEE Congress on Evolutionary Computation 2012: 1-8
c140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han The Anh, Ari Saptawijaya, Luís Moniz Pereira: Moral Reasoning under Uncertainty. LPAR 2012: 212-227
p6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Evolutionary Psychology and the Unity of Sciences: Towards an Evolutionary Epistemology. Special Sciences and the Unity of Science 2012: 163-175
p5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Evolutionary Tolerance. Philosophy and Cognitive Science 2012: 263-287
2011
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira: Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. 62(3-4): 161-186 (2011)
c139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han The Anh, Luís Moniz Pereira: Intention-Based Decision Making with Evolution Prospection. EPIA 2011: 254-267
c138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han The Anh, Luís Moniz Pereira, Francisco C. Santos: The Role of Intention Recognition in the Evolution of Cooperative Behavior. IJCAI 2011: 1684-1689
c137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira: Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. RuleML Europe 2011: 250-265
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexandre Miguel Pinto, Luís Moniz Pereira: Each normal logic program has a 2-valued Minimal Hypotheses semantics. CoRR abs/1108.5766 (2011)
2010
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Carroline Kencana Ramli: Modelling decision making with probabilistic causation. Intelligent Decision Technologies 4(2): 133-148 (2010)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boris Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira: Building Fuzzy Thematic Clusters and Mapping Them to Higher Ranks in a Taxonomy. Int. J. Software and Informatics 4(3): 257-275 (2010)
c136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boris Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira: A Hybrid Cluster-Lift Method for the Analysis of Research Activities. HAIS (1) 2010: 152-161
c135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Tight Semantics for Logic Programs. ICLP (Technical Communications) 2010: 134-143
c134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Han The Anh, Luís Moniz Pereira: Proactive Intention Recognition for Home Ambient Intelligence. Intelligent Environments (Workshops) 2010: 91-100
c133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boris Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira: Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy. KSEM 2010: 329-340
c132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gonçalo Lopes, Luís Moniz Pereira: Prospective Storytelling Agents. PADL 2010: 294-296
p4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boris 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
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Han The Anh: Evolution prospection in decision making. Intelligent Decision Technologies 3(3): 157-171 (2009)
c131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Han The Anh: Intention Recognition via Causal Bayes Networks Plus Plan Generation. EPIA 2009: 138-149
c130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira: Incremental Answer Completion in the SLG-WAM. ICLP 2009: 519-524
c129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Stabel Model Implementation of Layer Supported Models by Program Transformation. INAP 2009: 70-84
c128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Adaptive Reasoning for Cooperative Agents. INAP 2009: 102-116
c127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Han The Anh: Elder Care via Intention Recognition and Evolution Prospection. INAP 2009: 170-187
c126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Stable versus Layered Logic Program Semantics. LA-NMR 2009: 3-27
c125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Layer Supported Models of Logic Programs. LPNMR 2009: 450-456
c124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes: On Preferring and Inspecting Abductive Models. PADL 2009: 1-15
c123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Layered Models Top-Down Querying of Normal Logic Programs. PADL 2009: 254-268
2008
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory R. Wheeler, Luís Moniz Pereira: Methodological naturalism and epistemic internalism. Synthese 163(3): 315-328 (2008)
c122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
p3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Collaborative vs. Conflicting Learning, Evolution and Argumentation. Oppositional Concepts in Computational Intelligence 2008: 61-89
2007
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Gregory R. Wheeler: Introduction. J. Applied Logic 5(4): 575-576 (2007)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira: Preferential theory revision. J. Applied Logic 5(4): 586-601 (2007)
c121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Gödel and Computability. EPIA Workshops 2007: 63-72
c120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Gonçalo Lopes: Prospective Logic Agents. EPIA Workshops 2007: 73-86
c119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Ari Saptawijaya: Modelling Morality with Prospective Logic. EPIA Workshops 2007: 99-111
c118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Ruben Duarte Viegas: Architectural Design via Declarative Programming. ICEIS (2) 2007: 363-369
c117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Approved Models for Normal Logic Programs. LPAR 2007: 454-468
2006
c116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira: Modelling adaptive controllers with evolving logic programs. ICINCO-ICSO 2006: 107-112
c115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Santana, Luís Moniz Pereira: Emergence of Cooperation Through Mutual Preference Revision. IEA/AIE 2006: 81-90
c114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira: A Logic-Based Approach to Model Supervisory Control Systems. ISMIS 2006: 534-539
2005
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira: Preference Revision Via Declarative Debugging. EPIA 2005: 18-28
c112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Alexandre Miguel Pinto: Revised Stable Models - A Semantics for Logic Programs. EPIA 2005: 29-42
c111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira: MOdelling hybrid control systems with behaviour networks. ICINCO 2005: 98-108
c110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Well-Founded Semantics with Disjunction. ICLP 2005: 341-355
c109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gabriela Guimarães, Luís Moniz Pereira: Inferring Definite-Clause Grammars to Express Multivariate Time Series. IEA/AIE 2005: 332-341
2004
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira: Common-sense reasoning as proto-scientific agent activity. J. Applied Logic 2(4): 385-407 (2004)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregory R. Wheeler, Luís Moniz Pereira: Epistemology and artificial intelligence. J. Applied Logic 2(4): 469-493 (2004)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. ECAI 2004: 951-952
c107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Ferreira de Castro, Luís Moniz Pereira: Abductive Validation of a Power-Grid Expert System Diagnoser. IEA/AIE 2004: 838-847
2003
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira: Belief Revision via Lamarckian Evolution. New Generation Comput. 21(3): 247-275 (2003)
c106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297
c104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Mattias Engberg, Luís Moniz Pereira: An Architecture for a Rational Reactive Agent. EPIA 2003: 379-393
c103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira: A Logical Framework for Modelling eMAS. PADL 2003: 241-255
c101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Semantic Web Logic Programming Tools. PPSWR 2003: 16-32
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models. CoRR cs.LO/0312057 (2003)
2002
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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): 20-38 (2002)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. Electr. Notes Theor. Comput. Sci. 70(5): 72-88 (2002)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira: Preface. Studia Logica 72(1): 3-5 (2002)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72(1): 113-138 (2002)
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond 2002: 382-412
c98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. CLIMA 2002: 19-34
c97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. CLIMA 2002: 63-78
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira, Aida Vitória: User Preference Information in Query Answering. FQAS 2002: 163-173
c95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: On Philosophical Incidences of Logic Programming. IC-AI 2002: 1257-1263
c94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira: Belief Revision via Lamarckian Evolution. IC-AI 2002: 1264-1270
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira: A Compilation of Updates plus Preferences. JELIA 2002: 62-73
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: Paraconsistent Logic Programs. JELIA 2002: 345-356
2001
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: Monotonic and Residuated Logic Programs. ECSQARU 2001: 748-759
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira: Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira: Enabling Agents to Update Their Knowledge and to Prefer. EPIA 2001: 183-190
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Abductive Multi-agent Systems. ESAW 2001: 57-73
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi: Belief Revision by Lamarckian Evolution. EvoWorkshops 2001: 404-413
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Multi-Agents. INAP 2001: 38-46
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pierangelo Dell'Acqua, Luís Moniz Pereira: Preferring and Updating in Logic-Based Agents. INAP (LNCS Volume) 2001: 70-85
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: Antitonic Logic Programs. LPNMR 2001: 379-392
2000
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Evelina Lamma, Fabrizio Riguzzi, Luís Moniz Pereira: Strategies in Combined Learning via Logic Programs. Machine Learning 38(1-2): 63-87 (2000)
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira: Partial Models of Extended Generalized Logic Programs. Computational Logic 2000: 149-163
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. JELIA 2000: 57-72
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Updates plus Preferences. JELIA 2000: 345-360
e8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, isbn 3-540-67797-6
e7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Lecture Notes in Computer Science 1919, Springer 2000, isbn 3-540-41131-3
1999
c72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPS - A Language for Updating Logic Programs. LPNMR 1999: 162-176
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276
1998
j10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Preface: Logics for Artificial Intelligence. J. Autom. Reasoning 20(1): 1-3 (1998)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Alexandre Leite, Luís Moniz Pereira: Iterated Logic Program Updates. IJCSLP 1998: 265-278
c65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: A General Tabulation Procedure for Extended Constraint Logic Programs. TAPD 1998: 67-74
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Tabling Abduction. TAPD 1998: 75-82
e6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.): Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers. Lecture Notes in Computer Science 1471, Springer 1998, isbn 3-540-64958-1
1997
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Renwei Li, Luís Moniz Pereira: Knowledge Assimilation in Domains of Actions: A Possible Causes Approach. Journal of Applied Non-Classical Logics 7(1): 77-116 (1997)
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Renwei Li: Reasoning about Actions with Abductive Logic Programming. EPIA 1997: 361-388
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Renwei Li, Luís Moniz Pereira, Verónica Dahl: Refining Action Theories through Abductive Logic Programming. LPKR 1997: 123-138
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Alexandre Leite, Luís Moniz Pereira: Generalizing Updates: From Models to Programs. LPKR 1997: 224-246
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: A Paraconsistent Semantics with Contradiction Support Detection. LPNMR 1997: 224-243
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder: REVISE: Logic Programming and Diagnosis. LPNMR 1997: 354-363
c56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira: Logic Programming and Knowledge Representation (LPKR'97). ILPS 1997: 419-420
e5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.): Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers. Lecture Notes in Computer Science 1216, Springer 1997, isbn 3-540-62843-6
1996
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Reasoning with Logic Programming. Lecture Notes in Computer Science 1111, Springer 1996, isbn 3-540-61488-5
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Renwei Li, Luís Moniz Pereira: What Is Believed Is What Is Explained (Sometimes). AAAI/IAAI, Vol. 1 1996: 550-555
c54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Renwei Li, Luís Moniz Pereira: Reasoning about Concurrent Actions and Observations. APPIA-GULP-PRODE 1996: 549-560
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Renwei Li, Luís Moniz Pereira: Knowledge-Based Situated Agents Among Us: A Preliminary Report. ATAL 1996: 375-389
c52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Renwei Li, Luís Moniz Pereira: Temporal Reasoning with Abductive Logic Programming. ECAI 1996: 13-17
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: Default Negated Conclusions: Why Not? ELP 1996: 103-117
c50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Prolegomena to Logic Programming for Non-monotonic Reasoning. NMELP 1996: 1-36
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Update-Programs Can Update Programs. NMELP 1996: 110-131
e4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Lecture Notes in Computer Science 1126, Springer 1996, isbn 3-540-61630-6
1995
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. Journal of Applied Non-Classical Logics 5(1): 31-50 (1995)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Parallel Logic Programming with Extensions. GULP-PRODE 1995: 71-88
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning. EPIA 1995: 40-56
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Renwei Li, Luís Moniz Pereira: Non-Atomic Actions in the Situation Calculus. EPIA 1995: 273-284
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: A Model Theory for Paraconsistent Logic Programming. EPIA 1995: 377-386
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Luís Moniz Pereira: Abduction over 3-Valued Extended Logic Programs. LPNMR 1995: 29-42
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.): Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers. Lecture Notes in Computer Science 927, Springer 1995, isbn 3-540-59467-1
1994
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. JELIA 1994: 106-121
c39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira: REVISE: An Extended Logic Programming System for Revising Knowledge Bases. KR 1994: 607-618
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. NMELP 1994: 3-22
c37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Craig MacNish, David Pearce, Luís Moniz Pereira (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings. Lecture Notes in Computer Science 838, Springer 1994, isbn 3-540-58332-7
1993
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Debugging by Diagnosing Assumptions. AADEBUG 1993: 58-74
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Abreu, Luís Moniz Pereira: Design for AKL with Intelligent Pruning. ELP 1993: 3-10
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part I. ELP 1993: 11-23
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: Contradiction: When Avoidance Equals Removal - Part II. ELP 1993: 268-281
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, José Júlio Alferes: Optative Reasoning with Scenario Semantics. ICLP 1993: 601-615
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira: Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348
1992
c27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, José Júlio Alferes: Well Founded Semantics for Logic Programs with Explicit Negation. ECAI 1992: 102-106
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Luís Caires, José Júlio Alferes: SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23
c25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Adding Closed World Assumptions to Well Founded Semantics. FGCS 1992: 562-569
c24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Salvador Abreu, Luís Moniz Pereira, Philippe Codognet: Improving Backward Execution in the Andorra Family of Languages. JICSLP 1992: 384-398
c23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Júlio Alferes, Luís Moniz Pereira: On Logic Program Semantics with Two Kinds of Negation. JICSLP 1992: 574-588
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal Semantics with Explicit Negation. Logic at Work 1992: 91-105
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Logic Programming for Non-Monotonic Reasoning. Logic at Work 1992: 107-121
1991
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: The Extended Stable Models of Contradiction Removal Semantics. EPIA 1991: 105-119
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miguel Calejo, Luís Moniz Pereira: Declarative Source Debugging. EPIA 1991: 237-249
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Nonmonotonic Reasoning with Well Founded Semantics. ICLP 1991: 475-489
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Derivation Procedures for Extended Stable Models. IJCAI 1991: 863-869
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: Contradiction Removal within Well Founded Semantics. LPNMR 1991: 105-119
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: A Practical Introduction to Well Founded Semantics. SCAI 1991: 277-288
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Hypothetical Reasoning with Well Founded Semantics. SCAI 1991: 289-300
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Counterfactual Reasoning Based on Revising Assumptions. ISLP 1991: 566-577
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Barahona, Luís Moniz Pereira, António Porto (Eds.): EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Lecture Notes in Computer Science 541, Springer 1991, isbn 3-540-54535-2
1989
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Joaquim Nunes Aparício: Relevant Counterfactuals. EPIA 1989: 107-118
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Miguel Calejo: Algorithmic Debugging of Prolog Side-Effects. EPIA 1989: 151-162
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José C. Cunha, Maria C. Ferreira, Luís Moniz Pereira: Programming in Delta Prolog. ICLP 1989: 487-502
1988
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Miguel Calejo: A Framework for Prolog Debugging. ICLP/SLP 1988: 481-495
1986
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Helder Coelho, Luís Moniz Pereira: Automated Reasoning in Geometry Theorem Proving with Prolog. J. Autom. Reasoning 2(4): 329-390 (1986)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Rational Debugging in Logic Programming. ICLP 1986: 203-210
1984
p2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Logic Control with Logic. Implementations of Prolog 1984: 177-193
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurice Bruynooghe, Luís Moniz Pereira: Deduction Revision by Intelligent Backtracking. Implementations of Prolog 1984: 194-215
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Roger Nasr: Delta-Prolog: A Distributed Logic Programming Language. FGCS 1984: 283-291
1982
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira: Logic Control with Logic. ICLP 1982: 9-18
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, Paul Sabatier, Eugenio Oliveira: ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. ICLP 1982: 200-209
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, António Porto: A Prolog Implementation of a Large System on a Small Machine. ICLP 1982: 225-229
1980
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Moniz Pereira, António Porto: Selective Backtracking for Logic Programs. CADE 1980: 306-317

Coauthor Index

1Salvador Abreu
[c37] [c34] [c24]
2Marco Alberti
[j31]
3João Alcântara
[j24] [c110] [c108] [c91]
4José Júlio Alferes
[j20] [c106] [c105] [c103] [c101] [i1] [j18] [j16] [c99] [c98] [c93] [c92] [c90] [c86] [c81] [c80] [j12] [c78] [c77] [c76] [c73] [c72] [c71] [c69] [j10] [j9] [c67] [c65] [c63] [b1] [j6] [c49] [c47] [e4] [j5] [j4] [c45] [c44] [j3] [c41] [c40] [c38] [c36] [j2] [c35] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c23] [c22] [c21] [c20] [c19] [c17] [c16] [c15] [c14] [c13] [c12]
5Han The Anh
[j35] [j33] [c142] [c141] [c140] [c139] [c138] [c134] [j28] [c131] [c127]
6Joaquim Nunes Aparício
[j3] [j2] [c25] [c22] [c21] [c20] [c19] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c7]
7Pedro Barahona
[e1]
8Gerhard Brewka
[j14] [e7]
9Antonio Brogi
[c106] [c105] [c103] [c93] [c81]
10Maurice Bruynooghe
[c100] [p1]
11Luís Caires
[c26]
12Miguel Calejo
[c18] [c10] [c8]
13José Ferreira de Castro
[c107]
14Philippe Codognet
[c24]
15Helder Coelho
[j1]
16Stefania Costantini
[c137]
17José C. Cunha
[c9] [c7]
18Verónica Dahl
[e8] [c60]
19Carlos Viegas Damásio
[j24] [c110] [c108] [c101] [j17] [j13] [c91] [c89] [c79] [c75] [c74] [c70] [c68] [c64] [c58] [c57] [c51] [j4] [c43] [c42] [c41] [c39] [c36] [c35] [c31] [c29]
20Pierangelo Dell'Acqua
[j31] [c137] [c124] [j25] [c116] [c114] [c113] [c111] [j22] [c104] [c102] [j15] [c97] [c96] [c92] [c88] [c87] [c85] [c83] [c82]
21Claudio Delrieux
[j23]
22Jürgen Dix
[e6] [c56] [e5] [c48] [e3]
23Phan Minh Dung
[c28]
24Maarten H. van Emden
[c100]
25Mattias Engberg
[c104]
26Trevor I. Fenner
[j29] [c136] [c133]
27Maria C. Ferreira
[c9]
28Peter Fröhlich
[j17] [c70]
29Ulrich Furbach
[e8]
30Joseph Gartner
[c75]
31Gabriela Guimarães
[c109]
32Inmaculada Perez de Guzmán (Inman P. de Guzmán)
[j14] [e7]
33Heinrich Herre
[c76]
34Manfred Kerber
[e8]
35Evelina Lamma
[j19] [c94] [c84] [j11]
36Kung-Kiu Lau
[e8]
37João Leite (João Alexandre Leite)
[c106] [c105] [c103] [j16] [c98] [c93] [c90] [c88] [c86] [c81] [c80] [j12] [c77] [c67] [c66] [c65] [c59]
38Renwei Li
[j8] [j7] [c61] [c60] [c55] [c54] [c53] [c52] [c44]
39John W. Lloyd
[e8]
40Anna Lombardi
[c116] [c114] [c111]
41Gonçalo Lopes
[c132] [c124] [c120]
42Craig MacNish
[e2]
43Boris Mirkin
[j29] [c136] [c133] [p4] [c122]
44Luís Monteiro
[c7]
45Iara de Almeida Móra
[c62] [c50]
46Susana Nascimento
[j29] [c136] [c133] [p4] [c122]
47Roger Nasr
[c5]
48Wolfgang Nejdl
[j17] [c70] [c39]
49Ulf Nilsson
[j15] [c97]
50Manuel Ojeda-Aciego
[j14] [e7]
51Eugénio C. Oliveira (Eugenio Oliveira)
[c3]
52Ewa Orlowska
[e4]
53Catuscia Palamidessi
[e8]
54David Pearce
[e2]
55Alexandre Miguel Pinto
[i2] [c135] [c130] [c129] [c128] [c126] [c125] [c123] [p3] [c117] [c112]
56António Porto
[e1] [c2] [c1]
57Halina Przymusinska
[j18] [j16] [c98] [j12] [c78] [c72] [c69] [c67] [c65]
58Teodor C. Przymusinski
[j18] [j16] [c98] [j12] [c78] [c72] [c69] [j9] [c67] [c65] [e6] [c56] [e5] [j6] [c49] [c48] [c45] [e3]
59Paulo Quaresma
[c78] [c72]
60Carroline Kencana Ramli
[j30]
61Fabrizio Riguzzi
[j19] [c94] [c84] [j11]
62Paul Sabatier
[c3]
63Yehoshua Sagiv
[e8]
64Pedro Santana
[c115]
65Francisco C. Santos
[j33] [c142] [c141] [c138]
66Ari Saptawijaya
[c140] [c119]
67Michael Schroeder
[j17] [c70] [c62] [c57] [c50]
68Jörg H. Siekmann
[c100]
69Peter J. Stuckey
[e8]
70Terrance Swift
[c130] [j20] [i1] [c75] [c71] [c68]
71Allen Tien
[c75]
72Ruben Duarte Viegas
[c118]
73Aida Vitória
[c96]
74Gregory R. Wheeler
[j27] [j26] [j21]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 10:31:40 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page