Conflict-driven inductive logic programming

DOI10.1017/S1471068422000011MaRDI QIDQ7027216zbMATH OpenFDO

Authors Mark M. Law

Publication date 14 February 2025

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

Full work available at URL https://doi.org/10.1017/S1471068422000011

zbMATH Keywords

nonmonotonic inductive logic programminganswer-set programming conflict-driven solving

Mathematics Subject Classification ID

Computational learning theory (68Q32) Logic programming (68N17)

Cites work

• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 1975619 (Why is no real title available?)
• scientific article; zbMATH DE number 1759254 (Why is no real title available?)
• Brave induction: a logical framework for learning from incomplete information
• Incremental learning of event definitions with inductive logic programming
• Induction and exploitation of subgoal automata for reinforcement learning
• Inductive Logic Programming
• Inductive general game playing
• Inductive learning of answer set programs
• Inductive logic programming
• Inductive logic programming as abductive search
• Iterative learning of answer set programs from context dependent examples
• Learning programs by learning from failures
• Learning through hypothesis refinement using answer set programming
• Learning weak constraints in answer set programming
• Nonmonotonic abductive inductive learning
• The complexity and generality of learning answer set programs

Cited in

(2)

• Inductive learning of robot task knowledge from raw data and online expert feedback
• Direct encoding of declare constraints in ASP

This page was built for publication: Conflict-driven inductive logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027216)