✦ LIBER ✦

A game semantics for disjunctive logic programming

✍ Scribed by Tsouanas, Thanos

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Disjunctive logic and semantics of disju

✍ Yidong Shen 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 540 KB

Semantic Forcing in Disjunctive Logic Pr

✍ Marina De Vos; Dirk Vermeir 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 216 KB

Semantics of Horn and disjunctive logic

✍ Jorge Lobo; Arcot Rajasekar; Jack Minker 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Expressiveness of stable model semantics

✍ Thomas Eiter; Georg Gottlob 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 706 KB

An infinite-game semantics for well-foun

✍ Chrysida Galanaki; Panos Rondogiannis; William W. Wadge 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 354 KB

A parallel game semantics for Linear Log

✍ Stefano Baratella; Stefano Berardi 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 250 KB