Constraint acquisition
DOI10.1016/J.ARTINT.2015.08.001zbMATH Open1404.68139OpenAlexW4206898991MaRDI QIDQ511791FDOQ511791
Nadjib Lazaar, Frédéric Koriche, Barry O'Sullivan, Christian Bessiere
Publication date: 22 February 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2015.08.001
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Global constraint catalogue: past, present and future
- Principles of Constraint Programming
- A theory of the learnable
- Fast learning of \(k\)-term DNF formulas with queries.
- Machine learning. The art and science of algorithms that make sense of data.
- Logical and Relational Learning
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Queries revisited.
- Clausal discovery
- Determining computational complexity from characteristic ‘phase transitions’
- Quantifying inductive bias: AI learning algorithms and Valiant's learning framework
- Local and global relational consistency
- Asking questions to minimize errors
- Principles and Practice of Constraint Programming – CP 2004
- Version spaces and the consistency problem
Cited In (18)
- A statistical approach to learning constraints
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
- Machine learning meets mathematical optimization to predict the optimal production of offshore wind parks
- Progress towards the Holy Grail
- Injecting domain knowledge in neural networks: a controlled experiment on a constrained problem
- Title not available (Why is that?)
- Classifier-based constraint acquisition
- Learn and route: learning implicit preferences for vehicle routing
- Learning constraints through partial queries
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic explained networks
- Optimization modeling and verification from problem specifications using a multi-agent multi-stage LLM framework
- Title not available (Why is that?)
- Enriching Solutions to Combinatorial Problems via Solution Engineering
- Confluent-functional solving systems
- Efficient multiple constraint acquisition
Uses Software
Recommendations
This page was built for publication: Constraint acquisition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q511791)
