On Suryadasa and the invention of bidirectional poetry (vilomakavya) by Minkowski, C

Generalisation through negation and predicate invention by Cerna, DM, Cropper, A

“…We implement our idea in NOPI, which can learn normal logic programs with predicate invention, including Datalog programs with stratified negation. …”

Datalog Relaunched: Simulation Unification and Value Invention by Bry, F, Furche, T, Marnette, B, Ley, C, Linse, B, Poppe, O

“…For reasoning on the Web, Datalog is lacking data extraction and value invention. This article proposes to overcome these limitations with \"simulation uni cation\" and RDFLog\". …”

Yawsep I of Amida (d.1707) and the invention of the Chaldeans by Parker, L

Learning higher-order logic programs through abstraction and invention by Cropper, A, Muggleton, S

“…Inventions involve the construction of definitions for the predicate variables used in the Abstractions. …”

To boldly go where invention isn't secure: applying Security Entrepreneurship to secure systems design by Faily, S, Flechais, I

Learning logic programs through divide, constrain, and conquer by Cropper, A

“…Our anytime approach can learn optimal, recursive, and large programs and supports predicate invention. Our experiments on three domains (classification, inductive general game playing, and program synthesis) show that our approach can increase predictive accuracies and reduce learning times.…”

Learning logic programs by combining programs by Cropper, A, Hocquette, C

“…Our approach can learn optimal and recursive programs and perform predicate invention. Our experiments on multiple domains, including game playing and program synthesis, show that our approach can drastically outperform existing approaches in terms of predictive accuracies and learning times, sometimes reducing learning times from over an hour to a few seconds.…”

Knowledge refactoring for inductive program synthesis by Dumancic, S, Guns, T, Cropper, A

“…A key feature of Knorf is that, rather than simply removing knowledge, it also introduces new knowledge through predicate invention. We evaluate our approach on two domains: building Lego structures and real-world string transformations. …”

Temporal datalog with existential quantification by Lanzinger, M, Nissl, M, Sallinger, E, Walega, PA

“…To address this issue we introduce uniform semantics which, on the one hand, is well-suited for modelling temporal knowledge as it prevents from unintended value invention and, on the other hand, provides decidability of reasoning; in particular, it becomes 2-ExpSpace-complete for weakly-acyclic programs but remains undecidable for guarded programs. …”

Learning efficient logical robot strategies involving composable objects by Cropper, A, Muggleton, S

“…The approach considered is an extension of Meta-Interpretive Learning (MIL), a recently developed paradigm in ILP which supports predicate invention and the learning of recursive logic programs. …”

Innovation: A selection from the Bodleian’s Special Collections for the Vice Chancellor's Circle by Fletcher, C, Dunning, A, McIlwaine, J, Miller, F

“…Inventiveness in the sciences and humanities as shown in manuscripts, rare books, and archives in the Bodleian's Special Collections.…”

Typed meta-interpretive learning of logic programs by Ong, C, Morel, R, Cropper, A

“…Both systems support polymorphic types and can infer the types of invented predicates. Our experimental results show that types can substantially reduce learning times.…”

A sampled texture prior for image super-resolution by Pickup, L, Roberts, S, Zisserman, A

“…Super-resolution aims to produce a high-resolution image from a set of one or more low-resolution images by recovering or inventing plausible high-frequency image content. Typical approaches try to reconstruct a high-resolution image using the sub-pixel displacements of several lowresolution images, usually regularized by a generic smoothness prior over the high-resolution image space. …”

Arena: A general evaluation platform and building toolkit for multi-agent intelligence by Song, Y, Wojcicki, A, Lukasiewicz, T, Wang, J, Aryan, A, Xu, Z, Xu, M, Ding, Z, Wu, L

“…Therefore, we provide a building toolkit for researchers to easily invent and build novel multi-agent problems from the provided game set based on a GUI-configurable social tree and five basic multi-agent reward schemes. …”

Disegno a stampa, disegno a mano and the development of the independent landscape drawing in Renaissance Venice by Whistler, C

“…In this context the art of Giulio Campagnola and his adoptive son Domenico will be examined more closely. Inventiveness was prized in disegni, whether disegni a mano or disegni in stampa, together with the particular skills involved in realizing new concepts with the inked line, especially by hand.…”

Vote me up if you like my ideas! Experiences of learning in a MOOC by Eynon, R, Hjorth, I, Gillani, N, Yasseri, T

“…The higher education system is creaking under the strain of additional scrutiny from government, funders, parents and students, yet is struggling to re-invent itself to reduce costs whilst improving quality and increasing flexibility for learners. …”

The enterprising and tenacious Guy Miège: four dictionaries from 1677 to 1688 by Francoeur, A

“…Guy Miège, an inspired and inventive humanist who, from 1668, taught languages in London, is among the first non-Britishers to venture into dictionary-making in England. …”