Social Abstract Argumentation J Leite, J Martins Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 248 | 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 | 156 | 2012 |
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 | 65 | 2013 |
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 | 26 | 2011 |
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 | 4 | 2010 |
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 | 2 | 2013 |
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 | 1 | 2019 |
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 | 1 | 2019 |
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 | 1 | 2010 |
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, ... | | |