The Language of Epistemic Specifications (Refined) Including a Prototype Solver

Patrick T Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalJournal of Logic and Computation
StatePublished - Sep 2015

Fingerprint Dive into the research topics of 'The Language of Epistemic Specifications (Refined) Including a Prototype Solver'. Together they form a unique fingerprint.

Cite this