Login / Signup
Patrick Kahl
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Software Engineering
Dynamic Epistemic Logic
Test Bed
Controlled Natural Language
Top Venues
J. Log. Comput.
</>
Publications
</>
Patrick Kahl
,
Richard Watson
,
Evgenii Balai
,
Michael Gelfond
,
Yuanlin Zhang
The language of epistemic specifications (refined) including a prototype solver.
J. Log. Comput.
30 (4) (2020)