Следене
João G. Martins
João G. Martins
PhD student, Computer Science, CMU and CENTRIA/FCT/UNL
Потвърден имейл адрес: cs.cmu.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
Social Abstract Argumentation
J Leite, J Martins
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
2222011
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
1462012
Extending social abstract argumentation with votes on attacks
S Eğilmez, J Martins, J Leite
Theory and Applications of Formal Argumentation: Second International …, 2014
532014
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
252011
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
22019
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
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–8