Disjunctive Logic Program = Horn Program + Control Program

Wenjin Lu, Ulrich Furbach. Disjunctive Logic Program = Horn Program + Control Program. In Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach, editors, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Volume 1489 of Lecture Notes in Computer Science, pages 33-46, Springer, 1998. [doi]

Authors

Wenjin Lu

This author has not been identified. Look up 'Wenjin Lu' in Google

Ulrich Furbach

This author has not been identified. Look up 'Ulrich Furbach' in Google