Publisher
Springer Science and Business Media LLC
Reference21 articles.
1. Genesereth MR, Nilsson NJ (1987) Logical foundations for artificial intelligence. Kaufmann, Los Altos
2. Ceri S, Gottlob G, Tanca L (1990) Logic programming and databases. Springer, Berlin
3. Abiteboul S, Hull R, Vianu V (1995) Foundations of databases. Addison-Wesley, Reading
4. Leone N, Pfeifer G, Faber W, Eiter Th, Gottlob G, Perri S, Scarcello F (2006) The DLV system for knowledge representation and reasoning. ACM Trans Comput Log 7(3):499–562
5. Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9:365–385