A refinement of the language of epistemic specifications

Patrick Kahl, Richard Watson, Michael Gelfond, Yuanlin Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Fingerprint Dive into the research topics of 'A refinement of the language of epistemic specifications'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science