Álvaro F. Moreira

ORCID

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 15

Top Venues

CoRR

BRACIS

ACM Trans. Embed. Comput. Syst.

OWLED

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Marlo Souza, Álvaro F. Moreira, Renata Vieira
Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization. CoRR (2021)
Marlo Souza, Renata Vieira, Álvaro F. Moreira
Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization. Theor. Comput. Sci. 872 (2021)
Ricardo Coelho, Felipe Tanus, Álvaro F. Moreira, Gabriel L. Nazar
ACQuA: A Parallel Accelerator Architecture for Pure Functional Programs. ISVLSI (2020)
Marlo Souza, Álvaro F. Moreira, Renata Vieira
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach. CoRR (2019)
Marlo Souza, Álvaro F. Moreira
Bringing Belief Base Change into Dynamic Epistemic Logic. CoRR (2019)
Marlo Souza, Álvaro F. Moreira, Renata Vieira
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach. AAAI (2019)
Marlo Souza, Álvaro F. Moreira
Bringing Belief Base Change into Dynamic Epistemic Logic. DaLí (2019)
Marlo Souza, Álvaro F. Moreira, Renata Vieira
Tractable reasoning about Agent Programming in Dynamic Preference Logic. CoRR (2019)
Marlo Souza, Álvaro F. Moreira, Renata Vieira
Generalized Iterated Belief Change in Dynamic Epistemic Logic. BRACIS (2019)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
A Dynamic Preference Logic for reasoning about Agent Programming. CoRR (2019)
Marlo Souza, Álvaro F. Moreira, Renata Vieira
Tractable Reasoning about Agent Programming in Dynamic Preference Logic. BRACIS (2018)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
A Dynamic Preference Logic for Reasoning about Agent Programming. BRACIS (2017)
Marlo Souza, Álvaro F. Moreira, Renata Vieira
Dynamic Preference Logic as a Logic of Belief Change. DALI@TABLEAUX (2017)
Ronaldo Rodrigues Ferreira, Gabriel L. Nazar, Jean da Rolt, Álvaro F. Moreira, Luigi Carro
Live-Out Register Fencing: Interrupt-Triggered Soft Error Correction Based on the Elimination of Register-to-Register Communication. ACM Trans. Embed. Comput. Syst. 15 (3) (2016)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
Preference and Priorities: A Study Based on Contrction. KR (2016)
Diego G. Rodrigues, Ghazaleh Nazarian, Álvaro F. Moreira, Luigi Carro, Georgi Gaydadjiev
A non-conservative software-based approach for detecting illegal CFEs caused by transient faults. DFTS (2015)
Ronaldo Rodrigues Ferreira, Ernesto Sánchez, Jean da Rolt, Gabriel L. Nazar, Álvaro F. Moreira, Luigi Carro, Matteo Sonza Reorda
Permanent fault detection and diagnosis in the lightweight dual modular redundancy architecture. LATS (2015)
Ghazaleh Nazarian, Diego G. Rodrigues, Álvaro F. Moreira, Luigi Carro, Georgi Gaydadjiev
Bit-Flip Aware Control-Flow Error Detection. PDP (2015)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
Integrating Ontology Negotiation and Agent Communication. OWLED (2015)
Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer
Communication for Agents with Ontological Reasoning. WI-IAT (2) (2015)
Vinicius De Antoni, Álvaro F. Moreira
An asynchronous algorithm to improve scheduling quality in the multiagent simple temporal problem. AAMAS (2014)
Rafael B. Parizi, Ronaldo Rodrigues Ferreira, Luigi Carro, Álvaro F. Moreira
Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software. IESS (2013)
Fábio P. Itturriet, Ronaldo Rodrigues Ferreira, Gustavo Girão, Gabriel L. Nazar, Álvaro F. Moreira, Luigi Carro
Resilient Adaptive Algebraic Architecture for Parallel Detection and Correction of Soft-Errors. DSD (2012)
Fábio P. Itturriet, Gabriel L. Nazar, Ronaldo Rodrigues Ferreira, Álvaro F. Moreira, Luigi Carro
Adaptive parallelism exploitation under physical and real-time constraints for resilient systems. ReCoSoC (2012)
Gleison Samuel do Nascimento, Cirano Iochpe, Lucinéia Heloisa Thom, André Kalsing, Álvaro F. Moreira
Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA. ICCSA (4) (2012)
Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. DALT (2011)
Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael J. Wooldridge
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language CoRR (2011)
Álvaro F. Moreira, Renata Vieira
Belief Update in AgentSpeak-DL. Programming Multi-Agent Systems (2008)
Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, Rafael H. Bordini
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. 29 (2007)
Renata Vieira, Álvaro F. Moreira, Rafael H. Bordini, Jomi Fred Hübner
An Agent-Oriented Programming Language for Computing in Context. IFIP PPAI (2006)
Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Álvaro F. Moreira, Fabio Y. Okuyama, Renata Vieira
MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. J. Artif. Soc. Soc. Simul. 8 (3) (2005)
Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner
Agent-Oriented Programming with Underlying Ontological Reasoning. DALT (2005)
Rafael H. Bordini, Álvaro F. Moreira
Proving BDI Properties of Agent-Oriented Programming Languages. Ann. Math. Artif. Intell. 42 (1-3) (2004)
Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. DALT (2003)
Rafael H. Bordini, Álvaro F. Moreira
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
Rafael H. Bordini, Álvaro F. Moreira
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. CLIMA (2002)

Álvaro F. Moreira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Álvaro F. Moreira