Marcos A. Castilho

Bruno Cesar Ribas, Rubens Massayuki Suguimoto, Razer A. N. R. Montaño, Fabiano Silva, Luis Carlos Erpen De Bona, Marcos A. Castilho: On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints. IBERAMIA 2012: 361-370

Ricardo Tavares de Oliveira, Fabiano Silva, Bruno Cesar Ribas, Marcos A. Castilho: On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. IBERAMIA 2012: 381-391

Marcos A. Schreiner, Marcos A. Castilho, Fabiano Silva, Luis Allan Künzle: The Planning Net: Exploring the Petri Net Flow to Improve Planning Solvers. IBERAMIA 2012: 581-590

Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho (Eds.): Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings. Lecture Notes in Computer Science 7589, Springer 2012, isbn 978-3-642-34458-9

Maici Duarte Leite, Laura Sánchez García, Andrey R. Pimentel, Marcos Sfair Sunyé, Marcos A. Castilho, Luis C. E. Bona, Fabiano Silva: A User-interface Environment as a Support in Maths Teaching for Deaf Children. ICEIS (5) 2010: 79-85

Alexandre Ibrahim Direne, Luis Carlos Erpen De Bona, Marcos Sfair Sunyé, Marcos A. Castilho, Fabiano Silva, Laura Sánchez García, Donia Scott: Authoring Adaptive Tutoring Systems for Complex Visual Skills. ICALT 2009: 160-164

Laura Sánchez García, Dayane F. Machado, Juliano Duarte, Alexandre Ibrahim Direne, Marcos Sfair Sunyé, Marcos A. Castilho, Luis Carlos Erpen De Bona, Fabiano Silva: On Collaborative Software for Web Communities Evaluation - A Case Study. ICEIS (5) 2009: 61-65

Laura Sánchez García, Alexandre Ibrahim Direne, Marcos A. Castilho, Luis Carlos Erpen De Bona, Fabiano Silva, Marcos Sfair Sunyé: Scenario-based Design - An Essential Instrument for an Innovative Target Application - Case Report. ICEIS (5) 2009: 113-117

Alexandre Ibrahim Direne, Marcos Sfair Sunyé, Marcos A. Castilho, Fabiano Silva, Luis Carlos Erpen De Bona, Laura Sánchez García, Donia Scott: Acquiring Expertise in Medical Radiology through Long-Term Interactions. CBMS 2008: 403-408

Juliano Picussa, Laura Sánchez García, Juliana Bueno, Márica V. R. Ferreira, Alexandre Ibrahim Direne, Luis Carlos Erpen 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

Juliano Picussa, Laura Sánchez García, Juliana Bueno, Márica V. R. Ferreira, Alexandre Ibrahim Direne, Luis Carlos Erpen 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

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

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

Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle: Petriplan: A New Algorithm for Plan Generation (Preliminary Report). IBERAMIA-SBIA 2000: 86-95

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)

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig: Modal tableaux based on graph-rules. RelMiCS 1998: 37-42

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)

Marcos A. Castilho, Olivier Gasquet, Andreas Herzig: Modal Tableaux for Reasoning About Actions and Plans. ECP 1997: 104-116