The top documents tagged [multisorted logics]

Reasoning about Actions and Causality Θεωρίες Δράσης και Αιτιότητας Θοδωρής Πάτκος Αναπαράσταση και Επεξεργασία Γνώσης

---

219 views

Reasoning about Actions and Causality Θεωρίες Δράσης και Αιτιότητας

---

15 views