Knowledge Representation, Reasoning, and the Design of Intelligwer-Set Programming Approach 1st - Michael Gelfond & Yulia Kahl