Publisher
Springer Berlin Heidelberg
Reference66 articles.
1. Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann Pub., Washington, D.C (1988)
2. Lecture Notes in Artificial Intelligence;P. Borchert,2003
3. Bar-Hillel, Y., McCarthy, J., Selfridge, O.: Discussion of the paper: Programs with common sense. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy, pp. 17–20. Ablex, London (1990)
4. Lecture Notes in Computer Science;C. Baral,1990
5. Baral, C., Subrahmanian, V.S.: Stable and Extension Class Theory for Logic Programs and Default Logics. Journal of Automated Reasoning 8(3), 345–366 (1992)