A Splitting Set Theorem for Epistemic Specifications

Richard Watson

Over the past decade a considerable amount of research has been done to expand logic programming languages to handle incomplete information. One such language is the language of ep…