71
TÍTULO: Revised Stable Models - A semantics for logic programs
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
72
TÍTULO: A declarative characterisation of disjunctive paraconsistent answer sets
AUTORES: Alcântara, J; Damásio, CV ; Pereira, LM ;
PUBLICAÇÃO: 2004, FONTE: 16th European Conference on Artificial Intelligence in ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 110
INDEXADO EM: WOS DBLP
73
TÍTULO: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: Theory Pract. Log. Program., VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 42
NO MEU: ORCID
74
TÍTULO: Abduction in well-founded semantics and generalized stable models via tabled dual programs
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 2004, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXADO EM: WOS DBLP
75
TÍTULO: Abductive validation of a power-grid expert system diagnoser  Full Text
AUTORES: de Castro, JF; Pereira, LM ;
PUBLICAÇÃO: 2004, FONTE: 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems in INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, VOLUME: 3029
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
76
TÍTULO: Common-sense reasoning as proto-scientific agent activity
AUTORES: Pierangelo Dell'Acqua; Luís Moniz Pereira ;
PUBLICAÇÃO: 2004, FONTE: J. Appl. Log., VOLUME: 2, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
77
TÍTULO: Epistemology and artificial intelligence
AUTORES: Gregory R Wheeler; Luís Moniz Pereira ;
PUBLICAÇÃO: 2004, FONTE: J. Appl. Log., VOLUME: 2, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID
78
TÍTULO: Mentally impaired persons' performance evaluation using an e-mail programme: A follow up study
AUTORES: Pereira, LM ; Saragoca, E; Loura, LC ; Espadinha, C;
PUBLICAÇÃO: 2004, FONTE: Technology and Disability, VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus
79
TÍTULO: Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications  Full Text
AUTORES: Claudio Delrieux; Luís Moniz Pereira ;
PUBLICAÇÃO: 2004, FONTE: J. Appl. Log., VOLUME: 2, NÚMERO: 4
INDEXADO EM: DBLP CrossRef
80
TÍTULO: A logical framework for modelling eMAS
AUTORES: Dell'Acqua, P; Pereira, LM ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
Página 8 de 23. Total de resultados: 228.