José Pedro
Cabalar Fernández
Catedrático de Universidade
National and Kapodistrian University of Athens
Atenas, GreciaPublications in collaboration with researchers from National and Kapodistrian University of Athens (1)
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)