The top documents tagged [rui zhangsoundness]

L ogics for D ata and K nowledge R epresentation

---

14 views

LDK R Logics for Data and Knowledge Representation Exercise 2: PL, ClassL, Ground ClassL.

---

228 views