✦ LIBER ✦

The expressive power of stratified logic programs

✍ Scribed by Phokion G. Kolaitis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Expressive Power of Stratified Logic

✍ Luca Cabibbo 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 476 KB

On the expressive power of F-logic langu

✍ Zengping Tian; Yujun Wang; Yunyao Qu; Baile Shi 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 606 KB

The expressiveness of locally stratified

✍ Howard A. Blair; V. Wiktor Marek; John S. Schlipf 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 974 KB

On the expressive power of monadic least

✍ Nicole Schweikardt 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 323 KB

On the expressive power of temporal logi

✍ Joëlle Cohen-Chesnot 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 744 KB

Autoepistemic logic of first order and i

✍ Li-Yan Yuan 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 1008 KB