Found: 4
Select item for more details and to access through your institution.
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
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
Special issue on temporal representation and reasoning (TIME'13).
- Published in:
- 2016
- By:
- Publication type:
- Editorial