Luís Moniz Pereira
Luís Moniz Pereira
Professor of Computer Science, Universidade Nova de Lisboa (emeritus)
Geverifieerd e-mailadres voor fct.unl.pt - Homepage
TitelGeciteerd doorJaar
Prolog-the language and its implementation compared with Lisp
DHD Warren, LM Pereira, F Pereira
ACM SIGPLAN Notices 12 (8), 109-115, 1977
3831977
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
2322000
Well Founded Semantics for Logic Programs with Explicit Negation.
LM Pereira, JJ Alferes
ECAI 92, 102-106, 1992
2311992
Reasoning with logic programming
JJ Alferes, LM Pereira
Springer, 1996
1981996
Deduction Revision by Intelligent Backtracking
M Bruynooghe, LM Pereira
Implementations of PROLOG, 194-215, 1984
1751984
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
European Workshop on Logics in Artificial Intelligence, 50-62, 2002
1572002
User's guide to DECsystem-10 Prolog
LM Pereira, FN Pereira, DHD Warren
Department of Artificial Intelligence, University of Edinburgh, 1979
1551979
Dynamic Logic Programming.
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1431998
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14 (1), 93-147, 1995
1311995
Rational debugging in logic programming
LM Pereira
International Conference on Logic Programming, 203-210, 1986
1231986
Contradiction Removal within Well Founded Semantics.
LM Pereira, JJ Alferes, JN Aparício
LPNMR 91, 105-119, 1991
1131991
A survey of paraconsistent semantics for logic programs
C Damásio, L Pereira
1101998
Monotonic and residuated logic programs
CV Damásio, LM Pereira
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2001
1092001
Recyclable, flexible, low‐power oxide electronics
RFP Martins, A Ahnood, N Correia, LMNP Pereira, R Barros, ...
Advanced Functional Materials 23 (17), 2153-2161, 2013
1072013
On logic program semantics with two kinds of negation
JJ Alferes, LM Pereira, LM Pereira
Int. Joint Conf. and Symp. on LP, 1992
981992
MINERVA - A Dynamic Logic Programming Agent Architecture
J Leite, J Alferes, L Pereira
Intelligent Agents VIII, 141-157, 2002
97*2002
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
922002
Generalizing updates: from models to programs
J Leite, L Pereira
Logic Programming and Knowledge Representation, 224-246, 1998
911998
How to solve it with PROLOG
H Coelho, JC Cotta, LM Pereira
Lab. Nac. de Engenharia Civil, 1980
901980
Delta-Prolog: A distributed logic programming language
LM Pereira, R Nasr
Proc. International Conference of Fifth Generation Computer Systems, 1984 …, 1984
871984
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20