Follow
Joćo G. Martins
Joćo G. Martins
PhD student, Computer Science, CMU and CENTRIA/FCT/UNL
Verified email at cs.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Social Abstract Argumentation
J Leite, J Martins
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
2442011
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
1562012
Extending social abstract argumentation with votes on attacks
S Eğilmez, J Martins, J Leite
International Workshop on Theorie and Applications of Formal Argumentation …, 2013
642013
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
262011
Arguments against the troll
P Torroni, M Prandini, M Ramilli, J Leite, J Martins
Proc. of the Eleventh AI* IA Symposium on Artificial Intelligence, 232-235, 2010
42010
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
A sound calculus for a logic of belief-aware cyber-physical systems
JG Martins, A Platzer, J Leite
Tech. Rep. CMU-CS-19-116, School of Computer Science, Carnegie Mellon …, 2019
12019
Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems
JG Martins, A Platzer, J Leite
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
12019
Arguments against the Troll (position paper)
P Torroni, M Prandini, M Ramilli, J Leite, J Martins
1st Workshop on Argumentation in Artificial Intelligence and Philosophy, 2010
12010
Changing Beliefs in a Changing World
JG Martins
Carnegie Mellon University Pittsburgh, PA, 2018
2018
ALI KHAN, Daanish CMU-CS-19-125 AMOS, Brandon CMU-CS-19-109 ANGIULI, Carlo CMU-CS-19-127 BHATTIPROLU, Vijay CMU-CS-19-115
B BOHRER, S CHANDRASEKARAN, C de Boor, T DICK, S DOROUDI, ...
The system can't perform the operation now. Try again later.
Articles 1–11