Línea: Demostración Automática

Objetivos:

• Desarrollo de procedimientos de demostración automática basados en Resolución.

Actividad:

• Una tesis realizada y varias publicaciones científicas.

 

• Tesis doctoral:

        Título: Resolución SL*: un paradigma basado en Resolución Lineal para
                   demostración automática.
        Autor: Juan Carlo Casamayor Ródenas.
        Directores: Dr. Isidro Ramos Salavert (DSIC)
                          Dr. Hendrik Decker (Centro de Investigación de Siemens. Munich)
        Fecha: Octubre 1996
 
• Publicaciones científicas:

   Demostración automática.
         Casamayor, J.C.; Decker, H.; Marqués, F.
         “A mechanism for Verificating Knowledge Scheme Specifications”,
         Proc. EUROVAV (European Symposium on Validation and Verification of
         Knowledge Based Systems), ISBN: 84-604-5817-2, pag. 103-116, 1993.

        Casamayor, J.C.; Decker, H.
        “A Hypothetical Query Answering Procedure for first-order databases”
         Proc. SCAI’95 (Scandinavian Conference on Artificial Intelligence ),
         ISBN: 90-5199-211-1, pags. 368-372, 1995.