Folgen
Marcos Castilho
Marcos Castilho
DInf/UFPR
Bestätigte E-Mail-Adresse bei ufpr.br
Titel
Zitiert von
Zitiert von
Jahr
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
1131999
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
681997
Petriplan: a new algorithm for plan generation (preliminary report)
F Silva, MA Castilho, LA Künzle
Advances in Artificial Intelligence, 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
382018
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
362002
On modelling virtual machine consolidation to pseudo-Boolean constraints
BC Ribas, RM Suguimoto, RANR Montano, F Silva, L Bona, MA Castilho
Ibero-American Conference on Artificial Intelligence, 361-370, 2012
292012
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
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
Ibero-American Conference on Artificial Intelligence, 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
92005
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20