The language of epistemic specifications (refined) including a prototype solver

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

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)953-989
JournalJournal of Logic and Computation
StatePublished - Jan 2020

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