Publications in collaboration with researchers from 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)