✦ LIBER ✦

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

✍ Scribed by Joeri Engelfriet; Jan Treur

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compositional Verification of Multi-Agen

✍ Joeri Engelfriet; Catholijn M. Jonker; Jan Treur 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 202 KB

Minimal refinements of specifications in

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 41 KB

Minimal refinements of specifications in

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 552 KB

A higher level of behavioural specificat

✍ R.D. Dowsing; R. Elliott 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 991 KB