Patrick Kahl

According to our database, Patrick Kahl authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

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

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

J. Log. Comput., 2020