A Splitting Set Theorem for Epistemic Specifications

What this record says

Over the past decade a considerable amount of research has been done to expand logic programming languages to handle incomplete

CATALOG · The abstract is indexed.