Logic Programming without Negation as Failure
Auteurs : Dimopoulos Y., Kakas A.
Publication : In Proceedings of the International Logic Programming Symposium (ILPS) (pp. 369-383), 1995.
Auteurs : Dimopoulos Y., Kakas A.
Publication : In Proceedings of the International Logic Programming Symposium (ILPS) (pp. 369-383), 1995.