Knowledge representation, reasoning, and the design of intelligent agents : the answer-set programming approach by Michael Gelfond. ISBN 9781107029569. Published by Cambridge University Press in 2014. Publication and catalogue information, links to buy online and reader comments.