| Dynamic updates of non-monotonic knowledge bases JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski The journal of logic programming 45 (1-3), 43-70, 2000 | 227 | 2000 |
| Well Founded Semantics for Logic Programs with Explicit Negation. LM Pereira, JJ Alferes ECAI 92, 102-106, 1992 | 222 | 1992 |
| Reasoning with logic programming JJ Alferes, LM Pereira Springer, 1996 | 196 | 1996 |
| Evolving logic programs JJ Alferes, A Brogi, JA Leite, LM Pereira European Workshop on Logics in Artificial Intelligence, 50-62, 2002 | 156 | 2002 |
| Dynamic logic programming JJAJA Leite, LMPH Przymusinska, ТC Przymusinski Principles of Knowledge Representation and Reasoning: Proceedings of the …, 1998 | 142 | 1998 |
| A logic programming system for nonmonotonic reasoning JJ Alferes, CV Damasio, LM Pereira Journal of Automated Reasoning 14 (1), 93-147, 1995 | 129 | 1995 |
| Local closed-world reasoning with description logics under the well-founded semantics M Knorr, JJ Alferes, P Hitzler Artificial Intelligence 175, 1528, 2011 | 117 | 2011 |
| Contradiction Removal within Well Founded Semantics. LM Pereira, JJ Alferes, JN Aparicio LPNMR 91, 105-119, 1991 | 110 | 1991 |
| MINERVA - A Dynamic Logic Programming Agent Architecture JA Leite, JJ Alferes, LM Pereira Intelligent Agents VIII, 141-157, 2002 | 96* | 2002 |
| Minerva - A Dynamic Logic Programming Agent Architecture JA Leite, JJ Alferes, LM Pereira Intelligent Agents VIII, 8th International Workshop, Springer, 0 | 96* | |
| On logic program semantics with two kinds of negation JJ Alferes, LM Pereira Int. Joint Conf. and Symp. on LP, 1992 | 94 | 1992 |
| LUPS—A language for updating logic programs JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski Artificial Intelligence 138 (1-2), 87-116, 2002 | 93 | 2002 |
| The refined extension principle for semantics of dynamic logic programming JJ Alferes, F Banti, A Brogi, JA Leite Studia Logica 79 (1), 7-32, 2005 | 88 | 2005 |
| Encodings for equilibrium logic and logic programs with nested expressions D Pearce, H Tompits, S Woltran Portuguese Conference on Artificial Intelligence, 306-320, 2001 | 86 | 2001 |
| Diagnosis and debugging as contradiction removal in logic programs LM Pereira, CV Damásio, JJ Alferes Portuguese Conference on Artificial Intelligence, 183-197, 1993 | 85 | 1993 |
| Nonmonotonic Reasoning with Well Founded Semantics. LM Pereira, JN Aparicio, JJ Alferes ICLP, 475-489, 1991 | 83 | 1991 |
| Abduction in well-founded semantics and generalized stable models via tabled dual programs JJ Alferes, LM Pereira, T Swift Theory and Practice of Logic Programming 4 (4), 383-428, 2004 | 81 | 2004 |
| Derivation Procedures for Extended Stable Models. LM Pereira, JN Aparício, JJ Alferes IJCAI, 863-869, 1991 | 76 | 1991 |
| Non-monotonic reasoning with logic programming LM Pereira, JN Aparicio, JJ Alferes The Journal of Logic Programming 17 (2-4), 227-263, 1993 | 61 | 1993 |
| Hypothetical Reasoning with Well Founded Semantics. LM Pereira, JN Aparício, JJ Alferes SCAI, 289-300, 1991 | 61 | 1991 |
Luís Moniz PereiraProfessor of Computer Science, Universidade Nova de Lisboa (retired)Verified email at fct.unl.pt
