On the modelling and optimization of preferences in constraint-based temporal reasoning

DOI10.1016/J.ARTINT.2010.11.016MaRDI QIDQ646549zbMATHOpenAlexFDO

Authors Michael D. Moffitt

Publication date 17 November 2011

Published in Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

optimizationconstraint satisfactionbranch and boundtemporal reasoningpreferencesoverconstrained problems

Mathematics Subject Classification ID

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

Recommendations

• Principles and Practice of Constraint Programming – CP 2004
• Translation-based approaches for solving disjunctive temporal problems with preferences
• Solving disjunctive temporal problems with preferences using maximum satisfiability
• scientific article; zbMATH DE number 2086971
• Efficient solution techniques for disjunctive temporal reasoning problems

Cites work

• A logical approach to efficient Max-SAT solving
• Backtracking algorithms for disjunctions of temporal constraints
• Computer Aided Verification
• Dealing with Incomplete Preferences in Soft Constraint Problems
• Efficient solution techniques for disjunctive temporal reasoning problems
• Evaluating and improving modern variable and revision ordering strategies in CSPs
• Handbook of constraint programming.
• IJCAI '01: 17th international joint conference on artificial intelligence (2-volume \& CD set)
• Incompleteness and incomparability in preference aggregation: complexity results
• Logic Programming
• Mechanizing Mathematical Reasoning
• On Solving Soft Temporal Constraints Using SAT Techniques
• Principles and Practice of Constraint Programming – CP 2004
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Semiring-based constraint satisfaction and optimization
• Semirings for constraint solving and programming.
• Temporal constraint networks

Cited in

(7)

• On Solving Soft Temporal Constraints Using SAT Techniques
• Solving disjunctive temporal problems with preferences using maximum satisfiability
• scientific article; zbMATH DE number 2086971 (Why is no real title available?)
• Efficient solution techniques for disjunctive temporal reasoning problems
• Temporal reasoning with layered preferences
• Principles and Practice of Constraint Programming – CP 2004
• Translation-based approaches for solving disjunctive temporal problems with preferences

Describes a project that uses

Uses Software

• Chaff

This page was built for publication: On the modelling and optimization of preferences in constraint-based temporal reasoning

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