In order to explain excess co-operation in the one-shot prisoner's dilemma game, we first question the standard assumption of stable and selfish preferences by introducing the concept of social capital. This analysis leads to a model that explains excess co-operation through an accumulation of social capital. We allow preferences and norms to change over time and hence endogenise them. Our resu...

Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. Recently, the formal link between this research area and satisfiability modulo theories (or SMT) was established. This link allows the cross-fertilization between traditionally different solving technologies. The paper presents the system EZSMT, one of the first...

In this paper, we propose a progression semantics for first-order normal logic programs, and show that it is equivalent to the well-known stable model (answer set) semantics. The progressional definition sheds new insights into Answer Set Programming (ASP), for instance, its relationships to Datalog, First-Order Logic (FOL) and Satisfiability Modulo Theories (SMT). As an example, we extend the ...

Answer Set Programming (ASP) is a well known declarative solving paradigm to model and solve efficiently combinatorial real world problems. But it may suffer from grounding bottleneck by represent and treat elements of other theories (eg linear constraints) or variables over multivalued domains. Addressed to this problem, my research focus on ASP modulo theory reasoning. The recent available sy...

We consider quadratic stabilizability and H∞ disturbance attenuation of switched systems which are composed of a finite set of linear time-invariant subsystems. The situation is that none of the subsystems is quadratically stable with certain H∞ disturbance attenuation level but a convex combination of the subsystems achieves such performance. We then design a state-dependent switching signal (...

let $d$ be an integral domain and $star$ a semistar operation stable and of finite type on it. we define the semistar dimension (inequality) formula and discover their relations with $star$-universally catenarian domains and $star$-stably strong s-domains. as an application, we give new characterizations of $star$-quasi-pr"{u}fer domains and um$t$ domains in terms of dimension ine...

In this paper, we present a global state feedback tracking controller for underactuated surface marine vessels. This controller is based on saturated control inputs and, under an assumption on the reference trajectory, the closed-loop system is globally asymptotically stable (GAS). It has been designed using a 3 Degree of Freedom benchmark vessel model used in marine engineering. The main featu...

let $f$ be a finite extension of $bbb q$‎, ‎${bbb q}_p$ or a global‎ ‎field of positive characteristic‎, ‎and let $e/f$ be a galois extension‎. ‎we study the realization fields of‎ ‎finite subgroups $g$ of $gl_n(e)$ stable under the natural‎ ‎operation of the galois group of $e/f$‎. ‎though for sufficiently large $n$ and a fixed‎ algebraic number field $f$ every its finite extension $e$ is‎ ‎re...