Search results for: Ole J. Mengshoel
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) > 6C2-1 - 6C2-13
International Journal of Approximate Reasoning > 2014 > 55 > 5 > 1207-1234
Information Sciences > 2014 > 258 > Complete > 140-159
Journal of Automated Reasoning > 2011 > 46 > 2 > 103-160
Artificial Intelligence > 2010 > 174 > 12-13 > 984-1006
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and... > 2010 > 40 > 5 > 874 - 885
Artificial Intelligence > 2008 > 172 > 8-9 > 955-990
Artificial Intelligence > 2006 > 170 > 16-17 > 1137-1174