Invariant-Free Clausal Temporal Resolution

Resumen:

We provide an extended abstract of the paper with the same title and authors that is going to appear in Journal of Automated Reasoning (Online from December 2th, 2011).

Palabras Clave:

Clausal Normal Form - Invariant-free - Resolution - Temporal Logic

Autor(es):

• J. Gaintzarain {}
  The University of the Basque Country, 48012-Bilbao, Spain
  
• M. Hermo {}
  The University of the Basque Country, 20080-San Sebastián, Spain
  
• P. Lucio {}
  The University of the Basque Country, 20080-San Sebastián, Spain
  
• M. Navarro {}
  The University of the Basque Country, 20080-San Sebastián, Spain
  
• F. Orejas {}
  Technical University of Catalonia, 08034-Barcelona, Spain
  

Handle:

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex