Rafael C. Cardoso
Rafael C. Cardoso
Research Associate at University of Liverpool
E-mail confirmado em liverpool.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
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
352017
A multi-agent extension of a hierarchical task network planning formalism
RC Cardoso, RH Bordini
Ediciones Universidad de Salamanca (España), 2017
242017
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
192013
A distributed online multi-agent planning system
RC Cardoso, RH Bordini
Proceedings of 4th Workshop on Distributed and Multi-Agent Planning (DMAP …, 2016
142016
Validation of hierarchical plans via parsing of attribute grammars
R Barták, A Maillard, R Cardoso
Proceedings of the International Conference on Automated Planning and …, 2018
112018
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
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
82018
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
Heterogeneous verification of an autonomous curiosity rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods Symposium, 353-360, 2020
72020
Decentralised planning for multi-agent programming platforms
RC Cardoso, RH Bordini
AAMAS'19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS …, 2019
72019
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
72018
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
72016
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
72016
A modular framework for decentralised multi-agent planning
RC Cardoso, RH Bordini
Proceedings of the 16th International Conference on Autonomous Agents …, 2017
62017
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
52020
Benchmarking communication in agent-and actor-based languages
RC Cardoso, JF Hübner, RH Bordini
Proceedings of AAMAS-2013, 2013, Estados Unidos., 2013
52013
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
42020
SMART–JaCaMo: An organisation-based team for the multi-agent programming contest
T Krausburg, RC Cardoso, J Damasio, V Peres, GP Farias, ...
Multi-Agent Progamming Contest, 72-100, 2018
42018
Towards Compositional Verification for Modular Robotic Systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
32020
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
32019
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20