Publicaciones (8) Publicaciones de JOSE GAINTZARAIN IBARMIA

2013

  1. Invariant-free clausal temporal resolution

    Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 1-49

  2. Logical foundations for more expressive declarative temporal logic programming languages

    ACM Transactions on Computational Logic, Vol. 14, Núm. 4

2010

  1. Translating propositional extended conjunctions of Horn clauses into Boolean circuits

    Theoretical Computer Science, Vol. 411, Núm. 16-18, pp. 1723-1733

2009

  1. A new approach to temporal logic programming

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

  2. Dual Systems of Tableaux and Sequents for PLTL

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 8, pp. 701-722

2008

  1. Systematic Semantic Tableaux for PLTL

    Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 59-73

2007

  1. A cut-free and invariant-free sequent calculus for PLTL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Goals in the prepositional Horn⊃ language are monotone Boolean circuits

    Lecture Notes in Computer Science