Formalizing action and change in modal logic I: the frame problem MA Castilho, O Gasquet, A Herzig Journal of logic and computation 9 (5), 701-735, 1999 | 114 | 1999 |
Modal tableaux with propagation rules and structural rules MA Castilho, LF del Cerro, O Gasquet, A Herzig Fundamenta Informaticae 32 (3-4), 281-297, 1997 | 72 | 1997 |
Petriplan: A new algorithm for plan generation (preliminary report) F Silva, MA Castilho, LA Künzle IBERAMIA-SBIA 1952, 86-95, 2000 | 45 | 2000 |
The need for speed: An analysis of brazilian malware classifiers F Ceschin, F Pinage, M Castilho, D Menotti, LS Oliveira, A Gregio IEEE Security & Privacy 16 (6), 31-41, 2018 | 39 | 2018 |
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation MA Castilho, A Herzig, IJ Varzinczak 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002 | 36 | 2002 |
On modelling virtual machine consolidation to pseudo-Boolean constraints BC Ribas, RM Suguimoto, RANR Montano, F Silva, L de Bona, ... Advances in Artificial Intelligence–IBERAMIA 2012: 13th Ibero-American …, 2012 | 28 | 2012 |
Modal tableaux for reasoning about actions and plans MA Castilho, O Gasquet, A Herzig Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 …, 1997 | 25 | 1997 |
Pbfvmc: A new pseudo-boolean formulation to virtual-machine consolidation BC Ribas, RM Suguimoto, RANR Montano, F Silva, M Castilho 2013 Brazilian conference on intelligent systems, 201-206, 2013 | 18 | 2013 |
Alternância entre competição e colaboração para promover o aprendizado por meio de heurísticas de jogos D Martineschen, AI Direne, LC De Bona, F Silva, M Castilho, A Guedes, ... Anais do Workshop de Informática na Escola 1 (1), 2006 | 14 | 2006 |
An investigation on genetic algorithms for generic strips planning M Castilho, LA Kunzle, E Lecheta, V Palodeto, F Silva IBERAMIA, 185-194, 2004 | 14 | 2004 |
Conceitos e ferramentas de apoio ao ensino de xadrez nas escolas brasileiras A Direne, L Bona, F Silva, G dos Santos, A Guedes, M Castilho, M Sunyé, ... X WIE, Salvador, 2004 | 13 | 2004 |
Definição formal de táticas de Xadrez por meio da autoria incremental de conceitos heurísticos A Feitosa, A Direne, F Silva, L de Bona, A Guedes, M Castilho, M Sunyé, ... Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2007 | 10 | 2007 |
Linguagem e ferramenta de autoria para promover o desenvolvimento de perícias em Xadrez C Hartmann, A Direne, L Bona, F Silva, G dos Santos, M Castilho, ... Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2005 | 10 | 2005 |
A Petri net based representation for planning problems M Castilho, A Guedes, T Lima, J Marynowski, R Montano, L Künzle, ... Booklet of International Planning Competition-IPC 4, 27-29, 2004 | 9 | 2004 |
O pensamento computacional no ensino fundamental i M Castilho, E Grebogy, I Santos Anais do Workshop de Informática na Escola 25 (1), 461-470, 2019 | 8 | 2019 |
Open educational resources platform based on collective intelligence MR de Oliveira, IB Sant’Anna, GS Ramos, LCE De Bona, MA Castilho, ... 2018 IEEE 4th International Conference on Collaboration and Internet …, 2018 | 8 | 2018 |
An alternative to the iteration operator of propositional dynamic logic M Castilho, A Herzig Tech. Rep. 96-05-R, IRIT, 1996 | 8 | 1996 |
Acquiring expertise in medical radiology through long-term interactions A Direne, M Sunyé, M Castilho, F Silva, L Bona, L García, D Scott 2008 21st IEEE International Symposium on Computer-Based Medical Systems …, 2008 | 7 | 2008 |
Laboratórios de Informática com Software Livre para Atender Políticas Estaduais do Ensino Escolar M Castilho, M Sunyé, D Weingaertner, L de Bona, F Silva, C Carvalho, ... Anais do Workshop de Informática na Escola 1 (1), 208-215, 2007 | 7 | 2007 |
Transparency meets management: A monitoring and evaluating tool for governmental projects C Trois, D Weingaertner, D Pasqualin, E Maciel, E Almeida, F Silva, ... 2017 IEEE/ACS 14th International Conference on Computer Systems and …, 2017 | 6 | 2017 |