Translation-based approaches for solving disjunctive temporal problems with preferences
暂无分享,去创建一个
[1] Martha E. Pollack,et al. Temporal Preference Optimization as Weighted Constraint Satisfaction , 2006, AAAI.
[2] Bruno Dutertre,et al. A Fast Linear-Arithmetic Solver for DPLL(T) , 2006, CAV.
[3] N. Yorke-Smith,et al. A Preference Model for Over-Constrained Meeting Requests , 2007 .
[4] Martha E. Pollack,et al. Partial Constraint Satisfaction of Disjunctive Temporal Problems , 2005, FLAIRS.
[5] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[6] Martha E. Pollack,et al. On Solving Soft Temporal Constraints Using SAT Techniques , 2005, CP.
[7] Luca Pulina,et al. Solving disjunctive temporal problems with preferences using maximum satisfiability , 2012, AI Commun..
[8] Martha E. Pollack,et al. Solving Over-constrained Disjunctive Temporal Problems with Preferences , 2005, ICAPS.
[9] Roberto Sebastiani,et al. OptiMathSAT: A Tool for Optimization Modulo Theories , 2018, Journal of Automated Reasoning.
[10] L. D. Moura,et al. The YICES SMT Solver , 2006 .
[11] Tomás E. Uribe,et al. A Personalized Time Management Assistant: Research Directions , 2005, AAAI Spring Symposium: Persistent Assistants: Living and Working with AI.
[12] Martha E. Pollack,et al. Intelligent Technology for an Aging Population: The Use of AI to Assist Elders with Cognitive Impairment , 2005, AI Mag..
[13] Martha E. Pollack,et al. Low-cost Addition of Preferences to DTPs and TCSPs , 2004, AAAI.
[14] Alberto Griggio,et al. The MathSAT5 SMT Solver , 2013, TACAS.
[15] Martha E. Pollack,et al. Efficient solution techniques for disjunctive temporal reasoning problems , 2003, Artif. Intell..
[16] M. Mulholland,et al. The University of Michigan. , 2003, Archives of surgery.
[17] Michael D. Moffitt. On the modelling and optimization of preferences in constraint-based temporal reasoning , 2011, Artif. Intell..
[18] Martha E. Pollack,et al. Algorithms for constraint-based temporal reasoning with preferences , 2005 .
[19] Luca Pulina,et al. A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences , 2013, AI*IA.
[20] Manolis Koubarakis,et al. Backtracking algorithms for disjunctions of temporal constraints , 1998, Artif. Intell..
[21] Enrico Giunchiglia,et al. SAT-Based Procedures for Temporal Reasoning , 1999, ECP.