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
3781977
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
2312000
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
1731984
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
European Workshop on Logics in Artificial Intelligence, 50-62, 2002
1552002
User's guide to DECsystem-10 Prolog
LM Pereira, FN Pereira, DHD Warren
Department of Artificial Intelligence, University of Edinburgh, 1979
1541979
Dynamic logic programming
JJA Alferes, JACP Leite, LM Pereira, H Przymusinska, TC Przymusinski
Declarative Programming, 393-408, 1999
1411999
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14 (1), 93-147, 1995
1301995
Rational debugging in logic programming
LM Pereira
International Conference on Logic Programming, 203-210, 1986
1221986
Contradiction Removal within Well Founded Semantics.
LM Pereira, JJ Alferes, JN Aparício
LPNMR 91, 105-119, 1991
1131991
Monotonic and residuated logic programs
CV Damásio, LM Pereira
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2001
1092001
A survey of paraconsistent semantics for logic programs
C Damásio, L Pereira
1091998
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
901998
How to solve it with PROLOG
H Coelho, JC Cotta, LM Pereira
Lab. Nac. de Engenharia Civil, 1980
891980
Delta-Prolog: A distributed logic programming language
LM Pereira, R Nasr
Proc. International Conference of Fifth Generation Computer Systems, 1984 …, 1984
861984
Evolution prospection
LM Pereira, TA Han
New Advances in Intelligent Decision Technologies, 51-63, 2009
852009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20