1. Balai, E., Gelfond, M., Zhang, Y.: Towards answer set programming with sorts. In: International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, 15–19 September 2013 (2013)
2. Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning, pp. 9–18 (2003)
3. Baral, C., Gelfond, M.: Reasoning about intended actions. In: Proceedings of the National Conference on Artificial Intelligence, vol. 20, p. 689 (2005)
4. Blount, J., Gelfond, M., Balduccini, M.: Towards a theory of intentional agents. In: Knowledge Representation and Reasoning in Robotics. AAAI Spring Symposium Series, pp. 10–17 (2014)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Blount,2015