Learning constraints through partial queries

DOI10.1016/J.ARTINT.2023.103896MaRDI QIDQ6161490zbMATH OpenFDO

Authors Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh

Publication date 27 June 2023

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.ARTINT.2023.103896

zbMATH Keywords

constraint programmingactive learningconstraint acquisition

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites work

• scientific article; zbMATH DE number 3134390 (Why is no real title available?)
• Automatic synthesis of constraints from examples using mixed integer linear programming
• Classifier-based constraint acquisition
• Constraint acquisition
• Efficient multiple constraint acquisition
• Empirical decision model learning
• Exact learning Boolean functions via the monotone theory
• Handbook of constraint programming.
• Learning conjunctions of Horn clauses
• Principles and Practice of Constraint Programming – CP 2004
• Queries and concept learning
• Radio link frequency assignment
• Time-bounded query generator for constraint acquisition

Cited in

(2)

• Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
• A query-based constraint acquisition approach for enhanced precision in program precondition inference

This page was built for publication: Learning constraints through partial queries

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