Παρακολούθηση
Luís Moniz Pereira
Luís Moniz Pereira
Professor of Computer Science, Universidade Nova de Lisboa (emeritus)
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fct.unl.pt - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Prolog-the language and its implementation compared with Lisp
DHD Warren, LM Pereira, F Pereira
ACM SIGPLAN Notices 12 (8), 109-115, 1977
4421977
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
2652000
Well founded semantics for logic programs with explicit negation
LM Pereira, JJ Alferes
Proceedings of the 10th European conference on Artificial intelligence, 102-106, 1992
2381992
Reasoning with logic programming
JJ Alferes, LM Pereira
Springer, 1996
2141996
Deduction Revision by Intelligent Backtracking
M Bruynooghe, LM Pereira
Implementations of PROLOG, 194-215, 1984
1861984
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
1682002
User's guide to DECsystem-10 Prolog
LM Pereira, FCN Pereira, DHD Warren
Department of Artificial Intelligence, University of Edinburgh, 1978
1621978
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1511998
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1432002
Monotonic and residuated logic programs
CV Damásio, LM Pereira
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th …, 2001
1342001
A logic programming system for nonmonotonic reasoning
JJ Alferes, CV Damasio, LM Pereira
Journal of Automated Reasoning 14, 93-147, 1995
1311995
Programming machine ethics
LM Pereira, A Saptawijaya
Springer, 2016
1282016
A survey of paraconsistent semantics for logic programs
C Damásio, L Pereira
1271998
Rational debugging in logic programming
LM Pereira
International Conference on Logic Programming, 203-210, 1986
1271986
Contradiction remobal within well-founded semantics
LMM PREIRA
Proceedings of 1st Workshop on Logic Programming and Nonmonotonic Reasoning 105, 1991
1221991
C-Prolog user’s manual
F Pereira, D Warren
EdCaad, University of Edinburgh, 1986
1191986
Selective backtracking for logic programs
LM Pereira, A Porto
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 5 …, 1980
1031980
How to solve it with PROLOG
H Coelho, JC Cotta, LM Pereira
Lab. Nac. de Engenharia Civil, 1980
1031980
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
1012004
MINERVA - A Dynamic Logic Programming Agent Architecture
J Leite, J Alferes, L Pereira
Intelligent Agents VIII, 141-157, 2002
101*2002
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20