The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marcos A. Castilho: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002