The Design of the Fifth Answer Set Programming Competition

Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events, as it happens for other closely-related problem-solving technologies like SAT/SMT, QBF, Planning and Scheduling. ASP Competitions are (usually) biennial events; however, the Fifth ASP Competition departs from tradition, in order to join the FLoC Olympic Games at the Vienna Summer of Logic 2014, which is expected to be the largest event in the history of logic. This edition of the ASP Competition series is jointly organized by the University of Calabria (Italy), the Aalto University (Finland), and the University of Genova (Italy), and is affiliated with the 30th International Conference on Logic Programming (ICLP 2014). It features a completely re-designed setup, with novelties involving the design of tracks, the scoring schema, and the adherence to a fixed modeling language in order to push the adoption of the ASP-Core-2 standard. Benchmark domains are taken from past editions, and best system packages submitted in 2013 are compared with new versions and solvers. To appear in Theory and Practice of Logic Programming (TPLP).Comment: 10 page

HEURISTIC AND OPTIMUM SOLUTIONS IN ALLOCATION PROBLEMS

In this paper we present some models and algoritms for solving some typical production planning and scheduling problems. We present the Resource-Constrained Project Scheduling Problem (RCPSP) and algorithms for the determination of maximal couplings with minimal arch length in the graph attached to an allocation problem, and for the determination of the solution of Dirichlet problem and of the potential-voltage problem which appear in a production planning. We develop a model for allocating work among potential VO partners, taking into account fixed and variable work costs and transportation costs.Dirichlet’s problem, conex graph, maximal coupling, RCPS problem, virtual organization, allocation problem

Analysis of North Sea offshore wind power variability

This paper evaluates, for a 2030 scenario, the impact on onshore power systems in terms of the variability of the power generated by 81 GW of offshore wind farms installed in the North Sea. Meso-scale reanalysis data are used as input for computing the hourly power production for offshore wind farms, and this total production is analyzed to identify the largest aggregated hourly power variations. Based on publicly available information, a simplified representation of the coastal power grid is built for the countries bordering the North Sea. Wind farms less than 60 km from shore are connected radially to the mainland, while the rest are connected to a hypothetical offshore HVDC (High-Voltage Direct Current) power grid, designed such that wind curtailment does not exceed 1% of production. Loads and conventional power plants by technology and associated cost curves are computed for the various national power systems, based on 2030 projections. Using the MATLAB-based MATPOWER toolbox, the hourly optimal power flow for this regional hybrid AC/DC grid is computed for high, low and medium years from the meso-scale database. The largest net load variations are evaluated per market area and related to the extra load-following reserves that may be needed from conventional generators.Parts of this work were funded by Agentschap.NL, the Netherlands, now RVO.nl (Rijksdienst voor Ondernemend Nederland [25], under the project North Sea Transnational Grid (NSTG). The NSTG project is a cooperation between Delft University of Technology and the Energy Research Center of the Netherlands

The genetic basis for adaptation of model-designed syntrophic co-cultures.

Understanding the fundamental characteristics of microbial communities could have far reaching implications for human health and applied biotechnology. Despite this, much is still unknown regarding the genetic basis and evolutionary strategies underlying the formation of viable synthetic communities. By pairing auxotrophic mutants in co-culture, it has been demonstrated that viable nascent E. coli communities can be established where the mutant strains are metabolically coupled. A novel algorithm, OptAux, was constructed to design 61 unique multi-knockout E. coli auxotrophic strains that require significant metabolite uptake to grow. These predicted knockouts included a diverse set of novel non-specific auxotrophs that result from inhibition of major biosynthetic subsystems. Three OptAux predicted non-specific auxotrophic strains-with diverse metabolic deficiencies-were co-cultured with an L-histidine auxotroph and optimized via adaptive laboratory evolution (ALE). Time-course sequencing revealed the genetic changes employed by each strain to achieve higher community growth rates and provided insight into mechanisms for adapting to the syntrophic niche. A community model of metabolism and gene expression was utilized to predict the relative community composition and fundamental characteristics of the evolved communities. This work presents new insight into the genetic strategies underlying viable nascent community formation and a cutting-edge computational method to elucidate metabolic changes that empower the creation of cooperative communities