On Reachability of Minimal Models of Multilattice-Based Logic Programs

Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño. On Reachability of Minimal Models of Multilattice-Based Logic Programs. In Alexander F. Gelbukh, Angel Fernando Kuri Morales, editors, MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings. Volume 4827 of Lecture Notes in Computer Science, pages 271-282, Springer, 2007. [doi]

Bibliographies