Databases Reference
In-Depth Information
26. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Logic
Programming: Proceedings Fifth Intl Conference and Symposium, pp. 1070-1080. MIT
Press, Cambridge (1988)
27. Van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic
Programs. Journal of the ACM 38(3), 620-650 (1991)
28. Minker, J.: On Indefinite Data Bases and the Closed World Assumption. In: Loveland, D.W.
(ed.) CADE 1982. LNCS, vol. 138, pp. 292-308. Springer, Heidelberg (1982)
29. Yahya, A.H., Henschen, L.J.: Deduction in Non-Horn Databases. Journal of Automated
Reasoning 1(2), 141-160 (1985)
30. Przymusinski, T.C.: Stable Semantics for Disjunctive Programs. New Generation Comput-
ing 9, 401-424 (1991)
31. Wang, K., Zhou, L.: Comparisons and Computation of Well-founded Semantics for Dis-
junctive Logic Programs. ACM Transactions on Computational Logic 6(2) (April 2005)
32. Ben-Eliyahu, R., Dechter, R.: Propositional Semantics for Disjunctive Logic Programs. An-
nals of Mathematics and Artificial Intelligence 12, 53-87 (1994)
33. Dix, J., Gottlob, G., Marek, V.W.: Reducing Disjunctive to Non-Disjunctive Semantics by
Shift-Operations. Fundamenta Informaticae 28, 87-100 (1996) (This is a full version of
[142])
34. Leone, N., Rullo, P., Scarcello, F.: Disjunctive Stable Models: Unfounded Sets, Fixpoint
Semantics and Computation. Information and Computation 135(2), 69-112 (1997)
35. Lifschitz, V., Pearce, D., Valverde, A.: Strongly Equivalent Logic Programs. ACM Trans-
actions on Computational Logic 2(4), 526-541 (2001)
36. Pearce, D.: Equilibrium logic. Annals of Mathematics and Artificial Intelligence 47(1-2),
3-41 (2006)
37. Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der
Preussischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse, 42-56
(1930)
38. Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs:
Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI),
vol. 3229, pp. 200-212. Springer, Heidelberg (2004)
39. Faber, W., Leone, N., Pfeifer, G.: Semantics and complexity of recursive aggregates in an-
swer set programming. Artificial Intelligence 175(1), 278-298 (2011); Special Issue: John
McCarthy's Legacy
40. Lifschitz, V.: Twelve definitions of a stable model. In: Garcia de la Banda, M., Pontelli, E.
(eds.) ICLP 2008. LNCS, vol. 5366, pp. 37-51. Springer, Heidelberg (2008)
41. Buccafurri, F., Leone, N., Rullo, P.: Enhancing Disjunctive Datalog by Constraints. IEEE
Transactions on Knowledge and Data Engineering 12(5), 845-860 (2000)
42. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV Sys-
tem for Knowledge Representation and Reasoning. ACM Transactions on Computational
Logic 7(3), 499-562 (2006)
43. Simons, P., Niemela, I., Soininen, T.: Extending and Implementing the Stable Model Se-
mantics. Artificial Intelligence 138, 181-234 (2002)
44. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Program-
ming with Description Logics for the Semantic Web. In: Principles of Knowledge Repre-
sentation and Reasoning: Proceedings of the Ninth International Conference (KR 2004),
Whistler, Canada, pp. 141-151 (2004); Extended Report RR-1843-03-13, Institut f ur Infor-
mationssysteme, TU Wien (2003)
45. Calimeri, F., Faber, W., Leone, N., Perri, S.: Declarative and Computational Properties of
Logic Programs with Aggregates. In: Nineteenth International Joint Conference on Artifi-
cial Intelligence (IJCAI 2005), pp. 406-411 (August 2005)
