A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luke Hunsberger, Roberto Posenato, Carlo Combi. A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. In 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. pages 4-18, IEEE, 2015. [doi]

This author has not been identified. Look up 'Luke Hunsberger' in GoogleThis author has not been identified. Look up 'Roberto Posenato' in GoogleThis author has not been identified. Look up 'Carlo Combi' in Google

runs on WebDSL