Generating Corrective Explanations for Interactive Constraint Satisfaction

DOI10.1007/11564751_34MaRDI QIDQ3524197zbMATH OpenOpenAlexFDO

Authors Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11564751_34

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Consistency restoration and explanations in dynamic CSPs---Application to configuration
• scientific article; zbMATH DE number 2084736
• scientific article; zbMATH DE number 1975614
• scientific article; zbMATH DE number 1708137
• Computing and restoring global inverse consistency in interactive constraint satisfaction

Cited in

(11)

• Debugging unsatisfiable constraint models
• Generating contrastive explanations for inductive logic programming based on a near miss approach
• A framework for step-wise explaining how to solve constraint satisfaction problems
• MCS Extraction with Sublinear Oracle Queries
• Computing and restoring global inverse consistency in interactive constraint satisfaction
• scientific article; zbMATH DE number 4164195 (Why is no real title available?)
• scientific article; zbMATH DE number 1975614 (Why is no real title available?)
• scientific article; zbMATH DE number 2084736 (Why is no real title available?)
• Consistency restoration and explanations in dynamic CSPs---Application to configuration
• \textsc{Ner4Opt}: named entity recognition for optimization modelling from natural language
• \textsc{Ner4Opt}: named entity recognition for optimization modelling from natural language

This page was built for publication: Generating Corrective Explanations for Interactive Constraint Satisfaction

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