Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

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