Learning modulo theories for constructive preference elicitation

DOI10.1016/J.ARTINT.2021.103454MaRDI QIDQ2238637zbMATH OpenOpenAlexFDO

Authors Paolo Campigotto, Stefano Teso, Roberto Battiti, Andrea Passerini

Publication date 2 November 2021

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2021.103454

zbMATH Keywords

(maximum) satisfiability modulo theoryconstructive machine learninglearning while optimizingpreference elicitation

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Recommendations

• On the equivalence of optimal recommendation sets and myopically optimal query sets
• Constraint-based optimization and utility elicitation using the minimax decision criterion
• Constructive preference elicitation for multiple users with setwise max-margin
• Learning Modulo Theories
• Learning Theory and Kernel Machines

Cites work

• 10.1162/153244303322753751
• A Bayesian approximation method for online ranking
• A modular approach to MaxSAT modulo theories
• Active learning
• Applications of combinatorial optimization
• Constraint-based optimization and utility elicitation using the minimax decision criterion
• Discussion on boosting papers.
• Efficiently learning the preferences of people
• Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies
• Eliciting single-peaked preferences using comparison queries
• scientific article; zbMATH DE number 5719289 (Why is no real title available?)
• scientific article; zbMATH DE number 3769296 (Why is no real title available?)
• scientific article; zbMATH DE number 845714 (Why is no real title available?)
• scientific article; zbMATH DE number 5263038 (Why is no real title available?)
• scientific article; zbMATH DE number 2243357 (Why is no real title available?)
• scientific article; zbMATH DE number 3073477 (Why is no real title available?)
• Lazy satisfiability modulo theories
• LIBLINEAR: a library for large linear classification
• Minimal-model-guided approaches to solving polynomial constraints and extensions
• Multiobjective optimization. Interactive and evolutionary approaches
• On SAT Modulo Theories and Optimization Problems
• Optimization modulo theories with linear rational costs
• Preferences in artificial intelligence
• Satisfiability modulo the theory of costs: foundations and applications
• Solving non-linear arithmetic
• Structured learning modulo theories
• The Theory of Statistical Decision

Describes a project that uses

Uses Software

• CP-nets
• LIBLINEAR

This page was built for publication: Learning modulo theories for constructive preference elicitation

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