Alert button

Implementing Default and Autoepistemic Logics via the Logic of GK

May 05, 2014
Jianmin Ji, Hannes Strass

Figure 1 for Implementing Default and Autoepistemic Logics via the Logic of GK
Figure 2 for Implementing Default and Autoepistemic Logics via the Logic of GK

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: