Publisher
Springer International Publishing
Reference20 articles.
1. Apt, K., Bol, R.: Logic programming and negation: a survey. J. Logic Program. 19/20, 9–71 (1994)
2. International Series in Computer Science;KR Apt,1997
3. Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases. Springer, Boston (1978). https://doi.org/10.1007/978-1-4684-3384-5_11
4. Clark, K.L.: Predicate logic as computational formalism. Technical report 79/59. Imperial College, London (1979)
5. Doets, K.: From Logic to Logic Programming. The MIT Press, Cambridge, MA (1994)