Strong and Weak Constraints in Disjunctive Datalog

Francesco Buccafurri, Nicola Leone, Pasquale Rullo. Strong and Weak Constraints in Disjunctive Datalog. In Jürgen Dix, Ulrich Furbach, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Volume 1265 of Lecture Notes in Computer Science, pages 2-17, Springer, 1997.

Abstract

Abstract is missing.