Social Abstract Argumentation J Leite, J Martins Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 259 | 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 | 160 | 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 | 67 | 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 |
The Impact of Rectification on the Guaranteed Minimum Pension in the United Kingdom JGF Martins PQDT-Global, 2022 | 1 | 2022 |
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 |
Recommendations on Primary Physical Education Teacher Education [PRIME PETE Project-Report Intellectual Output# 2] M Onofre, N Ferro, J Martins, A Rodrigues, A Carraro, C Scheuer, ... -, 2023 | | 2023 |
Primary Physical Education Teacher Profile [PRIME PETE Project-Report IntellectualOutput# 3] RM Repond, T Csányi, C Scheuer, F Ries, A Carraro, M Onofre, J Martins, ... -, 2023 | | 2023 |
Changing Beliefs in a Changing World JG Martins Carnegie Mellon University Pittsburgh, PA, 2018 | | 2018 |
News of International Organisations AIESEP News www. aiesep. org/rmarttin@ gmu. edu J Martins, M Slingerland, A Carraro | | |
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, ... | | |