Using Answer Set Programming to Enhance Operating System Discovery

François Gagnon, Babak Esfandiari. Using Answer Set Programming to Enhance Operating System Discovery. In Esra Erdem, Fangzhen Lin, Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Volume 5753 of Lecture Notes in Computer Science, pages 579-584, Springer, 2009. [doi]

Authors

François Gagnon

This author has not been identified. Look up 'François Gagnon' in Google

Babak Esfandiari

This author has not been identified. Look up 'Babak Esfandiari' in Google