Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning

DOI10.1017/S1471068418000261zbMath1451.68064arXiv1805.00068MaRDI QIDQ4559814

Katsumi Inoue, Tobias Kaminski, Thomas Eiter

Publication date: 4 December 2018

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.00068

zbMATH Keywords

inductive logic programming; answer set programming; meta-interpretive learning

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68N17: Logic programming

Related Items

Learning programs with magic values, Top program construction and reduction for polynomial time meta-interpretive learning, Learning programs by learning from failures, Meta-interpretive learning as metarule specialisation, Inductive logic programming at 30, Learning higher-order logic programs, Logical reduction of metarules, Inductive general game playing, Making sense of sensory input

Uses Software

• Clingo
• Metagol

Cites Work

• Domain expansion for ASP-programs with external sources
• Semantics and complexity of recursive aggregates in answer set programming
• Nonmonotonic abductive inductive learning
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• Structured machine learning: the next ten years
• Logical vision: one-shot meta-interpretive learning from real images
• Meta-interpretive learning: application to grammatical inference
• Inductive Learning of Answer Set Programs
• A model building framework for answer set programming with external computations
• Unnamed Item
• Unnamed Item