Michael Thielscher, Francesca Toni, Frank Wolter: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press 2018, ISBN 978-1-57735-803-9