François Gagnon, Babak Esfandiari, Leopoldo E. Bertossi. A Hybrid Approach to Operating System Discovery using Answer Set Programming. In Integrated Network Management, IM 2007. 10th IFIP/IEEE International Symposium on Integrated Network Management, Munich, Germany, 21-25 May 2007. pages 391-400, IEEE, 2007. [doi]
Abstract is missing.