Knowledge representation, reasoning, and the design of intelligent agents : the answer-set programming approach - Gelfond, Michael, (Cambridge University Press, 2014)