Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações Confirmadas: 228



161
162
TÍTULO: Reasoning about Concurrent Actions and Observations
AUTORES: Renwei Li; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: APPIA-GULP-PRODE
INDEXADO EM: DBLP
163
TÍTULO: Reasoning with Logic Programming
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, VOLUME: 1111
INDEXADO EM: DBLP
NO MEU: DBLP
164
TÍTULO: Strong and explicit negation in non-monotonic reasoning and logic programming  Full Text
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
165
TÍTULO: Temporal Reasoning with Abductive Logic Programming
AUTORES: Renwei Li; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: ECAI
INDEXADO EM: DBLP
166
TÍTULO: Updating temporal knowledge bases with the possible causes approach
AUTORES: Li, RW; Pereira, LM ;
PUBLICAÇÃO: 1996, FONTE: 7th International Conference on Artificial Intelligence - Methodology, Systems, Applications (AIMSA 96) in ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, VOLUME: 35
INDEXADO EM: WOS
167
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
168
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 CrossRef
NO MEU: ORCID
169
TÍTULO: A Model Theory for Paraconsistent Logic Programming
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in EPIA, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef: 5
170
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 CrossRef
Página 17 de 23. Total de resultados: 228.

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

Links Úteis

Ajuda

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