Works matching IS 00015903 AND DT 2016 AND VI 53 AND IP 2
Results: 4
Optimization in temporal qualitative constraint networks.
- Published in:
- Acta Informatica, 2016, v. 53, n. 2, p. 149, doi. 10.1007/s00236-015-0228-z
- By:
- Publication type:
- Article
A tool for deciding the satisfiability of continuous-time metric temporal logic.
- Published in:
- Acta Informatica, 2016, v. 53, n. 2, p. 171, doi. 10.1007/s00236-015-0229-y
- By:
- Publication type:
- Article
Special issue on temporal representation and reasoning (TIME'13).
- Published in:
- 2016
- By:
- Publication type:
- Editorial
Efficient execution of dynamically controllable simple temporal networks with uncertainty.
- Published in:
- Acta Informatica, 2016, v. 53, n. 2, p. 89, doi. 10.1007/s00236-015-0227-0
- By:
- Publication type:
- Article