3 papers
cs.AI2002
The Prioritized Inductive Logic Programs
Shilong Ma, Yuefei Sui, Ke Xu
The limit behavior of inductive logic programs has not been explored, but when considering incremental or online inductive learning algorithms which usually run ongoingly, such beh…
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…