A first‐order representation of stable models[1]A preliminary version of this paper has appeared in: Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’97), J. Dix, U. Furbach and A. Nerode, eds, LNCS 1265, Springer, 1997.
Titel:
A first‐order representation of stable models[1]A preliminary version of this paper has appeared in: Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’97), J. Dix, U. Furbach and A. Nerode, eds, LNCS 1265, Springer, 1997.
Auteur:
Eiter, Thomas Lu, James Subrahmanian, V.S.
Verschenen in:
AI communications
Paginering:
Jaargang 11 (1998) nr. 1 pagina's 53-73
Jaar:
1998
Inhoud:
Uitgever:
IOS Press, Van Diemenstraat 94, 1013 CN Amsterdam, The Netherlands