Joćo G. Martins
Joćo G. Martins
PhD student, Computer Science, CMU and CENTRIA/FCT/UNL
Verified email at cs.cmu.edu - Homepage
TitleCited byYear
Social Abstract Argumentation
J Leite, J Martins
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
1422011
Statistical Model Checking for Markov Decision Processes
D Henriques, J Martins, P Zuliani, A Platzer, EM Clarke
9th International Conference on Quantitative Evaluation of SysTems (QEST), 2012
1052012
Extending social abstract argumentation with votes on attacks
S Eğilmez, J Martins, J Leite
Theory and Applications of Formal Argumentation, 16-31, 2014
322014
Statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications
J Martins, A Platzer, J Leite
Formal Methods and Software Engineering, 131-146, 2011
202011
On Failure-Driven Constraint-Based Parsing through CHRG⋆
V Dahl, S Egilmez, J Martins, JE Miralles
CHR 2013—Proceedings of the 10th International Workshop on Constraint …, 2013
22013
Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems
JG Martins, A Platzer, J Leite
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
12019
Changing Beliefs in a Changing World
JG Martins
Carnegie Mellon University Pittsburgh, PA, 2018
2018
Arguments against the Troll (position paper)
P Torroni, M Prandini, M Ramilli, J Leite, J Martins
2010
The system can't perform the operation now. Try again later.
Articles 1–8