Appropriate representation is the key to successful reasoning. Hence, if intelligent agents are to cope with changing goals in a changing environment, they must be able to adapt their representations, i.e., to detect that a current representation is inadequate, to diagnose its shortcomings and to repair it. In this paper we address the most basic kind of representational shortcoming: inconsiste...

Brother of the Regulator of Imprinted Sites (BORIS/CTCFL) is an autosomal cancer germline (CG) or cancer-testis antigen gene and paralog of CTCF that has been proposed to function as an oncogene in human cancer via dysregulation of the cancer epigenome. Here we show that genetic disruption of DNA methylation in human cancer cells induces BORIS expression, coincident with DNA hypomethylation and...

Rapid advances in observational cosmology have led to the establishment of a precision cosmological model, with many of the key cosmological parameters determined to one or two significant figure accuracy. Particularly prominent are measurements of cosmic microwave background (CMB) anisotropies, led by the seven-year results from the Wilkinson Microwave Anisotropy Probe (WMAP) [1–3]. However th...

Many years ago various new concepts have been introduced into Isabelle to support the Isar proof language. While the original motivation was coming from the demands of human-readable proof texts, most of this infrastructure has turned out as generally useful in building other advanced mechanisms. So today “Isar” concepts already permeate large parts of Isabelle, enabling simpler and more powerf...