Jürgen Dix;Georg Gottlob;Viktor Marek
-;-;-
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
Fundamenta Informaticae
Answer set programming
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access