Showing cs.LOShow all
2 papers · 1 filter
cs.LO2001
A Logical Framework for Convergent Infinite Computations
Wei Li, Shilong Ma, Yuefei Sui +1
Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computat…
cs.LO2001
The Limits of Horn Logic Programs
Shilong Ma, Yuefei Sui, Ke Xu
Given a sequence of Horn logic programs, the limit of is the set of the clauses such that every clause in belongs to almost every and every clause…