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 | 77 | 1997 |
Petriplan: a new algorithm for plan generation (preliminary report) F Silva, M Alexandre Castilho, L Allan Künzle Ibero-American Conference on Artificial Intelligence, 86-95, 2000 | 46 | 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 | 44 | 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 | 37 | 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 | 32 | 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 | 20 | 2013 |
An investigation on genetic algorithms for generic strips planning M Castilho, LA Kunzle, E Lecheta, V Palodeto, F Silva Advances in Artificial Intelligence–IBERAMIA 2004: 9th Ibero-American …, 2004 | 16 | 2004 |
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 |
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 | 14 | 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 | 12 | 2007 |
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 | 11 | 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 | 11 | 2018 |
Springer: Berlin LN Barros, M Finger, AT Pozo, GA Gimenénez-Lugo, M Castilho Heidelberg, Germany 7589, 52-61, 2012 | 11 | 2012 |
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 |
Mapeamento das iniciativas de promoção do pensamento computacional no ensino fundamental EC Grebogy, I Santos, MA Castilho Anais do XXXII Simpósio Brasileiro de Informática na Educação, 965-975, 2021 | 8 | 2021 |
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 | 8 | 2017 |
Computação desplugada no ensino fundamental i: Um mapeamento sistemático de literatura EC Grebogy, I Santos, MA Castilho Anais do XXXII Simpósio Brasileiro de Informática na Educação, 953-964, 2021 | 7 | 2021 |