| 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 | 104 | 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 | 67 | 1997 |
| Petriplan: a new algorithm for plan generation (preliminary report) F Silva, MA Castilho, LA Künzle Advances in Artificial Intelligence, 86-95, 2000 | 41 | 2000 |
| It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. MA Castilho, A Herzig, IJ Varzinczak NMR, 343-348, 2002 | 35 | 2002 |
| On modelling virtual machine consolidation to pseudo-Boolean constraints BC Ribas, RM Suguimoto, RANR Montano, F Silva, L de Bona, ... Ibero-American Conference on Artificial Intelligence, 361-370, 2012 | 27 | 2012 |
| Modal tableaux for reasoning about actions and plans MA Castilho, O Gasquet, A Herzig European Conference on Planning, 104-116, 1997 | 23 | 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 | 14 | 2013 |
| An investigation on genetic algorithms for generic strips planning M Castilho, LA Kunzle, E Lecheta, V Palodeto, F Silva Ibero-American Conference on Artificial Intelligence, 185-194, 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 | 13 | 2007 |
| 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 | 13 | 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é, ... Anais do WIE2004 Workshop sobre Informática na Escola, 816-825, 2004 | 11 | 2004 |
| 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 |
| 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 | 8 | 2005 |
| 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), 2007 | 7 | 2007 |
| An alternative to the iteration operator of propositional dynamic logic M Castilho, A Herzig Technical Report 96-05-R, IRIT, 1996 | 7 | 1996 |
| Making government policies for education possible by means of Open Source technology: a successful case M Castilho, MS Sunye, D Weingaerter, LCE de Bona, F Silva, A Direne, ... Open Source for Knowledge and Learning Management: Strategies Beyond Tools …, 2007 | 6 | 2007 |
| On modeling connectedness in reductions from graph problems to extended satisfiability RT de Oliveira, F Silva, BC Ribas, MA Castilho Ibero-American Conference on Artificial Intelligence, 381-391, 2012 | 4 | 2012 |
| Objetos de aprendizagem generalizáveis para o currículo de Matemática do ensino médio A Direne, A Pimentel, G Ramos, D Marczal, E Carvalho, M Castilho, ... Anais do Workshop de Informática na Escola 1 (1), 1693-1702, 2009 | 4 | 2009 |
| Authoring adaptive tutoring systems for complex visual skills A Direne, L Bona, MS Sunye, M Castilho, F Silva, L Garcia, D Scott 2009 Ninth IEEE International Conference on Advanced Learning Technologies …, 2009 | 4 | 2009 |
