Author:
Liu Mengchi,Dobbie Gillian,Ling Tok Wang
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Ceri, S., Gottlob, G., Tanca, T.: Logic Programming and Databases. Springer, Heidelberg (1990)
2. van Emden, M.H., Kowalski, R.A.: The Semantics of Predicate Logic as a Programming Language. Journal of ACM 23, 733–742 (1976)
3. Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundation of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann, Los Altos (1988)
4. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proceedings of the International Conference and Symposium on Logic Programming (ICLP/SLP 1988), pp. 1070–1080 (1988)
5. Gelder, A.V., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of ACM 38, 620–650 (1991)