Rafael C. Cardoso
Rafael C. Cardoso
Research Associate at the University of Manchester
Verified email at manchester.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
432017
A multi-agent extension of a hierarchical task network planning formalism
RC Cardoso, RH Bordini
Ediciones Universidad de Salamanca (España), 2017
252017
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
Heterogeneous verification of an autonomous curiosity rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods Symposium, 353-360, 2020
162020
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
162018
A distributed online multi-agent planning system
RC Cardoso, RH Bordini
Proceedings of 4th Workshop on Distributed and Multi-Agent Planning (DMAP …, 2016
152016
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
112020
Decentralised planning for multi-agent programming platforms
RC Cardoso, RH Bordini
AAMAS'19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS …, 2019
112019
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
102020
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
102013
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
Towards compositional verification for modular robotic systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
82020
Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario
RC Cardoso, RF Pereira, G Krzisch, MC Magnaguagno, T Baségio, ...
International Journal of Agent-Oriented Software Engineering 6 (1), 3-34, 2018
82018
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
82016
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
A Review of Agent-Based Programming for Multi-Agent Systems
RC Cardoso, A Ferrando
Computers 10 (2), 16, 2021
62021
A modular framework for decentralised multi-agent planning
RC Cardoso, RH Bordini
Proceedings of the 16th International Conference on Autonomous Agents …, 2017
62017
Plan library reconfigurability in BDI agents
RC Cardoso, LA Dennis, M Fisher
International Workshop on Engineering Multi-Agent Systems, 195-212, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20