✦ LIBER ✦

Translating Multi-Agent Autoepistemic Logic into Logic Program

✍ Scribed by Toyama Katsuhiko; Kojima Takahiro; Inagaki Yasuyoshi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Multi-valued autoepistemic logic

✍ Robert F. Stärk 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 863 KB

On embedding default logic into Moore's

✍ Grigori Schwarz 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 770 KB

On the autoepistemic reconstruction of l

✍ Y. J. Jiang 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 1011 KB

Logic program semantics and circumscript

✍ Li Yan Yuan 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 523 KB

From logic programming towards multi‐age

✍ Robert Kowalski; Fariba Sadri 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 153 KB

Translating a Linear Logic Programming L

✍ Mutsunori Banbara; Naoyuki Tamura 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 210 KB