Learn More
We represent a <italic>set of possible worlds</italic> using an incomplete information database. The representation techniques that we study form a hierarchy, which generalizes relations of constants. This hierarchy ranges from the very simple Codd-table, (i e , a relation of constants and distinct variables called nulls, which stand for values present but(More)
Answer set programming is a programming paradigm where a given problem is formalized as a logic program whose answer sets correspond to the solutions to the problem. In this paper, we link answer set programming with another widely applied paradigm, viz. mixed integer programming. As a theoretical result, we establish translations from non-disjunctive logic(More)
Studies have demonstrated that mesenchymal stromal cells (MSCs) could reverse acute and chronic kidney injury by a paracrine or endocrine mechanism, and microvesicles (MVs) have been regarded as a crucial means of intercellular communication. In the current study, we focused on the therapeutic effects of human Wharton-Jelly MSCs derived microvesicles(More)
Non-Boolean variables are important primitives in logical modeling. For instance, in Answer Set Programming (ASP), they are used as place holders for constants and more complex ground terms. This is essential for compact and uniform encodings used in ASP although variables are removed in a grounding phase preceding the search for answer sets. On the other(More)
Based on some well-documented reports, we attempted to clarify the antifibrotic mechanisms of human Wharton’s-jelly-derived mesenchymal stromal cells (WJ-MSCs) from the perspective of induction of hepatocyte growth factor (HGF) expression in tubular epithelial cells (TECs). A rat model of acute kidney injury (AKI) was established through unilateral renal(More)
We study logic programs with arbitrary abstract constraint atoms, called c-atoms. As a theoretical means to analyze program properties, we investigate the possibility of unfolding these programs to logic programs composed of ordinary atoms. This approach reveals some structural properties of a program with c-atoms, and enables characterization of these(More)
Level mapping and loop formulas are two different means to justify and characterize answer sets for normal logic programs. Both of them specify conditions under which a supported model is an answer set. Though serving a similar purpose, in the past the two have been studied largely in isolation with each other. In this paper, we study level mapping and loop(More)
In our previous study, microvesicles (MVs) released from human Wharton's jelly mesenchymal stem cells (hWJ-MSCs) retard the growth of bladder cancer cells. We would like to know if MVs have a similar effect on human renal cell carcinoma (RCC). By use of cell culture and the BALB/c nu/nu mice xeno-graft model, the influence of MVs upon the growth and(More)