Linear time-dependent constraints programming with MSVL

DOI10.1007/s10878-012-9551-2zbMath1298.68253OpenAlexW1972480948MaRDI QIDQ2015809

Qian Ma, Zhenhua Duan

Publication date: 24 June 2014

Published in: Journal of Combinatorial Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10878-012-9551-2

zbMATH Keywords

operational semanticstime-dependent constraintsMSVLinterval temporal logic programming

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Temporal logic (03B44)

Uses Software

• MuTACLP
• SMT-LIB
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• A cylinder computation model for many-core parallel computing
• Timed default concurrent constraint programming
• Temporal annotated constraint logic programming
• Unconditional secure communication: a Russian cards protocol
• Programming in metric temporal logic
• Temporal constraint networks
• The Esterel synchronous programming language: Design, semantics, implementation
• Computing with continuous change
• Constraint satisfaction problems: Algorithms and applications
• Operational semantics of Framed Tempura
• Framed temporal logic programming
• The generalized simplex method for minimizing a linear form under linear inequality restraints
• Combining qualitative and quantitative constraints in temporal reasoning
• Axiomatic semantics of projection temporal logic programs

This page was built for publication: Linear time-dependent constraints programming with MSVL