Luís Moniz Pereira
Luís Moniz Pereira
Professor of Computer Science, Universidade Nova de Lisboa (emeritus)
Bestätigte E-Mail-Adresse bei fct.unl.pt - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Prolog-the language and its implementation compared with Lisp
DHD Warren, LM Pereira, F Pereira
ACM SIGPLAN Notices 12 (8), 109-115, 1977
3981977
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
2482000
Well founded semantics for logic programs with explicit negation
LM Pereira, JJ Alferes
European Conference on Artificial Intelligence, 1992
2371992
Reasoning with logic programming
JJ Alferes, LM Pereira
Springer, 1996
2021996
Deduction Revision by Intelligent Backtracking
M Bruynooghe, LM Pereira
Implementations of PROLOG, 194-215, 1984
1851984
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
European Workshop on Logics in Artificial Intelligence, 50-62, 2002
1592002
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1441998
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1402002
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14 (1), 93-147, 1995
1361995
Rational debugging in logic programming
LM Pereira
International Conference on Logic Programming, 203-210, 1986
1251986
Monotonic and residuated logic programs
CV Damásio, LM Pereira
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2001
1212001
A survey of paraconsistent semantics for logic programs
C Damásio, L Pereira
1181998
Contradiction removal within well founded semantics
LM Pereira, JJ Alferes, JN Aparicio
Logic Programming and Nonmonotonic Reasoning, 1991
1171991
On logic program semantics with two kinds of negation
JJ Alferes, LM Pereira, LM Pereira
Int. Joint Conf. and Symp. on LP, 1992
1041992
MINERVA - A Dynamic Logic Programming Agent Architecture
J Leite, J Alferes, L Pereira
Intelligent Agents VIII, 141-157, 2002
99*2002
How to solve it with PROLOG
H Coelho, JC Cotta, LM Pereira
Lab. Nac. de Engenharia Civil, 1980
98*1980
Generalizing updates: from models to programs
J Leite, L Pereira
Logic Programming and Knowledge Representation, 224-246, 1998
941998
Programming machine ethics
LM Pereira, A Saptawijaya
Springer, 2016
932016
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
922004
Evolution prospection
LM Pereira, TA Han
New Advances in Intelligent Decision Technologies, 51-63, 2009
912009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20