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
72
TÍTULO: A declarative characterisation of disjunctive paraconsistent answer sets
AUTORES: Alcantara, J; Damasio, 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: TPLP, VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
74
TÍTULO: Abduction in well-founded semantics and generalized stable models via tabled dual programs PDF
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 2004, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXADO EM: WOS DBLP arXiv
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
76
TÍTULO: Common-sense reasoning as proto-scientific agent activity  Full Text
AUTORES: Dell'Acqua, P; Pereira, LM ;
PUBLICAÇÃO: 2004, FONTE: Journal of Applied Logic, VOLUME: 2, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
77
TÍTULO: Epistemology and artificial intelligence  Full Text
AUTORES: Wheeler, GR; Pereira, LM ;
PUBLICAÇÃO: 2004, FONTE: Journal of Applied Logic, VOLUME: 2, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
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
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
Página 8 de 24. Total de resultados: 232.