1. Appelt, D.E., Pollack, M.E.: Weighted abduction for plan ascription. User Model. User-Adap. Interact. 2(1–2), 1–25 (1992)
2. Blythe, J., Hobbs, J.R., Domingos, P., Kate, R.J., Mooney, R.J.: Implementing weighted abduction in markov logic. In: Proceedings of Ninth International Conference on Computational Semantics, pp. 55–64 (2011)
3. Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: from theory to practice. Artif. Intell. 187–188, 52–89 (2012)
4. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programs. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Symposium on Logic Programming, pp. 1070–1080 (1988)
5. Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents. The Answer-Set Programming Approach. Cambridge University Press, New York (2014)