Volgen
Marcos Castilho
Marcos Castilho
DInf/UFPR
Geverifieerd e-mailadres voor ufpr.br
Titel
Geciteerd door
Geciteerd door
Jaar
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
751997
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
462000
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
442018
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
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
202013
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
162004
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
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
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
122007
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
112018
Springer: Berlin
LN Barros, M Finger, AT Pozo, GA Gimenénez-Lugo, M Castilho
Heidelberg, Germany 7589, 52-61, 2012
112012
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
102019
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
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
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
82017
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
72021
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20