Seguir
Marcos Castilho
Marcos Castilho
DInf/UFPR
E-mail confirmado em ufpr.br
Título
Citado por
Citado por
Ano
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
1141999
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
721997
Petriplan: A new algorithm for plan generation (preliminary report)
F Silva, MA Castilho, LA Künzle
IBERAMIA-SBIA 1952, 86-95, 2000
452000
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
392018
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
362002
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
282012
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
251997
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
182013
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
142006
An investigation on genetic algorithms for generic strips planning
M Castilho, LA Kunzle, E Lecheta, V Palodeto, F Silva
IBERAMIA, 185-194, 2004
142004
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
132004
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
102007
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
102005
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
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
82019
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
82018
An alternative to the iteration operator of propositional dynamic logic
M Castilho, A Herzig
Tech. Rep. 96-05-R, IRIT, 1996
81996
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), 208-215, 2007
72007
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
62017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20