Ciencias de la Computación y Tecnologías de la Información
Departamento
University of Victoria
Victoria, CanadáPublicaciones en colaboración con investigadores/as de University of Victoria (2)
2013
2007
-
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)