{"type":"ScholarlyArticle","title":"Abstraction of Nondeterministic Situation Calculus Action Theories","authors":[{"name":"Bita Banihashemi","slug":"bita-banihashemi","given":"Bita","family":"Banihashemi","affiliation":"Ronin Institute"},{"name":"Giuseppe De Giacomo","slug":"giuseppe-de-giacomo","given":"Giuseppe","family":"De Giacomo","affiliation":"University of Oxford"},{"name":"Yves Lesperance","slug":"yves-lesperance","given":"Yves","family":"Lespérance","affiliation":"York University"}],"abstract":"We develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control\r\nthe outcome of the nondeterministic actions, based on the nondeterministic situation calculus and the ConGolog programming language. We assume that\r\nwe have both an abstract and a concrete nondeterministic basic action theory, and a refinement mapping which  specifies how abstract actions, decomposed into agent actions and environment reactions, are implemented by concrete ConGolog programs. This new setting supports strategic reasoning and strategy synthesis, by allowing us to quantify separately on agent actions and environment reactions. We show that if the agent has a (strong FOND) plan/strategy to achieve a goal/complete a task at the abstract level, and it can always execute the nondeterministic abstract actions to completion at the concrete level, then there exist a refinement of it that is a (strong FOND) plan/strategy to achieve the refinement of the goal/task at the concrete level.","doi":"10.24963/ijcai.2023/347","url":"https://ijcai.org/proceedings/2023/347","pdf":"https://ijcai.org/proceedings/2023/0347.pdf","markdown":"https://ijcai.org/proceedings/2023/347.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/347","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":347,"pages":{"first":3112,"last":3122},"keywords":["Agent-based and Multi-agent Systems: MAS: Agent theories and models","Knowledge Representation and Reasoning: KRR: Reasoning about actions"],"videos":[],"references":[{"position":1,"raw":"[Abadi et al., 1989] Martín Abadi, Leslie Lamport, and Pierre Wolper. Realizable and Unrealizable Specifications of Reactive Systems. In Proceedings of the 16th Inter- national Colloquium on Automata, Languages and Pro- gramming, Lecture Notes in Computer Science, pages 1- 17. Springer, 1989.","title":"Realizable and Unrealizable Specifications of Reactive Systems","authors":"Abadi","year":"1989","venue":"Proceedings of the 16th International Colloquium on Automata, Languages and Programming","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alur et al., 2002] Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman. Alternating-time temporal logic. J. ACM, 49(5):672-713, 2002.","title":"Alternating-time temporal logic","authors":"Rajeev Alur, Thomas A Henzinger, Orna Kupferman","year":"2002","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Aminof et al., 2020] Benjamin Aminof, Giuseppe De Gia- como, and Sasha Rubin. Stochastic fairness and language- theoretic fairness in planning in nondeterministic domains. In Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020, pages 20-28. AAAI Press, 2020.","title":"Stochastic fairness and languagetheoretic fairness in planning in nondeterministic domains","authors":"Benjamin Aminof, Giuseppe De, Giacomo, Sasha Rubin","year":"2020","venue":"Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Aminof et al., 2021] Benjamin Aminof, Giuseppe De Gia- como, Alessio Lomuscio, Aniello Murano, and Sasha Ru- bin. Synthesizing best-effort strategies under multiple en- vironment specifications. In Proceedings of the 18th Inter- national Conference on Principles of Knowledge Repre- sentation and Reasoning, KR 2021, Online event, Novem- ber 3-12, 2021, pages 42-51, 2021.","title":"Synthesizing best-effort strategies under multiple environment specifications","authors":"Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin","year":"2021","venue":"Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bacchus et al., 1999] Fahiem Bacchus, Joseph Y. Halpern, and Hector J. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artif. Intell., 111(1- 2):171-208, 1999.","title":"Reasoning about noisy sensors and effectors in the situation calculus","authors":"Bacchus","year":"1999","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Banihashemi et al., 2017] Bita Banihashemi, Giuseppe De Giacomo, and Yves Lespérance. Abstraction in situation calculus action theories. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, pages 1048-1055. AAAI Press, 2017.","title":"Abstraction in situation calculus action theories","authors":"Bita Banihashemi, Giuseppe De, Giacomo, Yves Lespérance","year":"2017","venue":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Banihashemi et al., 2018] Bita Banihashemi, Giuseppe De Giacomo, and Yves Lespérance. Abstraction of agents ex- ecuting online and their abilities in the situation calculus. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13- 19, 2018, Stockholm, Sweden, pages 1699-1706. ijcai.org, 2018.","title":"Abstraction of agents executing online and their abilities in the situation calculus","authors":"Bita Banihashemi, Giuseppe De, Giacomo, Yves Lespérance","year":"2018","venue":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018","doi":null,"url":null,"internal_url":"/proceedings/2018/235"},{"position":8,"raw":"[Banihashemi et al., 2023] Bita Banihashemi, Giuseppe De Giacomo, and Yves Lespérance. Abstraction of nonde- terministic situation calculus action theories -Extended version. CoRR, abs/2305.14222, 2023.","title":"Abstraction of nondeterministic situation calculus action theories -Extended version","authors":"Bita Banihashemi, Giuseppe De, Giacomo, Yves Lespérance","year":"2023","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Bonet et al., 2017] Blai Bonet, Giuseppe De Giacomo, Hec- tor Geffner, and Sasha Rubin. Generalized planning: Non- deterministic abstractions and trajectory constraints. In Proceedings of the Twenty-Sixth International Joint Con- ference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 873-879. ijcai.org, 2017.","title":"Generalized planning: Nondeterministic abstractions and trajectory constraints","authors":"Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin","year":"2017","venue":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Chen and Bercher, 2021] Dillon Chen and Pascal Bercher. Fully observable nondeterministic HTN planning -for- malisation and complexity results. In Proceedings of the Thirty-First International Conference on Automated Plan- ning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021, pages 74-84. AAAI Press, 2021.","title":"Fully observable nondeterministic HTN planning -formalisation and complexity results","authors":"Dillon Chen, Pascal Bercher","year":"2021","venue":"Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Alonzo Church. Logic, arithmetics, and au- tomata. In Proc. International Congress of Mathemati- cians, 1962. institut Mittag-Leffler, 1963.","title":"Logic, arithmetics, and automata","authors":"Alonzo Church","year":"1962","venue":"Proc. International Congress of Mathematicians","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Cimatti et al., 1998] Alessandro Cimatti, Marco Roveri, and Paolo Traverso. Strong planning in non-deterministic domains via model checking. In Proceedings of the Fourth International Conference on Artificial Intelligence Plan- ning Systems, Pittsburgh, Pennsylvania, USA, 1998, pages 36-43. AAAI, 1998.","title":"Strong planning in non-deterministic domains via model checking","authors":"Alessandro Cimatti, Marco Roveri, Paolo Traverso","year":"1998","venue":"Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Cimatti et al., 2003] Alessandro Cimatti, Marco Pistore, Marco Roveri, and Paolo Traverso. Weak, strong, and strong cyclic planning via symbolic model checking. Arti- ficial Intelligence, 147(1-2):35-84, 2003.","title":"Weak, strong, and strong cyclic planning via symbolic model checking","authors":"Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso","year":"2003","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Ciolek et al., 2020] Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, and Sebastian Sardiña. Multi-tier automated planning for adaptive behavior. In Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020, pages 66-74. AAAI Press, 2020.","title":"Multi-tier automated planning for adaptive behavior","authors":"Alfredo Daniel, Ciolek, D' Nicolás, Alberto Ippolito, Sebastian Pozanco, Sardiña","year":"2020","venue":"Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Clarke and Emerson, 1981] Edmund M. Clarke and E. Allen Emerson. Design and synthesis of synchroniza- tion skeletons using branching-time temporal logic. In Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, volume 131 of Lecture Notes in Computer Science, pages 52-71. Springer, 1981.","title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","authors":"Edmund M Clarke, E Allen Emerson","year":"1981","venue":"Logics of Programs, Workshop","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Cui et al., 2021] Zhenhe Cui, Yongmei Liu, and Kailun Luo. A uniform abstraction framework for generalized planning. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, pages 1837-1844. ijcai.org, 2021.","title":"A uniform abstraction framework for generalized planning","authors":"Cui","year":"2021","venue":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event","doi":null,"url":null,"internal_url":"/proceedings/2021/253"},{"position":17,"raw":"[De Giacomo and Lespérance, 2021] Giuseppe De Giacomo and Yves Lespérance. The nondeterministic situation cal- culus. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reason- ing, KR 2021, Online event, November 3-12, 2021, pages 216-226, 2021.","title":"The nondeterministic situation calculus","authors":"De Giacomo, Lespérance, Giuseppe De, Giacomo, Yves Lespérance","year":"2021","venue":"Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[De Giacomo et al., 2000] Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. ConGolog, a con- current programming language based on the situation cal- culus. Artificial Intelligence, 121(1-2):109-169, 2000.","title":"ConGolog, a concurrent programming language based on the situation calculus","authors":"Giuseppe De, Giacomo, Yves Lespérance, Hector J Levesque","year":"2000","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[De Giacomo et al., 2010] Giuseppe De Giacomo, Yves Lespérance, and Adrian R. Pearce. Situation calculus based programs for representing and reasoning about game structures. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Con- ference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010.","title":"Situation calculus based programs for representing and reasoning about game structures","authors":"Giuseppe De, Giacomo, Yves Lespérance, Adrian R Pearce","year":"2010","venue":"Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[De Giacomo et al., 2012] Giuseppe De Giacomo, Yves Lespérance, and Christian J. Muise. On supervising agents in situation-determined ConGolog. In International Con- ference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Vol- umes), pages 1031-1038. IFAAMAS, 2012.","title":"On supervising agents in situation-determined ConGolog","authors":"Giuseppe De, Giacomo, Yves Lespérance, Christian J Muise","year":"2012","venue":"International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[De Giacomo et al., 2016] Giuseppe De Giacomo, Yves Lespérance, and Fabio Patrizi. Bounded situation calcu- lus action theories. Artif. Intell., 237:172-203, 2016.","title":"Bounded situation calculus action theories","authors":"Giuseppe De, Giacomo, Yves Lespérance, Fabio Patrizi","year":"2016","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[De Giacomo et al., 2022] Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, and Sebastian Sardiña. Situation calculus for controller synthesis in manufactur- ing systems with first-order state representation. Artif. In- tell., 302:103598, 2022.","title":"Situation calculus for controller synthesis in manufacturing systems with first-order state representation","authors":"Giuseppe De, Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña","year":"2022","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[D'Ippolito et al., 2018] Nicolás D'Ippolito, Natalia Rodríguez, and Sebastian Sardiña. Fully observable non-deterministic planning as assumption-based reactive synthesis. J. Artif. Intell. Res., 61:593-621, 2018.","title":"Fully observable non-deterministic planning as assumption-based reactive synthesis","authors":"D' Nicolás, Natalia Ippolito, Sebastian Rodríguez, Sardiña","year":"2018","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Erol et al., 1994] Kutluhan Erol, James A. Hendler, and Dana S. Nau. HTN planning: Complexity and expressiv- ity. In Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 -August 4, 1994, Volume 2, pages 1123-1128. AAAI Press / The MIT Press, 1994.","title":"HTN planning: Complexity and expressivity","authors":"Erol","year":"1994","venue":"Proceedings of the 12th National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Ghallab et al., 2004] Malik Ghallab, Dana S. Nau, and Paolo Traverso. Automated planning -theory and prac- tice. Elsevier, 2004.","title":"Automated planning -theory and practice","authors":"Malik Ghallab, Dana S Nau, Paolo Traverso","year":"2004","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Haslum et al., 2019] Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, and Christian Muise. An Introduction to the Planning Domain Definition Language. Synthesis Lectures on Artificial Intelligence and Machine Learning.","title":"An Introduction to the Planning Domain Definition Language","authors":"Haslum","year":"2019","venue":"Synthesis Lectures on Artificial Intelligence and Machine Learning","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Kuter et al., 2009] Ugur Kuter, Dana S. Nau, Marco Pistore, and Paolo Traverso. Task decomposition on abstract states, for planning under nondeterminism. Artif. Intell., 173(5- 6):669-695, 2009.","title":"Task decomposition on abstract states, for planning under nondeterminism","authors":"Ugur Kuter, Dana S Nau, Marco Pistore, Paolo Traverso","year":"2009","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Levesque et al., 1997] Hector J. Levesque, Raymond Re- iter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dy- namic domains. Journal of Logic Programming, 31(1- 3):59-83, 1997.","title":"GOLOG: A logic programming language for dynamic domains","authors":"Hector J Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B Scherl","year":"1997","venue":"Journal of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Luo et al., 2020] Kailun Luo, Yongmei Liu, Yves Lespérance, and Ziliang Lin. Agent abstraction via forgetting in the situation calculus. In ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, volume 325 of Frontiers in Artificial Intelligence and Applications, pages 809-816. IOS Press, 2020.","title":"Agent abstraction via forgetting in the situation calculus","authors":"Luo","year":"2020","venue":"ECAI 2020 -24th European Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Marrella et al., 2017] Andrea Marrella, Massimo Mecella, and Sebastian Sardiña. Intelligent process adaptation in the smartpm system. ACM Trans. Intell. Syst. Technol., 8(2):25:1-25:43, 2017.","title":"Intelligent process adaptation in the smartpm system","authors":"Andrea Marrella, Massimo Mecella, Sebastian Sardiña","year":"2017","venue":"ACM Trans. Intell. Syst. Technol","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[McCarthy and Hayes, 1969] J. McCarthy and P. J. Hayes. Some Philosophical Problems From the Standpoint of Ar- tificial Intelligence. Machine Intelligence, 4:463-502, 1969.","title":"Some Philosophical Problems From the Standpoint of Artificial Intelligence","authors":"J Mccarthy, P J Hayes","year":"1969","venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Milner, 1971] Robin Milner. An algebraic definition of simulation between programs. In Proceedings of the 2nd International Joint Conference on Artificial Intelli- gence. London, UK, September 1-3, 1971, pages 481-489.","title":"An algebraic definition of simulation between programs","authors":"Robin Milner, Milner","year":"1971","venue":"Proceedings of the 2nd International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1971/50"},{"position":33,"raw":"William Kaufmann, 1971.","title":null,"authors":"William Kaufmann","year":"1971","venue":null,"doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Milner, 1989] Robin Milner. Communication and concur- rency. PHI Series in computer science. Prentice Hall, 1989.","title":"Communication and concurrency. PHI Series in computer science","authors":"Robin Milner","year":"1989","venue":null,"doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Muise et al., 2014] Christian J. Muise, Vaishak Belle, and Sheila A. McIlraith. Computing contingent plans via fully observable non-deterministic planning. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelli- gence, July 27 -31, 2014, Québec City, Québec, Canada, pages 2322-2329. AAAI Press, 2014.","title":"Computing contingent plans via fully observable non-deterministic planning","authors":"Christian J Muise, Vaishak Belle, Sheila A Mcilraith","year":"2014","venue":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Pinto et al., 2000] Javier Pinto, Amílcar Sernadas, Cristina Sernadas, and Paulo Mateus. Non-determinism and uncer- tainty in the situation calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst., 8(2):127-150, 2000.","title":"Non-determinism and uncertainty in the situation calculus","authors":"Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus","year":"2000","venue":"Int. J. Uncertain. Fuzziness Knowl. Based Syst","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Pnueli and Rosner, 1989] Amir Pnueli and Roni Rosner. On the synthesis of a reactive module. In POPL, 1989.","title":"On the synthesis of a reactive module","authors":"Rosner Pnueli, Amir Pnueli, Roni Rosner","year":"1989","venue":"POPL","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Reiter, 2001] Ray Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001.","title":"Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems","authors":"Ray Reiter","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Seegebarth et al., 2012] Bastian Seegebarth, Felix Müller, Bernd Schattenberg, and Susanne Biundo. Making hy- brid plans more clear to human users -A formal ap- proach for generating sound explanations. In Proceedings of the Twenty-Second International Conference on Auto- mated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012. AAAI, 2012.","title":"Making hybrid plans more clear to human users -A formal approach for generating sound explanations","authors":"Bastian Seegebarth, Felix Müller, Bernd Schattenberg, Susanne Biundo","year":"2012","venue":"Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"[Sutton et al., 1999] Richard S. Sutton, Doina Precup, and Satinder Singh. Between MDPs and Semi-MDPs: A framework for temporal abstraction in reinforcement learning. Artificial Intelligence, 112(1-2):181-211, 1999.","title":"Between MDPs and Semi-MDPs: A framework for temporal abstraction in reinforcement learning","authors":"Richard S Sutton, Doina Precup, Satinder Singh","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[Xiong and Liu, 2016a] Liping Xiong and Yongmei Liu. Strategy representation and reasoning for incomplete in- formation concurrent games in the situation calculus. In Proceedings of the Twenty-Fifth International Joint Con- ference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 1322-1329. IJCAI/AAAI Press, 2016.","title":"Strategy representation and reasoning for incomplete information concurrent games in the situation calculus","authors":"Liu Xiong, Liping Xiong, Yongmei Liu","year":"2016","venue":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016","doi":null,"url":null,"internal_url":"/proceedings/2016/191"},{"position":42,"raw":"[Xiong and Liu, 2016b] Liping Xiong and Yongmei Liu. Strategy representation and reasoning in the situation cal- culus. In ECAI 2016 -22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands -Including Prestigious Applica- tions of Artificial Intelligence (PAIS 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, pages 982-990. IOS Press, 2016.","title":"Strategy representation and reasoning in the situation calculus","authors":"Liu Xiong, Liping Xiong, Yongmei Liu","year":"2016","venue":"The Netherlands -Including Prestigious Applications of Artificial Intelligence (PAIS 2016)","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}