Álvaro F. Moreira

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