Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 132



111
TÍTULO: Formal Modelling of Emotions in BDI Agents  Full Text
AUTORES: Pereira, D ; Oliveira, E ; Moreira, N ;
PUBLICAÇÃO: 2008, FONTE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | CIÊNCIAVITAE
112
TÍTULO: KAT and PHL in Coq  Full Text
AUTORES: Pereira, D ; Moreira, N ;
PUBLICAÇÃO: 2008, FONTE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
113
TÍTULO: Enumeration and generation with a string automata representation  Full Text
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2007, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
NO MEU: ORCID | CIÊNCIAVITAE
114
TÍTULO: Acyclic automata with easy-to-find short regular expressions  Full Text
AUTORES: Morais, JJ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 10th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 3845
INDEXADO EM: WOS DBLP CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
115
TÍTULO: Aspects of Enumeration and Generation with a String Automata Representation
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2006, FONTE: DCFS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
116
TÍTULO: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTORES: Tomás, AP ; Moreira, N ; Pereira, N;
PUBLICAÇÃO: 2006, FONTE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS, VOLUME: 204
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
117
TÍTULO: Interactive manipulation of regular objects with FAdo  Full Text
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
118
TÍTULO: On the density of languages representing finite set partitions
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2005, FONTE: Journal of Integer Sequences, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
119
TÍTULO: On the Representation of Finite Automata
AUTORES: Rogério Reis ; Nelma Moreira ; Marco Almeida;
PUBLICAÇÃO: 2005, FONTE: DCFS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
120
TÍTULO: Towards an architecture for Emotional BDI agents
AUTORES: David Pereira ; Eugnio Oliveira ; Nelma Moreira ; Lus Sarmento;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings
INDEXADO EM: WOS CrossRef: 29
NO MEU: ORCID | CIÊNCIAVITAE
Página 12 de 14. Total de resultados: 132.

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