Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite. Telco Network Inventory Validation with NoHR. In Marcello Balduccini, Yuliya Lierler, Stefan Woltran, editors, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Volume 11481 of Lecture Notes in Computer Science, pages 18-31, Springer, 2019. [doi]
Abstract is missing.