#### Filter Results:

- Full text PDF available (8)

#### Publication Year

2014

2016

- This year (0)
- Last 5 years (10)
- Last 10 years (10)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Andrew Cropper, Stephen Muggleton
- IJCAI
- 2015

Most logic-based machine learning algorithms rely on an Occamist bias where textual complexity of hypotheses is minimised. Within Inductive Logic Programming (ILP), this approach fails to distinguish between the efficiencies of hypothesised programs , such as quick sort (O(n log n)) and bubble sort (O(n 2)). This paper addresses this issue by considering… (More)

- Andrew Cropper, Stephen Muggleton
- ILP
- 2014

Meta-Interpretive Learning (MIL) is an ILP technique which uses higher-order metarules to support predicate invention and learning of recursive definitions. In MIL the selection of metarules is analogous to the choice of refinement operators in a refinement graph search. The metarules determine the structure of permissible rules which in turn defines the… (More)

- Andrew Cropper, Stephen Muggleton
- SCAI
- 2015

Data Transformation is an important part of data curation, which involves the maintenance of research data on a long-term basis with the aim of allowing its re-use. This activity, widespread in commercial and academic data analytics projects, is labour intensive, involving the manual construction and debugging of large numbers of small, special purpose data… (More)

- Andrew Cropper
- ICCSW
- 2014

Fiction authors rarely provide detailed descriptions of scenes, preferring the reader to fill in the details using their imagination. Therefore, to perform detailed text-to-scene conversion from books, we need to not only identify explicit objects but also infer implicit objects. In this paper, we describe an approach to inferring objects using Wikipedia… (More)

- Andrew Cropper
- IJCAI
- 2015

Most logic-based machine learning algorithms rely on an Occamist bias where textual simplicity of hypotheses is optimised. This approach, however , fails to distinguish between the efficien-cies of hypothesised programs, such as quick sort (O(n log n)) and bubble sort (O(n 2)). We address this issue by considering techniques to minimise both the resource… (More)

- Andrew Cropper, Stephen Muggleton
- IJCAI
- 2016

Many tasks in AI require the design of complex programs and representations, whether for programming robots, designing game-playing programs, or conducting textual or visual transformations. This paper explores a novel inductive logic programming approach to learn such programs from examples. To reduce the complexity of the learned programs, and thus the… (More)

Formal verification is increasingly used in industry. A popular technique is interactive theorem proving, used for instance by Intel in HOL light. The ability to learn and reapply proof strategies from a small set of proofs would significantly increase the productivity of these systems, and make them more cost-effective to use. Previous attempts have had… (More)

- Andrew Cropper
- IJCAI
- 2016

Inductive programming approaches typically rely on an Occamist bias to select hypotheses with minimal textual complexity. This approach, however, fails to distinguish between the efficiencies of hypothe-sised programs, such as merge sort (O(n log n)) and bubble sort (O(n 2)). We address this issue by introducing techniques to learn logic programs with… (More)

- ‹
- 1
- ›