Strategy Logic with Simple Goals: Tractable Reasoning about Strategies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano. Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 88-94, ijcai.org, 2019. [doi]

This author has not been identified. Look up 'Francesco Belardinelli' in GoogleThis author has not been identified. Look up 'Wojciech Jamroga' in GoogleThis author has not been identified. Look up 'Damian Kurpiewski' in GoogleThis author has not been identified. Look up 'Vadim Malvone' in GoogleThis author has not been identified. Look up 'Aniello Murano' in Google

runs on WebDSL