✦ LIBER ✦

On deciding subsumption problems

✍ Scribed by Uwe Egly; Reinhard Pichler; Stefan Woltran

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Deciding Subsumption Problems

✍ Uwe Egly; Reinhard Pichler; Stefan Woltran 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 335 KB

Deciding polynomial-transcendental probl

✍ Scott McCallum; Volker Weispfenning 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 318 KB

On the decidability of the word problem

✍ M. Mazzucchelli; A. Cherubini 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 506 KB

Subsumption and implication

✍ Georg Gottlob 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 235 KB

Privacy via Subsumption

✍ Jon G. Riecke; Christopher A. Stone 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Deciding on indecision

✍ Aldhous, Peter 📂 Article 📅 1991 🏛 Nature Publishing Group 🌐 English ⚖ 170 KB