Items where Author / Artist / Editor is "Alechina, Natasha"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference or Workshop Item

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Symbolic model checking for one-resource RBĀ±ATL. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25-31 Jul 2015, Buenos Aires, Argentina. ISBN 9781577357384.

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Mostarda, Leonardo (2015) Symbolic model-checking for resource-bounded ATL. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. In: 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, 4-8 May 2015, Istanbul, Turkey. .

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2014) Decidable model-checking for a resource logic with production of resources. ECAI 2014: 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, including prestigious applications of artificial intelligence (PAIS-2014) proceedings. In: 21st European Conference on Artificial Intelligence (ECAI-2014), 18-22 Aug 2014, Prague, Czech Republic. ISBN 9781614994183. ISSN 0922-6389 (doi:10.3233/978-1-61499-419-0-9)

This list was generated on Wed Aug 5 05:00:49 2020 BST.