Zobrazeno 1 - 10
of 188
pro vyhledávání: '"Sui, Yuefei"'
To make machine exhibit human-like abilities in the domains like robotics and conversation, social commonsense knowledge (SCK), i.e., common sense about social contexts and social roles, is absolutely necessarily. Therefor, our ultimate goal is to ac
Externí odkaz:
http://arxiv.org/abs/1912.11599
The general completeness problem of Hoare logic relative to the standard model $N$ of Peano arithmetic has been studied by Cook, and it allows for the use of arbitrary arithmetical formulas as assertions. In practice, the assertions would be simple a
Externí odkaz:
http://arxiv.org/abs/1703.00237
The nonstandard approach to program semantics has successfully resolved the completeness problem of Floyd-Hoare logic. The known versions of nonstandard semantics, the Hungary semantics and axiomatic semantics, are so general that they are absent eit
Externí odkaz:
http://arxiv.org/abs/1703.00240
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 behavior of the programs should be taken into account. An example is give
Externí odkaz:
http://arxiv.org/abs/cs/0206017
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 computations}. A logic for convergent infinite computations is proposed by ext
Externí odkaz:
http://arxiv.org/abs/cs/0105020
Publikováno v:
In P. J. Stuckey (Ed.): Proc. of 18th ICLP (short paper), LNCS 2401, p. 467, Denmark, 2002.
Given a sequence $\{\Pi_n\}$ of Horn logic programs, the limit $\Pi$ of $\{\Pi_n\}$ is the set of the clauses such that every clause in $\Pi$ belongs to almost every $\Pi_n$ and every clause in infinitely many $\Pi_n$'s belongs to $\Pi$ also. The lim
Externí odkaz:
http://arxiv.org/abs/cs/0103008
Publikováno v:
In Information Sciences 1 March 2016 332:167-183
Publikováno v:
In Theoretical Computer Science 25 January 2016 612:23-28
Publikováno v:
In Pattern Recognition July 2015 48(7):2151-2163