𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A connection between the Cantor–Bendixson derivative and the well-founded semantics of finite logic programs

✍ Scribed by Douglas Cenzer, Jeffrey B. Remmel

Book ID
113060759
Publisher
Springer Netherlands
Year
2012
Tongue
English
Weight
454 KB
Volume
65
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Topological Investigations of the Operat
Topological Investigations of the Operators of the Well-Founded, and Alternating Fixed-Point Semantics of Normal Logic Programs
✍ Roland Heinze 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 222 KB

We present a progress report on ongoing work to investigate topologies on spaces of interpretations in which one obtains the continuity of the operators associated with the well-founded, and alternating fixed-point semantics of a normal logic program. This work parallels that of Batarekh, Subrahmani