Publikationen in Zusammenarbeit mit Forschern von Universitat Politècnica de Catalunya (7)

2013

  1. Invariant-free clausal temporal resolution

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

2009

  1. Dual Systems of Tableaux and Sequents for PLTL

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

2008

  1. A functorial framework for constraint normal logic programming

    Applied Categorical Structures, Vol. 16, Núm. 3, pp. 421-450

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)

2006

  1. A functrial framework for constraint normal logic programming

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

2004

  1. Constructive negation by bottom-up computation of literal answers

    Proceedings of the ACM Symposium on Applied Computing

1999

  1. Algebraic framework for the definition of compositional semantics of normal logic programs

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 89-123