Joćo G. Martins
Joćo G. Martins
PhD student, Computer Science, CMU and CENTRIA/FCT/UNL
Geverifieerd e-mailadres voor - Homepage
Geciteerd door
Geciteerd door
Social Abstract Argumentation
J Leite, J Martins
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
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
Extending social abstract argumentation with votes on attacks
S Eğilmez, J Martins, J Leite
Theory and Applications of Formal Argumentation, 16-31, 2014
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
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
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
Changing Beliefs in a Changing World
JG Martins
Carnegie Mellon University Pittsburgh, PA, 2018
Arguments against the Troll (position paper)
P Torroni, M Prandini, M Ramilli, J Leite, J Martins
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–8