We consider advanced policy description specifications in the context of Answer Set Programming (ASP). Motivated by our application scenario, we further extend an existing policy description language, so that it allows for expressing preferences among sets of objects. This is done by extending the concept of ordered disjunctions to cardinality constraints. We demonstrate that this extension is ...

A recent article in The Intelligencer described in some detail the theory of non-well-founded sets for the purpose of being able to solve freely equations of the sort X = A × X with A fixed ([Barwise & Moss, 1991]). Of course, the empty set is a solution, but what was wanted was a non-empty solution (in fact, the largest solution, if such exists). If X were a non-empty solution and x ∈ X, then ...

in this paper we investigate the existence and uniqueness for volterra-fredholm type integral equations and extension of this type of integral equations. the result is obtained by using the  coupled fixed point theorems in the framework of banach space $ x=c([a,b],mathbb{r})$. finally, we  give an example to illustrate the applications of our results.

in this article, we verify existence and uniqueness of positive and nondecreasing solution for nonlinear boundary value problem of fractional differential equation in the form d_{0^{+}}^{alpha}x(t)+f(t,x(t))=0, 0x(0)= x'(0)=0, x'(1)=beta x(xi), where $d_{0^{+}}^{alpha}$ denotes the standard riemann-liouville fractional derivative, 0an illustrative example is also presented.