2

On timeline-based games and their complexity

In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temporal constraints. A distinguishing feature of timeline-based planning …

Adding the power-set to description logics

An event-based data warehouse to support decisions in multi-channel, multi-service contact centers

Multi-channel contact centers are an increasingly important component of today's business world. They serve as a primary customer-facing channel for firms in many different industries, and employ millions of operators across the globe. During their …

Environmental surveillance and spatio-temporal analysis of Legionella spp. In a region of northeastern Italy (2002–2017)

ASP Applications in Bio-informatics: A Short Tour

Constructive logical characterizations of bisimilarity for reactive probabilistic systems

Distributed multi-agent optimization for smart grids and home automation

Distributed Constraint Optimization Problems (DCOPs) have emerged as one of the prominent multi-agent architectures to govern the agents’ autonomous behavior in a cooperative multi-agent system (MAS) where several agents coordinate with each other to …

Extending logic programming with labelled variables: Model and semantics

In order to enable logic programming to deal with the diversity of pervasive systems, where many heterogeneous, domain-specific computational models could benefit from the power of symbolic computation, we explore the expressive power of labelled …

Guest editors' foreword

Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses

In this paper we consider two relations over stochastic automata, named lumpable bisimulation and exact equivalence, that induce a strong and an exact lumping, respectively, on the underlying Markov chains. We show that an exact equivalence over the …