Volgen
Rafael C. Cardoso
Rafael C. Cardoso
Lecturer at the University of Aberdeen
Geverifieerd e-mailadres voor manchester.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal (ISSN: 2255-2863)
RC Cardoso, RH Bordini
Salamanca 6 (2), 2017
472017
Heterogeneous verification of an autonomous curiosity rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods Symposium, 353-360, 2020
312020
A multi-agent extension of a hierarchical task network planning formalism
RC Cardoso, RH Bordini
Ediciones Universidad de Salamanca (España), 2017
252017
A review of agent-based programming for multi-agent systems
RC Cardoso, A Ferrando
Computers 10 (2), 16, 2021
212021
ROSMonitoring: a runtime verification framework for ROS
A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ...
Annual Conference Towards Autonomous Robotic Systems, 387-399, 2020
202020
Towards benchmarking actor-and agent-based programming languages
RC Cardoso, MR Zatelli, JF Hübner, RH Bordini
Proceedings of the 2013 workshop on Programming based on actors, agents, and …, 2013
202013
Validation of hierarchical plans via parsing of attribute grammars
R Barták, A Maillard, RC Cardoso
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
192018
An interface for programming verifiable autonomous agents in ROS
RC Cardoso, A Ferrando, LA Dennis, M Fisher
Multi-Agent Systems and Agreement Technologies, 191-205, 2020
162020
Decentralised planning for multi-agent programming platforms
RC Cardoso, RH Bordini
AAMAS'19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS …, 2019
162019
A distributed online multi-agent planning system
RC Cardoso, RH Bordini
Proceedings of 4th Workshop on Distributed and Multi-Agent Planning (DMAP …, 2016
142016
Towards compositional verification for modular robotic systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
132020
An overview of verification and validation challenges for inspection robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
112021
Benchmarking communication in actor-and agent-based languages
RC Cardoso, JF Hübner, RH Bordini
International Workshop on Engineering Multi-Agent Systems, 58-77, 2013
112013
LFC: combining autonomous agents and automated planning in the multi-agent programming contest
RC Cardoso, A Ferrando, F Papacchini
Multi-Agent Progamming Contest, 31-58, 2019
92019
SMART-JaCaMo: an organization-based team for the multi-agent programming contest
RC Cardoso, T Krausburg, T Baségio, DC Engelmann, JF Hübner, ...
Annals of Mathematics and Artificial Intelligence 84 (1), 75-93, 2018
92018
Allocating social goals using the contract net protocol in online multi-agent planning
RC Cardoso, RH Bordini
2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 199-204, 2016
92016
Plan library reconfigurability in BDI agents
RC Cardoso, LA Dennis, M Fisher
International Workshop on Engineering Multi-Agent Systems, 195-212, 2019
82019
Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario.
RC Cardoso, RF Pereira, G Krzisch, MC Magnaguagno, TL Baségio, ...
Int. J. Agent Oriented Softw. Eng. 6 (1), 3-34, 2018
82018
Limitations and divergences in approaches for agent-oriented modelling and programming
A Freitas, RC Cardoso, R Vieira, RH Bordini
Proceedings of EMAS-2016, 2016, Cingapura., 2016
82016
Aspectos radiográficos intratorácicos da paracoccidioidomicose. Revisão de 170 casos
MFA Cruz, RA Santos Filho, RC Cardoso, A Prando, RM Pereira
Radiol bras 22, 169-77, 1989
81989
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20