๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Recursive definitions and fixed-points on well-founded structures

โœ Scribed by Francicleber Martins Ferreira; Ana Teresa Martins

Book ID
113927386
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
292 KB
Volume
412
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Recursive Definitions and Fixed-Points
Recursive Definitions and Fixed-Points
โœ Francicleber Martins Ferreira; Ana Teresa Martins ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 384 KB
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