Marcos Castilho
Marcos Castilho
DInf/UFPR
Verified email at ufpr.br
Title
Cited by
Cited by
Year
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
1041999
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
671997
Petriplan: a new algorithm for plan generation (preliminary report)
F Silva, MA Castilho, LA Künzle
Advances in Artificial Intelligence, 86-95, 2000
412000
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
352002
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
272012
Modal tableaux for reasoning about actions and plans
MA Castilho, O Gasquet, A Herzig
European Conference on Planning, 104-116, 1997
231997
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
142013
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
142004
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
132007
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
132006
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
112004
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
92004
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
82005
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
72008
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
72007
An alternative to the iteration operator of propositional dynamic logic
M Castilho, A Herzig
Technical Report 96-05-R, IRIT, 1996
71996
The need for speed: An analysis of brazilian malware classifers
F Ceschin, F Pinage, M Castilho, D Menotti, LS Oliveira, A Gregio
IEEE Security & Privacy 16 (6), 31-41, 2018
62018
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
62007
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
42012
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
42009
The system can't perform the operation now. Try again later.
Articles 1–20