Abstract In Meta-interpretive learning (MIL) the metarules, second-order datalog clauses acting as inductive bias, are manually defined by user. this work we show that metarules for MIL can be learned MIL. We define a generality ordering of $$\theta$$ θ -subsumption and user-defined sort derivable specialisat...

RE ASONING IN ARTIFICIAL INtelligence has traditionally involved writing and customizing rules or models to solve problems. But there is another paradigm that has proven effective in many experimental and applied systems: Casebased reasoning “remembers” previous problems and either adapts their solutions or uses their outcomes to evaluate new cases. There are two kinds of case-based reasoners: ...

Software development for High Performance (paral-lel/distributed) Computing (HPC) is a non-trivial process ; its complexity can be primarily attributed to the increased degrees of freedom that have to be resolved and tuned in such an environment. Performance prediction tools enable a developer to evaluate various available design alternatives and can assist in HPC application software developme...

In this paper, we analyse and seek to understand the complex relations that occur between clients and consultants during consulting projects. The paper uses ideas from Schön’s model of the “reflective practitioner” to propose a new model conceptualising the client-consultant team as a community of interpretive communities. We show that client and consultant belong to different interpretive comm...