Artificial Intelligence
Tree clustering for constraint networks (research note)
Artificial Intelligence
Preference-based search and multi-criteria optimization
Eighteenth national conference on Artificial intelligence
Finding all minimal unsatisfiable subsets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Preference programming: Advanced problem solving for configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Inference-based constraint satisfaction supports explanation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Debugging user interface descriptions of knowledge-based recommender applications
Proceedings of the 11th international conference on Intelligent user interfaces
Deploying a personalized time management agent
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
IEEE Intelligent Systems
An Integrated Environment for the Development of Knowledge-Based Recommender Applications
International Journal of Electronic Commerce
Reducing development and maintenance efforts for web-based recommender applications
International Journal of Web Engineering and Technology
Proceedings of the 13th international conference on Intelligent user interfaces
Constraint-based recommender systems: technologies and research issues
Proceedings of the 10th international conference on Electronic commerce
An explanation-based tools for debugging constraint satisfaction problems
Applied Soft Computing
Relaxations for Compiled Over-Constrained Problems
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Preference-Based Problem Solving for Constraint Programming
Recent Advances in Constraints
Extracting MUCs from Constraint Networks
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Automated debugging of recommender user interface descriptions
Applied Intelligence
Utility-Based Repair of Inconsistent Requirements
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Dependency management for the eclipse ecosystem: eclipse p2, metadata and resolution
Proceedings of the 1st international workshop on Open component ecosystems
Representative explanations for over-constrained problems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Knowledge-based interactive selling of financial services with FSAdvisor
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
The ultrametric constraint and its application to phylogenetics
Journal of Artificial Intelligence Research
Quantified constraint satisfaction problems: from relaxations to explanations
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Personalized query relaxations and repairs in knowledge-based recommendation
Proceedings of the third ACM conference on Recommender systems
Corrective explanation for interactive constraint satisfaction
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reasoning from last conflict(s) in constraint programming
Artificial Intelligence
Plausible repairs for inconsistent requirements
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Fast computation of query relaxations for knowledge-based recommenders
AI Communications
Personalized user interfaces for product configuration
Proceedings of the 15th international conference on Intelligent user interfaces
Techniques for fast query relaxation in content-based recommender systems
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A reformulation-based approach to explanation in constraint satisfaction
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
MUST: provide a finer-grained explanation of unsatisfiability
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Exploiting past and future: pruning by inconsistent partial state dominance
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Multi-stage benders decomposition for optimizing multicore architectures
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Compiling all possible conflicts of a CSP
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Efficient combination of decision procedures for MUS computation
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Efficient Explanations for Inconsistent Constraint Sets
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Incremental Satisfiability and Implication for UTVPI Constraints
INFORMS Journal on Computing
Query strategy for sequential ontology debugging
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
FastXplain: conflict detection for constraint-based recommendation problems
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Learning cluster-based structure to solve constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
On improving MUS extraction algorithms
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
A refactoring constraint language and its application to eiffel
Proceedings of the 25th European conference on Object-oriented programming
Minimal and complete explanations for critical multi-attribute decisions
ADT'11 Proceedings of the Second international conference on Algorithmic decision theory
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Relaxations and explanations for quantified constraint satisfaction problems
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Conflict-directed relaxation of constraints in content-based recommender systems
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
An efficient diagnosis algorithm for inconsistent constraint sets
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Automated error localization and correction for imperative programs
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
ReAction: personalized minimal repair adaptations for customer requests
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
Towards efficient MUS extraction
AI Communications - 18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Restoring CSP Satisfiability with MaxSAT
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Investigating explanations to justify choice
UMAP'12 Proceedings of the 20th international conference on User Modeling, Adaptation, and Personalization
On computing minimal equivalent subformulas
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Understanding, improving and parallelizing MUS finding using model rotation
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Personalized diagnoses for inconsistent user requirements
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Resolving anomalies in configuration knowledge bases
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent Systems
Approximating Linear Order Inference in OWL 2 DL by Horn Compilation
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Automated feedback generation for introductory programming assignments
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Inferring user utility for query revision recommendation
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Minimal sets over monotone predicates in boolean formulae
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Constraint acquisition via partial queries
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Preserving partial solutions while relaxing constraint networks
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
On computing minimal correction subsets
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The route to success: a performance comparison of diagnosis algorithms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Personalized diagnosis for over-constrained problems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A probabilistic optimization framework for the empty-answer problem
Proceedings of the VLDB Endowment
Automated repair of scoring rules in constraint-based recommender systems
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.00 |
Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user of an interactive application, however, desires explanations and relaxations containing the most important constraints. To address this need, we define preferred explanations and relaxations based on user preferences between constraints and we compute them by a generic method which works for arbitrary CP, SAT, or DL solvers. We significantly accelerate the basic method by a divide-and-conquer strategy and thus provide the technological basis for the explanation facility of a principal industrial constraint programming tool, which is, for example, used in numerous configuration applications.