Abductive Logic Programming ooers a formalism to declaratively express and solve problems in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled Logic Programming ooers a computational mechanism that provides a level of declarativity above that of Prolog, and which has supported successful applications in elds such as parsing, program analysis, and model checki...

Some studies on child labor have shown that, at the level of the household, greater land wealth leads to higher child labor, thereby casting doubt on the hypothesis that child labor is caused by poverty. This paper argues that the missing ingredient may be an explicit modeling of the labor market. We develop a simple model which suggests the possibility of an inverted-U relationship between lan...

We use the auxiliary principle technique to suggest and analyze an implicit method for solving the equilibrium problems on Hadamard manifolds. The convergence of this new implicit method requires only the speudomonotonicity, which is a weaker condition than monotonicity. Some special cases are also considered.

For architectural design decisions, a high number of goals and constraints has to be considered. For a proper management of their complexity and as a precondition for tool support, they have to be modeled explicitly. Existing approaches fail to provide a predictable, rigor decision-making as well as a to deal with incomplete or even partly contradicting information. This paper presents an appro...

We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transformations. The combination of schemas with explicit models offers a number of advantages, namely, that building synthesis systems becomes much easier since the models can be used in verification and in adaptation of th...

The prevalence of implicit intergroup bias in adults underscores the importance of knowing when during development such biases are most amenable to change. Although research suggests that implicit intergroup bias undergoes little change across development, no studies have directly examined whether developmental differences exist in the capacity for novel implicit associations to form or change....

In this article an explicit method (relying on representation theory) to construct packings in Grassmannian space is presented. Infinite families of configurations having only one non-trivial set of principal angles are found using 2-transitive groups. These packings are proved to reach the simplex bound and are therefore optimal w.r.t. the chordal distance. The construction is illustrated by a...

Over the past few years, ride-sharing has emerged as an e ective way to relieve tra c congestion. A key problem for these platforms is to come up with a revenue-optimal (or GMV-optimal) pricing scheme and an induced vehicle dispatching policy that incorporate geographic and temporal information. In this paper, we aim to tackle this problem via an economic approach. Modeled naively, the underlyi...

We introduce a new type of probabilistic sequence model, that model the sequential composition of reading frames of genes in a genome. Our approach extends gene finders with a model of the sequential composition of genes at the genome-level – effectively producing a sequential genome annotation as output. The model can be used to obtain the most probable genome annotation based on a combination...