Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações Confirmadas: 232



171
TÍTULO: What is believed is what is explained (sometimes)
AUTORES: Li, RW; Pereira, LM ;
PUBLICAÇÃO: 1996, FONTE: 13th National Conference on Artificial Intelligence (AAAI 96) / 8th Conference on Innovative Applications of Artificial Intelligence (IAAI 96) in PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
172
TÍTULO: A LOGIC PROGRAMMING SYSTEM FOR NONMONOTONIC REASONING
AUTORES: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLICAÇÃO: 1995, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP
NO MEU: ResearcherID | DBLP
173
TÍTULO: A Model Theory for Paraconsistent Logic Programming
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
174
TÍTULO: Abduction over 3-valued extended logic programs  Full Text
AUTORES: Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 1995, FONTE: 3rd International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 95) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 928
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
175
TÍTULO: An argumentation theoretic semantics based on non-refutable falsity
AUTORES: Júlio Alferes, J ; Moniz Pereira, L ;
PUBLICAÇÃO: 1995, FONTE: Workshop on Non-Monotonic Extensions of Logic Programming, ICLP 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 927
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
176
TÍTULO: Belief Revision in Non-Monotonic Reasoning
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
177
TÍTULO: Belief, Provability, and Logic Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 5, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
178
TÍTULO: Non-Atomic Actions in the Situation Calculus
AUTORES: José Júlio Alferes ; Renwei Li; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
179
TÍTULO: Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers
AUTORES: Jürgen Dix; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1995, FONTE: NMELP, VOLUME: 927
INDEXADO EM: DBLP
NO MEU: DBLP
180
TÍTULO: Parallel Logic Programming with Extensions
AUTORES: Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995
INDEXADO EM: DBLP
NO MEU: DBLP
Página 18 de 24. Total de resultados: 232.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service