Search the dblp DataBase

Publications of Author

1. Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
   Modal tableaux based on graph-rules. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 1998, pp:37-42 [Conf]
   
2. Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
   Modal Tableaux for Reasoning About Actions and Plans. [Citation Graph (0, 0)][DBLP]
   ECP, 1997, pp:104-116 [Conf]
   
3. Marcos A. Castilho, Luis Allan Künzle, Edson Lecheta, Viviane Palodeto, Fabiano Silva
   An Investigation on Genetic Algorithms for Generic STRIPS Planning. [Citation Graph (0, 0)][DBLP]
   IBERAMIA, 2004, pp:185-194 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   NMR, 2002, pp:343-348 [Conf]
   
5. Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle
   Petriplan: A New Algorithm for Plan Generation (Preliminary Report). [Citation Graph (0, 0)][DBLP]
   IBERAMIA-SBIA, 2000, pp:86-95 [Conf]
   
6. Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
   Modal Tableaux with Propagation Rules and Structural Rules. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1997, v:32, n:3-4, pp:281-297 [Journal]
   
7. Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
   Formalizing Action and Change in Modal Logic I: the frame problem. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1999, v:9, n:5, pp:701-735 [Journal]
   
8. 
   Acquiring Expertise in Medical Radiology through Long-Term Interactions. [Citation Graph (, )][DBLP]
   
   
9. 
   Authoring Adaptive Tutoring Systems for Complex Visual Skills. [Citation Graph (, )][DBLP]
   
   
10. 
    A User-Interface Environment Solution as an Educational Tool for an Online Chess Server on the Web. [Citation Graph (, )][DBLP]
    
    
11. 
    On Collaborative Software for Web Communities Evaluation - A Case Study. [Citation Graph (, )][DBLP]
    
    
12. 
    Scenario-based Design - An Essential Instrument for an Innovative Target Application - Case Report. [Citation Graph (, )][DBLP]
    
    
13. 
    A user-interface environment solution for an online educational Chess server. [Citation Graph (, )][DBLP]