Arg-tuProlog: A Modular Logic Argumentation Tool for PIL

Private international law (PIL) addresses overlaps and conflicts between legal systems by distributing cases between the authorities of such systems (jurisdiction) and establishing what rules these authorities have to apply to each case(choice of law). A modular argumentation tool, Arg-tuProlog, is here presented that enables reasoning with rules and interpretations of multiple legal systems.

Modular assembly of polysaccharide-degrading microbial communities in the ocean

Many complex biological systems such as metabolic networks can be divided into functional and organizational subunits, called modules, which provide the flexibility to assemble novel multi-functional hierarchies by a mix and match of simpler components. Here we show that polysaccharide-degrading microbial communities in the ocean can also assemble in a modular fashion. Using synthetic particles made of a variety of polysaccharides commonly found in the ocean, we showed that the particle colonization dynamics of natural bacterioplankton assemblages can be understood as the aggregation of species modules of two main types: a first module type made of narrow niche-range primary degraders, whose dynamics are controlled by particle polysaccharide composition, and a second module type containing broad niche-range, substrate-independent taxa whose dynamics are controlled by interspecific interactions, in particular cross-feeding via organic acids, amino acids and other metabolic byproducts. As a consequence of this modular logic, communities can be predicted to assemble by a sum of substrate-specific primary degrader modules, one for each complex polysaccharide in the particle, connected to a single broad-niche range consumer module. We validate this model by showing that a linear combination of the communities on single-polysaccharide particles accurately predicts community composition on mixed-polysaccharide particles. Our results suggest thus that the assembly of heterotrophic communities that degrade complex organic materials follow simple design principles that can be exploited to engineer heterotrophic microbiomes.

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)

This paper introduces first-order modular logic programs, which provide a way of viewing answer set programs as consisting of many independent, meaningful modules. We also present conservative extensions of such programs. This concept helps to identify strong relationships between modular programs as well as between traditional programs. For example, we illustrate how the notion of a conservative extension can be used to justify the common projection rewriting. This is a short version of a paper was presented at the 32nd International Conference on Logic Programming (Harrison and Lierler, 2016).

First-order modular logic programs and their conservative extensions

Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, which can capture the meaning of many answer set programs. We also introduce conservative extensions of such programs. This concept helps to identify strong relationships between modular programs as well as between traditional programs. We show how the notion of a conservative extension can be used to justify the common projection rewriting.

ERP Implementation Service Supply Chain

ERP system plays a critical role in gaining competitive advantages; however, the implementation of the ERP system is a critical success factor but a difficult process to both the software providers and the buyers of the ERP system. Designing and delivering the implementation services becomes a key challenge to the ERP suppliers. This chapter applies modular logic into service design in order to reduce complexity and increase the service variety and quality, and develop a conceptual structure of service supply chain for delivering ERP implementation services.