Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Publicações Confirmadas: 228



171
TÍTULO: Belief Revision in Non-Monotonic Reasoning
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in EPIA, VOLUME: 990
INDEXADO EM: Scopus DBLP CrossRef: 4
172
TÍTULO: Belief, Provability, and Logic Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1995, FONTE: J. Appl. Non Class. Logics, VOLUME: 5, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
173
TÍTULO: Non-Atomic Actions in the Situation Calculus
AUTORES: José Júlio Alferes ; Renwei Li; 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: 1
174
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
175
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
176
TÍTULO: A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems
AUTORES: Salvador Abreu ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1994, FONTE: Workshop on Design and Impl. of Parallel Logic Programming Systems
INDEXADO EM: DBLP
177
TÍTULO: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS  Full Text
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1994, FONTE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in THEORETICAL COMPUTER SCIENCE, VOLUME: 122, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
178
TÍTULO: An Argumentation Theoretic Semantics Based on Non-Refutable Falsity
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1994, FONTE: NMELP, VOLUME: 927
INDEXADO EM: Scopus DBLP CrossRef: 4
179
TÍTULO: Belief, Provability, and Logic Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1994, FONTE: JELIA, VOLUME: 838 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 1
180
TÍTULO: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings
AUTORES: Craig MacNish; David Pearce; Luís Moniz Pereira ;
PUBLICAÇÃO: 1994, FONTE: JELIA, VOLUME: 838
INDEXADO EM: DBLP
NO MEU: DBLP
Página 18 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