-
Physical Sciences
General Computer Science
-
Social Sciences & Humanities
Information Systems and Management
-
Physical Sciences
General Computer Science
-
Social Sciences & Humanities
Management Information Systems
-
Social Sciences & Humanities
Education
-
Physical Sciences
General Computer Science
-
Physical Sciences
General Computer Science
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Social Sciences (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Fabrício CESCHIN; André Ricardo Abed GRÉGIO; David Menotti GOMES; Marcos Alexandre CASTILHO.
2017.
Avaliação da eficácia de classificadores de malware ao longo do tempo.
In:
Workshop de forense computacional do sbseg.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Antonio SCHREINER; Marcos CASTILHO; Fabiano SILVA; Razer Anthon Nizer Rojas MONTAÑO; Luis Allan KÜNZLE.
2013.
Planning net with ordination of propositions: an improvement to planning solvers with petri nets.
In:
X encontro nacional de inteligência artificial e computacional - eniac.
Brasil.
-
Physical Sciences
Artificial Intelligence
Anderson Pereira Das NEVES; Fabiano SILVA; Luis Allan KÜNZLE; Marcos CASTILHO.
2013.
Método para verificação de propriedades de redes de petri utilizando resolvedor smt.
In:
X encontro nacional de inteligência artificial e computacional - eniac.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Razer Anthon Nizer Rojas MONTAÑO; Marcos CASTILHO; Fabiano SILVA; Luis Allan KÜNZLE.
2011.
Usando redes de petri e resolvedores iscas para tratar planejamento como satisfatibilidade.
In:
Ix encontro nacional de inteligência artificial (csbc 2011 - enia).
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
-
Health Sciences
Medicine (miscellaneous)
Diego PASQUALIN; Vinicius RUOSO; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Ribas Bruno CESAR et al.
2009.
Sdi - sistema de diagnóstico instantâneo.
In:
Workshop de software livre.
Brasil.
-
Physical Sciences
Biomedical Engineering
-
Physical Sciences
Computer Science Applications
Alexandre Ibrahim DIRENE; Andre Luiz Pires GUEDES; Fabiano SILVA; Luis Carlos Erpen De BONA; Laura Sanches GARCIA et al.
2008.
Visualização de táticas para apoiar a aquisição de habilidades em jogos educacionais.
In:
Workshop sobre informática na escola (wie).
Brasil.
-
Social Sciences & Humanities
Education
Alexandre Ibrahim DIRENE; Marcos Sfair SUNYE; Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Carlos Erpen De BONA et al.
2008.
Diálogos adaptativos para a aprendizagem de radiologia.
In:
Workshop de informática médica (wim).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Daniel WEINGAERTNER; Fabiano SILVA; Marcos Sfair SUNYE et al.
2008.
Managing a grid of computer laboratories for educational purposes.
In:
Lagrid08 - latin american grid.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Razer Anthom Nizer Rojas MONTAÑO; Márcio Roberto MIRANDA; Marcos Alexandre CASTILHO; Lúcio Foltran Da SILVA; Roberto HEXSEL.
2008.
Businness intelligence nas escolas públicas do paraná.
In:
Workshop de software livre (wsl).
Brasil.
-
Physical Sciences
Computer Science Applications
Ribas Bruno CESAR; Josiney De SOUZA; Fabiano SILVA; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO.
2008.
Acesso de mídias removíveis em terminais thinclient sem disco.
In:
Workshop de software livre (wsl).
Brasil.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Human-Computer Interaction
Juliano PICUSSA; Laura Sanchez GARCIA; Juliana BUENO; Márcia Valéria FERREIRA; Alexandre Ibrahim DIRENE et al.
2008.
A user-interface environment solution as an educational tool for an online chess server on the web.
In:
International conference on enterprice information systems (iceis).
Espanha.
-
Social Sciences & Humanities
Education
Antonio Hobmeir NETO; Alexandre Ibrahim DIRENE; Fabiano SILVA; Luis Carlos Erpen De BONA; Laura Sánchez GARCÍA et al.
2008.
Uma abordagem dialógica alternativa para a aquisição de habilidades táticas em jogos educacionais.
In:
Simpósio brasileiro de informática na educação (sbie).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos CASTILHO; Luis Allan KÜNZLE; Silvio Alexandre PORTO.
2007.
Planejamento aplicado a jogos de computador: uma implementao baseada em redes de tarefas hierárquicas.
In:
Vi enia - encontro nacional de inteligência artificial.
Brasil.
-
Social Sciences & Humanities
Education
Marcos CASTILHO; Luis Allan KÜNZLE; Razer Anthon Nizer Rojas MONTAÑO; Fabiano SILVA.
2007.
Planejamento como satisfatibilidade: uma abordagem não clausal.
In:
Vi enia - encontro nacional de inteligência artificial; 2007.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Cassio CARVALHO; Marcos CASTILHO; Luis Allan KÜNZLE; Fabiano SILVA.
2007.
Gapnet: uma nova abordagem genética para o problema de planejamento em inteligência artificial.
In:
Vi enia - encontro nacional de inteligência artificial.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Nacib Mattar JUNIOR; Luis Allan KUNZLE; Fabiano SILVA; Marcos Alexandre CASTILHO; Evangivaldo LIMA.
2007.
Análise temporal de cenários em redes de petri temporais.
In:
Sbai 2007 - viii simpósio brasileiro de automação inteligente.
Brasil.
-
Social Sciences & Humanities
Education
Francisco Meira AGUIAR; Alexandre Ibrahim DIRENE; Luis Erpen De BONA; Fabiano SILVA; Marcos CASTILHO et al.
2007.
Ferramentas e métodos para apoiar o ensino de xadrez na fronteira entre os fundamentos e a perícia.
In:
Workshop de informática na escola 2007 (wie-2007).
Brasil.
-
Social Sciences & Humanities
Education
Marcos CASTILHO; Marcos Sfair SUNYE; Daniel WEINGAERTNER; Luis Erpen De BONA; Fabiano SILVA et al.
2007.
Laboratórios de informática com software livre para atender políticas estaduais do ensino escolar.
In:
Workshop de informática na escola 2007 (wie 2007).
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Alexandre FEITOSA; Alexandre Ibrahim DIRENE; Fabiano SILVA; Luis Erpen De BONA; André GUEDES et al.
2007.
Definição formal de táticas de xadrez por meio da autoria incremental de conceitos heurísticos.
In:
Sbie-2007 - xviii simpósio brasileiro de informática na educação.
Brasil.
-
Social Sciences & Humanities
Education
Daniel MARTINESCHEN; Alexandre Ibrahim DIRENE; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Et ALII.
2006.
Alternância entre competição e colaboração para promover o aprendizado por meio de heurísticas de jogos.
In:
Wie - workshop sobre informática na escola.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Ander Conselvan De OLIVEIRA; Tiago VIGNATTI; Daniel WEINGAERTNER; Fabiano SILVA; Marcos Alexandre CASTILHO et al.
2006.
Um modelo de computacao multiusuario baseado em computadores pessoais.
In:
Vii workshop de software livre.
Brasil.
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
Fabiano SILVA; Luis Allan KUNZLE; Marcos Alexandre CASTILHO.
2005.
Planning as reachability.
In:
Vii brasilian symposium on inteligent automation and ii latin america ieee robotics symposium.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Celso HARTMANN; Alexandre Ibrahim DIRENE; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Et ALII.
2005.
Linguagem e ferramenta de autoria para promover o desenvolvimento de perícias em xadrez.
In:
Xvi sbie - simpósio brasileiro de informática na educação (sbie-2005).
Brasil.
-
Physical Sciences
Artificial Intelligence
Marcos Alexandre CASTILHO; Luis Allan KÜNZLE; Fabiano SILVA.
2004.
A petri net based representation for planning problems.
In:
V international conference on knowledge based computer systems.
Índia.
-
Social Sciences & Humanities
Education
Marcos Alexandre CASTILHO; Alexandre Ibrahim DIRENE; Andre Luiz Pires GUEDES; Et ALII.
2004.
Conceitos e ferramentas de apoio ao ensino de xadrez nas escolas brasileiras.
In:
X wie - workshop sobre informática na escola.
Brasil.
-
Social Sciences & Humanities
Developmental and Educational Psychology
Marcos Alexandre CASTILHO; Andreas HERZIG; Ivan Jose VARZINCZAK.
2002.
It depends on the context! a decidable logic of actions and plans based on a ternary dependence relation.
In:
9th intl. workshop on non-monotonic reasoning nmr'2002.
França.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Marcos Alexandre CASTILHO; Ivan José VARZINCZAK.
2002.
Causalidade e dependencia em raciocinio sobre acoes.
In:
Wtdia 2002 - workshop de teses e dissertacoes em inteligencia artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Allan KUNZLE.
2002.
Petriplan: um novo algoritmo para geracao de planos.
In:
Wtdia 2002 - workshop de teses e dissertacoes em inteligencia artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marcos Alexandre CASTILHO; Edson Martins LECHETA.
2002.
Algoritmos geneticos para planificacao.
In:
Wtdia 2002 - workshop de teses e dissertacoes em inteligencia artificial.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Alexandre CASTILHO; Renato CARMO; Roberto HEXSEL.
2001.
Aparafusando parafusos: um modelo de laboratorio de computacao com qualidade e otimizacao de recursos.
In:
Workshop de ensino em informatica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Alexandre CASTILHO; Renato CARMO; Roberto HEXSEL.
2001.
Um modelo de gestão eficiente de recursos computacionais.
In:
Ii workshop sobre software livre.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marcos Alexandre CASTILHO; Luis Fariñas Del CERRO; Olivier GASQUET; Andreas HERZIG.
1998.
Reasoning about actions in modal logic.
In:
Symposium on reasoning about actions: foundations and applications.
Alemanha.
-
Social Sciences & Humanities
Linguistics and Language
Marcos Alexandre CASTILHO; Olivier GASQUET; Andreas HERZIG.
1997.
Modal tableaux for reasoning about actions and plans.
In:
European conference on planning.
França.
-
Social Sciences & Humanities
Linguistics and Language
Marcos Alexandre CASTILHO; Olivier GASQUET; Andreas HERZIG.
1997.
Solving the frame and ramification problems in modal logic plus dependence.
In:
International joint conference on artificial intelligence.
Japão.
-
Physical Sciences
Artificial Intelligence
Marcos Alexandre CASTILHO; Luis Fariñas Del CERRO; Olivier GASQUET; Andreas HERZIG.
1997.
A customized tableau method for reasoning about actions and plans in modal logic.
In:
Symposium on logical approaches to agent modeling and desing.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Alexandre CASTILHO; Newton José VIEIRA.
1991.
Implementação de explicação de respostas baseado em árvores de prova.
In:
Simpósio brasileiro de inteligência artificial.
Brasil.