Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas. Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 145-154, Morgan Kaufmann, 2001.

This author has not been identified. Look up 'Patrick Doherty' in GoogleThis author has not been identified. Look up 'Witold Lukaszewicz' in GoogleThis author has not been identified. Look up 'Andrzej Szalas' in Google

runs on WebDSL