Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt. Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. In 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia. pages 72-82, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Boris Konev' in GoogleThis author has not been identified. Look up 'Anatoli Degtyarev' in GoogleThis author has not been identified. Look up 'Clare Dixon' in GoogleThis author has not been identified. Look up 'Michael Fisher' in GoogleThis author has not been identified. Look up 'Ullrich Hustadt' in Google

runs on WebDSL