Rafael C. Cardoso

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 16

Top Topics

Cognitive Agents

Action Descriptions

Top Venues

Publications

Alexandre Yukio Ichida, Felipe Meneguzzi, Rafael C. Cardoso
BDI Agents in Natural Language Environments. AAMAS (2024)
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. J. Intell. Robotic Syst. 110 (3) (2024)
Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher
Towards Forward Responsibility in BDI Agents. EMAS (2023)
Angelo Ferrando, Rafael C. Cardoso
Failure Handling in BDI Plans via Runtime Enforcement. ECAI (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Updating Action Descriptions and Plans for Cognitive Agents. AAMAS (2023)
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS (2023)
Angelo Ferrando, Rafael C. Cardoso
RVPLAN: Runtime Verification of Assumptions in Automated Planning. ICAART (2) (2022)
Rafael C. Cardoso, Brian Logan, Felipe Meneguzzi, Nir Oren, Bruno Yun
Resilience, reliability, and coordination in autonomous multi-agent systems. AI Commun. 35 (4) (2022)
Angelo Ferrando, Rafael C. Cardoso
Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. AAMAS (2022)
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM (2022)
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
A Compositional Approach to Verifying Modular Robotic Systems. CoRR (2022)
Matt Luckcuck, Rafael C. Cardoso
Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. EMAS@AAMAS (2021)
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Implementing Ethical Governors in BDI. EMAS@AAMAS (2021)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis
Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS (2021)
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59 (1) (2021)