Luís Moniz Pereira
机构: Professor of Computer Science, Universidade Nova de Lisboa (emeritus)
主页: unl.pt
每年引用次数
引用次数
引用: 9,318
H-指数: 51
I10-指数 : 200
出版物: 300
Abductive validation of a power-grid expert system diagnoser
José Ferreira de Castro , Lu iacutes Moniz Pereira
industrial and engineering applications of artificial intelligence and expert systems 838 -847
4
2004
Multi-dimensional Logic Programming
E J. ALFERESy , Ao A. Leite , Luis Moniz
2
2001
LUPS—A language for updating logic programs
José Júlio Alferes , Luı́s Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski
Artificial Intelligence 138 ( 1-2) 87 -116
90
2002
Dynamic Knowledge Representation and Its Applications
José Júlio Alferes , Luýs Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski
artificial intelligence methodology systems applications 1904 1 -10
6
2000
A logic programming system for nonmonotonic reasoning
Jos� J�lio Alferes , Carlos Viegas Dam�sio , Lu�s Moniz Pereira
Journal of Automated Reasoning 14 ( 1) 93 -147
66
1995
Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop
Lua-S Moniz Pereira , Anil Nerode
Smpte Journal
1993
Centralized versus personalized commitments and their influence on cooperation in group interactions
The Anh Han , Lúis Moniz Pereira , Luis A Martinez-Vaquero , Tom Lenaerts
Proceedings of the AAAI Conference on Artificial Intelligence 31 ( 1)
16
2017
Computing environment-aware agent behaviours with logic program updates
José J Alferes , Antonio Brogi , Joao A Leite , Luís M Pereira
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers 11 216 -232
11
2002
Definição de critérios de avaliação dos efeitos sobre a superfície cutânea de cremes hidratantes: I-Análise após uma única aplicação
Pedro Pinto , Nuno Galego , Nuno Silva , Manuel Fitas
Revista Portuguesa de Farmácia 47 ( 1) 23 -33
8
1997
Revise report: An architecture for a diagnosis agent
Michael Schroeder12 , Carlos Viegas Damásio1 Lus Moniz Pereira
5
1996
Revision of top-down logical reasoning through intelligent backtracking
Maurice Bruynooghe , Louis M Pereira
CW Reports 16 -16
15
1981
Contradiction remobal within well-founded semantics
LMM PREIRA
Proceedings of 1st Workshop on Logic Programming and Nonmonotonic Reasoning 105
121
1991
PROLOG on the DECSystem-10 User’s Manual
David L Bowen , Lawrence Byrd , Luıs M Pereira , Fernando CN Pereira
Department of Artificial Intelligence, University of Edinburgh
18
1981
An Evolving Agent with EVOLP.
José Júlio Alferes , Antonio Brogi , João Alexandre Leite , Luís Moniz Pereira
appia-gulp-prode 205 -216
2
2003
Multi-dimensional Dynamic Logic Programming.
João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira ,
CL-2000 Workshop on Computational Logic in Multi-Agent Systems 17 -26
20
2000
A Practical Introduction to Well Founded Semantics.
Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes
scandinavian conference on ai 277 -288
5
1991
Delta-Prolog: A Distributed Logic Programming Language.
Luís Moniz Pereira , Roger Nasr
Future Generation Computer Systems 283 -291
45
1984
ORBI - An Expert System for Environmental Resource Evaluation through Natural Language.
Luís Moniz Pereira , Eugenio Oliveira , Paul Sabatier
international conference on lightning protection 200 -209
14
1982
Well founded semantics for logic programs with explicit negation
Luís Moniz Pereira , José Júlio Alferes
european conference on artificial intelligence 102 -106
104
1992
On Logic Program Semantics with Two Kinds of Negation.
Luís Moniz Pereira , José Júlio Alferes
JICSLP 574 -588
54
1992
Jose Julio Alferes Carlos Viegas Damásio Joao Leite The Anh Han Ari Saptawijaya Tom Lenaerts Pierangelo Dell'Acqua Teodor Przymusinski Francisco C. Santos Alexandre Miguel Pinto Halina Przymusinska António Porto Fabrizio Riguzzi Evelina Lamma Luis A. Martinez-Vaquero Emmanuelle Dietz Fernando Pereira Antonio Brogi Richard Li Steffen Hölldobler