Projects per year
Abstract
We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metagol meta-interpretive learning system. We highlighted the challenging aspects of this scenario, including abstracting over function symbols, nonterminating examples, and learning non-observed predicates, and proposed extensions to Metagol helpful for overcoming these challenges, which may prove useful in other domains.
Original language | English |
---|---|
Title of host publication | Inductive Logic Programming |
Subtitle of host publication | 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings |
Editors | Dimitar Kazakov, Can Erten |
Publisher | Springer |
Pages | 16–25 |
Number of pages | 10 |
ISBN (Electronic) | 978-3-030-49210-6 |
ISBN (Print) | 978-3-030-49209-0 |
DOIs | |
Publication status | Published - 5 Jun 2020 |
Event | 29th International Conference on Inductive Logic Programming - Plovdiv, Bulgaria Duration: 3 Sept 2019 → 5 Sept 2019 https://ilp2019.org/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer, Cham |
Volume | 11770 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 29th International Conference on Inductive Logic Programming |
---|---|
Abbreviated title | ILP 2019 |
Country/Territory | Bulgaria |
City | Plovdiv |
Period | 3/09/19 → 5/09/19 |
Internet address |
Keywords / Materials (for Non-textual outputs)
- cs.PL
- cs.LG
- cs.LO
Fingerprint
Dive into the research topics of 'Towards meta-interpretive learning of programming language semantics'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J. (Principal Investigator)
1/09/16 → 28/02/23
Project: Research