Artëmov, S. N.
2001. Explicit provability and constructive semantics.
Bulletin of Symbolic Logic
7, 1, 1–36.
Brewka, G., Eiter, T., and Truszczynski, M.
2011. Answer set programming at a glance.
54, 12, 92–103.
Broda, K., Gabbay, D., Lamb, L. and Russo, A.
2004. Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics. Research Studies Press.
2011. Logic programs and causal proofs. In AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning. AAAI.
Cabalar, P. and Fandinno, J.
2013. An algebra of causal chains. In Proc. of the 6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13).
Damásio, C. V., Analyti, A., and Antoniou, G.
2013. Justifications for logic programming. In Proc. of the 12th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning, (LPNMR'13). Lecture Notes in Computer Science, vol. 8148. Springer, 530–542.
Denecker, M. and De Schreye, D.
1993. Justification semantics: A unifiying framework for the semantics of logic programs. In Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop. 365–379.
1991. A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics.
New Generation Computing
9, 3–4, 425–443.
Gebser, M., Pührer, J., Schaub, T., and Tompits, H.
2008. Meta-programming technique for debugging answer-set programs. In Proc. of the 23rd Conf. on Artificial Inteligence (AAAI'08). 448–453.
Gelfond, M. and Lifschitz, V.
1988. The stable model semantics for logic programming. In Logic Programming: Proc. of the Fifth International Conference and Symposium (Volume 2), Kowalski, R. A. and Bowen, K. A., Eds. MIT Press, Cambridge, MA, 1070–1080.
2004. Two concepts of causality. 181–276.
Halpern, J. Y.
2008. Defaults and normality in causal structures. In Proc. of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008). 198–208.
Halpern, J. Y. and Pearl, J.
2005. Causes and explanations: A structural-model approach. part I: Causes.
British Journal for Philosophy of Science
56, 4, 843–887.
Hitchcock, C. and Knobe, J.
2009. Cause and norm.
Journal of Philosophy
1748. An enquiry concerning human understanding. Reprinted by Open Court Press, LaSalle, IL, 1958.
Kifer, M. and Subrahmanian, V. S.
1992. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming
Liang, S. and Kifer, M.
2013. A practical analysis of non-termination in large logic programs.
13, 4–5, 705–719.
1995. Embracing causality in specifying the indirect effects of actions. In Proc. of the Intl. Joint Conf. on Artificial Intelligence (IJCAI), Mellish, C. S., Ed. Morgan Kaufmann, Montreal, Canada.
McCain, N. and Turner, H.
1997. Causal theories of action and change. In Proc. of the AAAI-97. 460–465.
1977. Epistemological problems of Artificial Intelligence. In Proc. of the Intl. Joint Conf. on Artificial Intelligence (IJCAI). MIT Press, Cambridge, MA, 1038–1044.
2006. Equilibrium logic.
Ann. Math. Artif. Intell.
47, 1-2, 3–41.
2000. Causality: models, reasoning, and inference. Cambridge University Press, New York, NY, USA.
Pereira, L. M., Aparício, J. N., and Alferes, J. J.
1991. Derivation procedures for extended stable models. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, Mylopoulos, J. and Reiter, R., Eds. Morgan Kaufmann, 863–869.
Pontelli, E., Son, T. C., and El-Khatib, O.
2009. Justifications for logic programs under answer set semantics.
Theory and Practice of Logic Programming
9, 1, 1–56.
Schulz, C., Sergot, M., and Toni, F.
2013. Argumentation-based answer set justification. In Proc. of the 11th Intl. Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense'13).
1997. Free distributive completions of partial complete lattices.
1997. Ramification and causality. Artificial Intelligence Journal
89, 1–2, 317–364.
van Emden, M. H. and Kowalski, R. A.
1976. The semantics of predicate logic as a programming language.
23, 4, 733–742.
2011. Actual causation in cp-logic.
11, 4–5, 647–662.