𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hybrid rules with well-founded semantics

✍ Scribed by Włodzimierz Drabent; Jan Małuszyński

Publisher
Springer-Verlag
Year
2010
Tongue
English
Weight
441 KB
Volume
25
Category
Article
ISSN
0219-1377

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

Minimal Antichains in Well-founded Quasi
Minimal Antichains in Well-founded Quasi-orders with an Application to Tournaments
✍ Gregory L. Cherlin; Brenda J. Latka 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 190 KB

We investigate the minimal antichains (in what is essentially Nash-Williams' sense) in a well-founded quasi-order. We prove the following finiteness theorem: If Q is a well-founded quasi-order and k a fixed natural number, then there is a finite set 4 k of minimal antichains of Q with the property t