Følg
Alvaro Moreira
Alvaro Moreira
Professor do Instituto de Informática, Universidade Federal do Rio Grande do Sul
Verificeret mail på inf.ufrgs.br - Startside
Titel
Citeret af
Citeret af
År
On the formal semantics of speech-act based communication in an agent-oriented programming language
R Vieira, ÁF Moreira, M Wooldridge, RH Bordini
Journal of Artificial Intelligence Research 29, 221-267, 2007
1382007
Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak (L)
RH Bordini, AF Moreira
Annals of Mathematics and Artificial Intelligence 42, 197-226, 2004
912004
Agent-oriented programming with underlying ontological reasoning
AF Moreira, R Vieira, RH Bordini, JF Hübner
Declarative Agent Languages and Technologies III: Third International …, 2006
802006
Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication
ÁF Moreira, R Vieira, RH Bordini
Declarative Agent Languages and Technologies: First International Workshop …, 2004
762004
Hematological immune related adverse events after treatment with immune checkpoint inhibitors
R Kramer, A Zaremba, A Moreira, S Ugurel, DB Johnson, JC Hassel, ...
European Journal of Cancer 147, 170-181, 2021
652021
Temporal and versioning model for schema evolution in object-oriented databases
R de Matos Galante, CS dos Santos, N Edelweiss, ÁF Moreira
Data & Knowledge Engineering 53 (2), 99-128, 2005
582005
Fundamentos de sistemas multiagentes
RH Bordini, R Vieira, ÁF Moreira
Anais do XXI Congresso da Sociedade Brasileira de Computação (SBC2001) 2, 3-41, 2001
552001
An operational semantics for a BDI agent-oriented programming language
ÁF Moreira, RH Bordini
Proceedings of the workshop on logics for agent-based systems (LABS-02 …, 2002
532002
Proving the asymmetry thesis principles for a BDI agent-oriented programming language
RH Bordini, ÁF Moreira
Electronic Notes in Theoretical Computer Science 70 (5), 108-125, 2002
472002
Pensamento computacional: revisão bibliográfica
RM Vicari, AF Moreira, PFB Menezes
402018
Performance evaluation of android applications: a case study
TS Fernandes, E Cota, AF Moreira
2014 Brazilian Symposium on Computing Systems Engineering, 79-84, 2014
192014
Identifying business rules to legacy systems reengineering based on BPM and SOA
GS do Nascimento, C Iochpe, L Thom, AC Kalsing, Á Moreira
Computational Science and Its Applications–ICCSA 2012: 12th International …, 2012
112012
An agent-oriented programming language for computing in context
R Vieira, AF Moreira, RH Bordini, J Hübner
IFIP World Computer Congress, TC 12, 61-70, 2006
102006
Data Modification Language for Full Support of Temporal Schema Versioning.
R de Matos Galante, N Edelweiss, CS dos Santos, AF Moreira
SBBD, 114-128, 2003
102003
Preference and priorities: A study based on contrction
M Souza, ÁF Moreira, R Vieira, JJ MEYER
Proceedings of the Fifteenth International Conference on Principles of …, 2016
92016
Ontology reasoning in agent-oriented programming
C Fuzitaki, A Moreira, R Vieira
Advances in Artificial Intelligence–SBIA 2010: 20th Brazilian Symposium on …, 2010
92010
Type-safe versioned object query language
R Machado, AF Moreira, RM Galante
Simposio Brasileiro de Linguagens de Programacao (10.: 2006 maio: Rio de …, 2006
92006
Bit-flip aware control-flow error detection
G Nazarian, DG Rodrigues, A Moreira, L Carro, GN Gaydadjiev
2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015
82015
Adaptive low-power architecture for high-performance and reliable embedded computing
RR Ferreira, J Da Rolt, GL Nazar, AF Moreira, L Carro
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014
82014
Compiler optimizations impact the reliability of the control-flow of radiation-hardened software
RR Ferreira, RB Parizi, L Carro, ÁF Moreira
Journal of Aerospace Technology and Management 5 (3), 323-334, 2013
82013
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20