2005. Answer sets for propositional theories. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Springer, Berlin, Heidelberg, 119–131.
Gelfond, M. and Lifschitz, V.
1988. The stable model semantics for logic programming. In Proceedings of International Logic Programming Conference and Symposium, Kowalski, R. and Bowen, K., Eds. MIT Press, Cambridge, MA, 1070–1080.
Harrison, A., Lifschitz, V. and Truszczynski, M.
2013. On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Springer, Berlin, Heidelberg, 387–394.
1966. The axiomatization of the intermediate propositional systems Sn
of Gödel. Journal of the Faculty of Science of the University of Tokyo
1935. Über die Axiomatisierbarkeit des Aussagenkalküls. Acta Scientiarum Mathematicarum
Karp, C. R.
1964. Languages with Expressions of Infinite Length. North-Holland, Amsterdam, the Netherlands.
Lifschitz, V., Morgenstern, L. and Plaisted, D.
2008. Knowledge representation and classical logic. In Handbook of Knowledge Representation, van Harmelen, F., Lifschitz, V. and Porter, B., Eds. Elsevier, Philadelphia, PA, 3–88.
Lifschitz, V., Pearce, D. and Valverde, A.
2001. Strongly equivalent logic programs. ACM Transactions on Computational Logic
Lifschitz, V. and Yang, F.
2012. Lloyd-Topor completion and general stable models. In Working Notes of the 5th Workshop of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012).
1997. A new logical characterization of stable models and answer sets. In Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence, 1216), Dix, J., Pereira, L. and Przymusinski, T., Eds. Springer, Berlin, Germany, 57–70.
Scott, D. and Tarski, A.
1958. The sentential calculus with infinitely long expressions. Colloquium Mathematicae
2012. Connecting first-order ASP and the logic FO(ID) through reducts. In Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz, Springer
Berlin, Heidelberg, 543–559.