Thirty years of Epistemic Specifications

Jorge Fandinno, Wolfgang Faber, Michael Gelfond

The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective li…