An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic | IEEE Conference Publication | IEEE Xplore