Carin-ALN is an interesting new rule learning bias for ILP. By allowing description logic terms as predicates of literals in datalog rules, it extends the normal bias used in ILP as it allows the use of all quantified variables in the body of a clause. It also has at-least and at-most restrictions to access the amount of indeterminism of relations. From a complexity point of view Carin-ALN allo...

To clarify the role of the PGI(2)/PGI(2) receptor (IP) system in rabbit cortical collecting duct (RCCD), we characterized the expression of IP receptors in the rabbit kidney. We show by Northern and Western blotting that IP mRNA and protein was detectable in all three regions of the kidney. To determine how PGI(2) signals, we compared the effects of different PGI(2) analogs [iloprost (ILP), car...

We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Programs (SLPs), one of the underlying Probabilistic ILP (PILP) frameworks. In both the ILP and PILP cases a mixture of abduction and induction are used. The abductive ILP approach used a variant of ILP for modelling inhibition i...

Many discrete optimization problems are naturally modeled as an integer (linear) programming (ILP) problem. An ILP problem is of the form max cx Ax ≤ b x is an integer vector. (1) It is easy to show that ILP is NP-hard via a reduction from say SAT. The decision version of ILP is the following: Given rational matrix A and rational vector b, does Ax ≤ b have an integral solution x? Theorem 1 Deci...

Integer Linear Programming (ILP) has a broad range of applications in various areas of artificial intelligence. Yet in spite of recent advances, we still lack a thorough understanding of which structural restrictions make ILP tractable. Here we study ILP instances consisting of a small number of “global” variables and/or constraints such that the remaining part of the instance consists of small...

Current research in processor technology and computer architecture is motivated primarily by the need for greater performance. In this context, it is well understood that the performance gain from improving the memory system alone is limited, and using system Level Integration (such as supporting graphics/sound on chip) can only lead to marginal performance benefits. The most significant gain c...

The management of locally advanced or recurrent extremity sarcoma often necessitates multimodal therapy to preserve a limb, of which isolated limb perfusion (ILP) is a key component. However, with standard chemotherapeutic agents used in ILP, the duration of response is limited. Novel agents or treatment combinations are urgently needed to improve outcomes. Previous work in an animal model has ...

The University Class Scheduling Problem (UCSP) is concerned with assigning a number of courses to classrooms taking into consideration constraints like classroom capacities and university regulations. The problem also attempts to optimize the performance criteria and distribute the courses fairly to classrooms depending on the ratio of classroom capacities to course enrollments. The problem is ...

We minimize a given test set without loss of diagnostic resolution in full-response fault dictionary. An integer linear program (ILP), formulated from fault simulation data, provides ultimate reduction of test vectors while preserving fault coverage and pairwise distinguishability of faults. The complexity of the ILP is made manageable by two innovations. First, we define a generalized independ...