Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações Confirmadas: 232



141
TÍTULO: Generalizing updates: From models to programs
AUTORES: Leite, JA ; Pereira, LM ;
PUBLICAÇÃO: 1998, FONTE: 3rd International Workshop on Logic Programming and Knowledge Representation in LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, VOLUME: 1471
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
142
TÍTULO: Iterated logic program updates
AUTORES: Leite, JA ; Pereira, LM ;
PUBLICAÇÃO: 1998, FONTE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
143
TÍTULO: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
AUTORES: Jürgen Dix; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: LPKR, VOLUME: 1471
INDEXADO EM: DBLP
NO MEU: DBLP
144
TÍTULO: Refining action theories through abductive logic programming
AUTORES: Li, RW; Pereira, LM ; Dahl, V;
PUBLICAÇÃO: 1998, FONTE: 3rd International Workshop on Logic Programming and Knowledge Representation in LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, VOLUME: 1471
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
145
TÍTULO: Special issue - Logics for artificial intelligence - Preface  Full Text
AUTORES: Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 1998, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 20, NÚMERO: 1-2
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
146
TÍTULO: Tabling Abduction
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1998, FONTE: TAPD
INDEXADO EM: DBLP
NO MEU: DBLP
147
TÍTULO: A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
AUTORES: Michael Schroeder; Iara de Almeida Móra; Luís Moniz Pereira ;
PUBLICAÇÃO: 1997, FONTE: Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings, VOLUME: 1365
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
148
TÍTULO: A paraconsistent semantics with contradiction support detection  Full Text
AUTORES: Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 97) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1265
INDEXADO EM: WOS DBLP
NO MEU: ResearcherID | DBLP
149
TÍTULO: Knowledge assimilation in domains of actions : A possible causes approach
AUTORES: Li, R; Pereira, LM ;
PUBLICAÇÃO: 1997, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 7, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
150
TÍTULO: Logic Programming and Knowledge Representation (LPKR'97)
AUTORES: Jürgen Dix; Teodor C Przymusinski; Luís Moniz Pereira ;
PUBLICAÇÃO: 1997, FONTE: Logic Programming, Proceedngs of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997
INDEXADO EM: DBLP
NO MEU: DBLP
Página 15 de 24. Total de resultados: 232.

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

Links Úteis

Ajuda

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