Publicaciones en colaboración con investigadores/as de University of Victoria (1)

2007

  1. A purely model-theoretic semantics for disjunctive logic programs with negation

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