The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luís Moniz Pereira: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  146. Intention Recognition via Causal Bayes Networks Plus Plan Generation. [Citation Graph (, )][DBLP]


  147. Representing a Computer Science Research Organization on the ACM Computing Classification System. [Citation Graph (, )][DBLP]


  148. Architectural Design via Declarative Programming. [Citation Graph (, )][DBLP]


  149. Incremental Answer Completion in the SLG-WAM. [Citation Graph (, )][DBLP]


  150. Tight Semantics for Logic Programs. [Citation Graph (, )][DBLP]


  151. Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy. [Citation Graph (, )][DBLP]


  152. Layer Supported Models of Logic Programs. [Citation Graph (, )][DBLP]


  153. Prospective Storytelling Agents. [Citation Graph (, )][DBLP]


  154. On Preferring and Inspecting Abductive Models. [Citation Graph (, )][DBLP]


  155. Layered Models Top-Down Querying of Normal Logic Programs. [Citation Graph (, )][DBLP]


  156. A Hybrid Cluster-Lift Method for the Analysis of Research Activities. [Citation Graph (, )][DBLP]


Search in 0.689secs, Finished in 0.694secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002