| 2007 |
Trabalho em evento |
Análise Temporal de Cenários em Redes de Petri Temporais
Nacib Mattar JUNIOR; Luis Allan KUNZLE; Fabiano SILVA; Marcos Alexandre CASTILHO; Evangivaldo LIMA
SBAI 2007 - VIII Simpósio Brasileiro de Automação Inteligente
|
PS
Computer Science (miscellaneous)
|
| 2007 |
Trabalho em evento |
Definição formal de táticas de Xadrez por meio da autoria incremental de conceitos heurísticos
Feitosa ALEXANDRE; Alexandre Ibrahim DIRENE; Fabiano SILVA; Luis Carlos Erpen De BONA; Andre Luiz Pires GUEDES et al
XVIII Siimposio Brasileiro de Informatica na Educacao (SBIE'07)
|
PS
Artificial Intelligence
|
| 2006 |
Trabalho em evento |
Alternância entre competição e colaboração para promover o aprendizado por meio de heurísticas de jogos
Daniel MARTINESCHEN; Alexandre Ibrahim DIRENE; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Et ALII
WIE - Workshop sobre Informática na Escola
ISBN 85766907
|
SH
Education
|
| 2006 |
Trabalho em evento |
Um modelo de computacao multiusuario baseado em computadores pessoais
Ander Conselvan De OLIVEIRA; Tiago VIGNATTI; Daniel WEINGAERTNER; Fabiano SILVA; Marcos Alexandre CASTILHO et al
VII Workshop de Software Livre
|
PS
Computer Science (miscellaneous)
|
| 2005 |
Trabalho em evento |
Planning as Reachability
Fabiano SILVA; Luis Allan KUNZLE; Marcos Alexandre CASTILHO
VII Brasilian Symposium on Inteligent Automation and II Latin America IEEE Robotics Symposium
|
SH
Business; Management and Accounting (miscellaneous)
|
| 2005 |
Trabalho em evento |
Linguagem e Ferramenta de Autoria para Promover o Desenvolvimento de Perícias em Xadrez
Celso HARTMANN; Alexandre Ibrahim DIRENE; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Et ALII
XVI SBIE - Simpósio Brasileiro de Informática na Educação (SBIE-2005)
ISBN 85882794
|
PS
Computer Science (miscellaneous)
|
| 2004 |
Capítulo de livro |
An Investigation on Genetic Algorithms for Generic STRIPS Planning
Marcos Alexandre CASTILHO; Kunzle Luis ALLAN; Lecheta EDSON; Palodeto VIVIANE; Silva FABIANO
Lecture Notes in Computer Science
DOI 10.1007/978-3-540-30498-2_19
ISBN 9783540238065
|
PS
Computer Science (miscellaneous)
|
| 2004 |
Trabalho em evento |
A Petri Net Based Representation for Planning Problems
Marcos Alexandre CASTILHO; Luis Allan KUNZLE; Fabiano SILVA
V International Conference on Knowledge Based Computer Systems
|
PS
Computational Theory and Mathematics
|
| 2004 |
Trabalho em evento |
Conceitos e Ferramentas de Apoio ao Ensino de Xadrez nas Escolas Brasileiras
Marcos Alexandre CASTILHO; Alexandre Ibrahim DIRENE; Andre Luiz Pires GUEDES; Et ALII
X WIE - Workshop sobre Informática na Escola
ISBN 85884429
|
SH
Education
|
| 2002 |
Trabalho em evento |
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
Marcos Alexandre CASTILHO; Andreas HERZIG; Ivan Jose VARZINCZAK
9th Intl. Workshop on Non-Monotonic Reasoning NMR'2002
|
SH
Developmental and Educational Psychology
|
| 2002 |
Trabalho em evento |
Causalidade e dependencia em raciocinio sobre acoes
Marcos Alexandre CASTILHO; Ivan José VARZINCZAK
WTDIA 2002 - workshop de teses e dissertacoes em Inteligencia Artificial
|
SH
Psychology (miscellaneous)
|
| 2002 |
Trabalho em evento |
Petriplan: Um Novo Algoritmo para Geracao de Planos
Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Allan KUNZLE
WTDIA 2002 - Workshop de Teses e Dissertacoes em Inteligencia Artificial
|
PS
Artificial Intelligence
|
| 2002 |
Trabalho em evento |
Algoritmos Geneticos para Planificacao
Marcos Alexandre CASTILHO; Edson Martins LECHETA
WTDIA 2002 - Workshop de Teses e Dissertacoes em Inteligencia Artificial
|
PS
Artificial Intelligence
|
| 2001 |
Trabalho em evento |
Aparafusando Parafusos: um modelo de laboratorio de computacao com qualidade e otimizacao de recursos
Marcos Alexandre CASTILHO; Renato CARMO; Roberto HEXSEL
Workshop de Ensino em Informatica
|
PS
Computer Science (miscellaneous)
|
| 2001 |
Trabalho em evento |
Um Modelo de Gestão Eficiente de Recursos Computacionais
Marcos Alexandre CASTILHO; Renato CARMO; Roberto HEXSEL
II Workshop Sobre Software Livre
|
PS
Computer Science (miscellaneous)
|
| 2000 |
Capítulo de livro |
Raisonnement sur les actions: les approches basées sur la causalité et la dépendance
Marcos Alexandre CASTILHO; Andreas HERZIG; Camila SCHWIND
Nouveaux défis en Sciences de l'Information : Documents et Evolution
|
SH
Psychology (miscellaneous)
|
| 2000 |
Capítulo de livro |
Petriplan: A New Algorithm for Plan Generation (Preliminary Report)
Silva FABIANO; Marcos Alexandre CASTILHO; Künzle LUIS
Advances in Artificial Intelligence
DOI 10.1007/3-540-44399-1_10
ISBN 9783540412762
|
PS
Artificial Intelligence
|
| 1999 |
Artigo em periódico |
Formalizing action and change in modal logic I: the frame problem
Marcos Alexandre CASTILHO; Olivier GASQUET; Andreas HERZIG
Journal of Logic and Computation (Print)
DOI 10.1093/logcom/9.5.701
ISSN 0955-792X
|
SH
Linguistics and Language
|
| 1998 |
Trabalho em evento |
Reasoning About Actions in Modal Logic
Marcos Alexandre CASTILHO; Luis Fariñas Del CERRO; Olivier GASQUET; Andreas HERZIG
Symposium on Reasoning About Actions: Foundations and Applications
|
PS
Artificial Intelligence
|
| 1997 |
Trabalho em evento |
Modal Tableaux for Reasoning About Actions and Plans
Marcos Alexandre CASTILHO; Olivier GASQUET; Andreas HERZIG
European Conference on Planning
|
SH
Linguistics and Language
|
| 1997 |
Trabalho em evento |
Solving the Frame and Ramification Problems in Modal Logic plus Dependence
Marcos Alexandre CASTILHO; Olivier GASQUET; Andreas HERZIG
International Joint Conference on Artificial Intelligence
|
SH
Linguistics and Language
|
| 1997 |
Trabalho em evento |
A Customized Tableau Method for Reasoning About ACtions and Plans in Modal Logic
Marcos Alexandre CASTILHO; Luis Fariñas Del CERRO; Olivier GASQUET; Andreas HERZIG
Symposium on logical Approaches to Agent Modeling and Desing
|
PS
Artificial Intelligence
|
| 1997 |
Artigo em periódico |
Modal Tableaux with Propagation Rules and Structural Rules
Marcos Alexandre CASTILHO; Luis Fariñas Del CERRO; Olivier GASQUET; Andreas HERZIG
Fundamenta Informaticae
DOI 10.3233/FI-1997-323404
ISSN 0169-2968
|
SH
Language and Linguistics
|
| 1991 |
Trabalho em evento |
Implementação de Explicação de Respostas Baseado em Árvores de Prova
Marcos Alexandre CASTILHO; Newton José VIEIRA
Simpósio Brasileiro de Inteligência Artificial
|
PS
Computer Science (miscellaneous)
|