Marcos Castilho

Marcos Castilho

Universidade Federal do Paraná - Copenhagen / Brazil
Engineering & Technology / Computer Science
AD Scientific Index ID: 854250
Federal University of Parana UFPR
person_outline Marcos Castilho's MOST POPULAR ARTICLES
1-) Formalizing action and change in modal logic I: the frame problemMA Castilho, O Gasquet, A HerzigJournal of logic and computation 9 (5), 701-735, 19991131999
2-) Modal tableaux with propagation rules and structural rulesMA Castilho, LF del Cerro, O Gasquet, A HerzigFundamenta Informaticae 32 (3-4), 281-297, 1997681997
3-) The need for speed: An analysis of brazilian malware classifiersF Ceschin, F Pinage, M Castilho, D Menotti, LS Oliveira, A GregioIEEE Security & Privacy 16 (6), 31-41, 2018482018
4-) Petriplan: a new algorithm for plan generation (preliminary report)F Silva, M Alexandre Castilho, L Allan KünzleIbero-American Conference on Artificial Intelligence, 86-95, 2000482000
5-) It depends on the context! A decidable logic of actions and plans based on a ternary dependence relationMA Castilho, A Herzig, I Varzinczak9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002372002