Linear time-dependent constraints programming with MSVL

DOI10.1007/S10878-012-9551-2MaRDI QIDQ2015809zbMATH OpenOpenAlexFDO

Authors 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

time-dependent constraintsoperational semanticsMSVLinterval temporal logic programming

Mathematics Subject Classification ID

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

Recommendations

• Solving linear, min and max constraint systems using CLP based on relational interval arithmetic
• Temporal annotated constraint logic programming
• Semantics of temporal constrained objects
• Temporal constraint networks
• scientific article; zbMATH DE number 1234563

Cites work

• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 3960965 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1926630 (Why is no real title available?)
• A cylinder computation model for many-core parallel computing
• Axiomatic semantics of projection temporal logic programs
• Combining qualitative and quantitative constraints in temporal reasoning
• Computing with continuous change
• Constraint satisfaction problems: Algorithms and applications
• Framed temporal logic programming
• Maintaining knowledge about temporal intervals
• Operational semantics of Framed Tempura
• Programming in metric temporal logic
• Temporal annotated constraint logic programming
• Temporal constraint networks
• The Esterel synchronous programming language: Design, semantics, implementation
• The generalized simplex method for minimizing a linear form under linear inequality restraints
• Timed default concurrent constraint programming
• Unconditional secure communication: a Russian cards protocol

Describes a project that uses

Uses Software

• Esterel
• SMT-LIB
• MuTACLP

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

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