| 2008 |
|---|
| 10 | EE | Alexandre Ibrahim Direne,
Marcos Sfair Sunyé,
Marcos A. Castilho,
Fabiano Silva,
Luis C. E. de Bona,
Laura Sánchez García,
Donia Scott:
Acquiring Expertise in Medical Radiology through Long-Term Interactions.
CBMS 2008: 403-408 |
| 9 | | Juliano Picussa,
Laura Sánchez García,
Juliana Bueno,
Márica V. R. Ferreira,
Alexandre Ibrahim Direne,
Luis C. E. de Bona,
Fabiano Silva,
Marcos A. Castilho,
Marcos Sfair Sunyé:
A User-Interface Environment Solution as an Educational Tool for an Online Chess Server on the Web.
ICEIS (5) 2008: 262-267 |
| 8 | EE | Juliano Picussa,
Laura Sánchez García,
Juliana Bueno,
Márica V. R. Ferreira,
Alexandre Ibrahim Direne,
Luis C. E. de Bona,
Fabiano Silva,
Marcos A. Castilho,
Marcos Sfair Sunyé:
A user-interface environment solution for an online educational Chess server.
RCIS 2008: 179-186 |
| 2004 |
|---|
| 7 | EE | Marcos A. Castilho,
Luis Allan Künzle,
Edson Lecheta,
Viviane Palodeto,
Fabiano Silva:
An Investigation on Genetic Algorithms for Generic STRIPS Planning.
IBERAMIA 2004: 185-194 |
| 2002 |
|---|
| 6 | | Marcos A. Castilho,
Andreas Herzig,
Ivan José Varzinczak:
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation.
NMR 2002: 343-348 |
| 2000 |
|---|
| 5 | EE | Fabiano Silva,
Marcos A. Castilho,
Luis Allan Künzle:
Petriplan: A New Algorithm for Plan Generation (Preliminary Report).
IBERAMIA-SBIA 2000: 86-95 |
| 1999 |
|---|
| 4 | EE | Marcos A. Castilho,
Olivier Gasquet,
Andreas Herzig:
Formalizing Action and Change in Modal Logic I: the frame problem.
J. Log. Comput. 9(5): 701-735 (1999) |
| 1998 |
|---|
| 3 | | Marcos A. Castilho,
Luis Fariñas del Cerro,
Olivier Gasquet,
Andreas Herzig:
Modal tableaux based on graph-rules.
RelMiCS 1998: 37-42 |
| 1997 |
|---|
| 2 | | Marcos A. Castilho,
Olivier Gasquet,
Andreas Herzig:
Modal Tableaux for Reasoning About Actions and Plans.
ECP 1997: 104-116 |
| 1 | | Marcos A. Castilho,
Luis Fariñas del Cerro,
Olivier Gasquet,
Andreas Herzig:
Modal Tableaux with Propagation Rules and Structural Rules.
Fundam. Inform. 32(3-4): 281-297 (1997) |
