Follow
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
1161999
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
801997
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
482018
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
482000
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
MA Castilho, A Herzig, I Varzinczak
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
372002
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
322012
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
212013
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
152006
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
152004
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
152004
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
142018
Springer: Berlin
LN Barros, M Finger, AT Pozo, GA Gimenénez-Lugo, M Castilho
Heidelberg, Germany 7589, 52-61, 2012
132012
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
122019
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
122007
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
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
92017
A Petri net based representation for planning problems
M Castilho, A Guedes, T Lima, J Marynowski, R Montano, F Silva
Booklet of International Planning Competition-IPC 4, 27-29, 2004
92004
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
82021
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
82021
The system can't perform the operation now. Try again later.
Articles 1–20