Select Publications
Conference Papers
2024, 'Epistemic Reasoning in Computational Machine Ethics', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 82 - 94, http://dx.doi.org/10.1007/978-981-99-8391-9_7
,2021, 'Epistemic Reasoning for Machine Ethics with Situation Calculus', in AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society, pp. 814 - 821, http://dx.doi.org/10.1145/3461702.3462586
,2021, 'Representing and Reasoning with Event Models for Epistemic Planning', in Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, pp. 519 - 528
,2019, 'Encoding epistemic strategies for general game playing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Cuvu, Yanuca Island, Fiji, pp. 555 - 567, presented at PRICAI, Cuvu, Yanuca Island, Fiji, 26 August 2019 - 30 August 2019, http://dx.doi.org/10.1007/978-3-030-29908-8_44
,2016, 'Composability in cognitive hierarchies', in Kang BH; Bai Q (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, Hobart, TAS, Australia, pp. 42 - 55, presented at 29th Australasian Joint Conference, Hobart, TAS, Australia, 05 December 2016 - 08 December 2016, http://dx.doi.org/10.1007/978-3-319-50127-7_4
,2016, 'Towards Autonomous Adaptation and Trust.', Daejeon, Korea, presented at IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, 09 October 2016 - 14 October 2016, http://dx.doi.org/10.26190/unsworks/26554
,2016, 'A Framework for Integrating Symbolic and Sub-symbolic Representations', in Kambhampati S (ed.), IJCAI International Joint Conference on Artificial Intelligence, IJCAI/AAAI Press, New York, New York, USA, pp. 2486 - 2492, presented at 25th International Joint Conference on Artificial Intelligence IJCAI-16, New York, New York, USA, 09 July 2016 - 15 July 2016, http://www.ijcai.org/Proceedings/2016
,2015, 'Execution Monitoring as Meta-Games for General Game-Playing Robots', in Wooldridge M; Yang Q (ed.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, presented at 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, 25 July 2015 - 31 July 2015, http://ijcai.org/papers15/contents.php
,2015, 'Integrating ASP into ROS for reasoning in robots', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, pp. 69 - 82, http://dx.doi.org/10.1007/978-3-319-23264-5_7
,2014, 'A Systematic Solution to the (De-)Composition Problem in General Game Playing', in Schaub T (ed.), ECAI 2014 - 21st European Conference on Artificial Intelligence, IOS Press, Prague, Czech Republic, pp. 195 - 200, presented at 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, 18 August 2014 - 22 August 2014, http://dx.doi.org/10.3233/978-1-61499-419-0-195
,2014, 'Forgetting in Action', in Baral C; De Giacomo G (ed.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, AAAI Press, Vienna, Austria, presented at 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20 July 2014 - 24 July 2014, http://www.aaai.org/Press/press.php
,2013, 'Towards General Game-Playing Robots: Models, Architecture and Game Controller', in Cranefield S; Nayak A (ed.), AI 2013: Advances in Artificial Intelligence. Lecture Notes in Computer Science, Springer, Heidelberg, Germany, presented at 26th Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, 04 December 2013 - 06 December 2013, http://dx.doi.org/10.1007/978-3-319-03680-9_29
,2013, 'Reasoning about Robot Epistemic Ability to Use the Cloud', in Ji, J ; Strass H; Wang X (eds.), Nonmontonic Reasoning, Action and Change, Proceedings of the Tenth International Workshop, International Workshop on Nonmonotonic, Reasoning, Action and Change, Beijing, China, pp. 37 - 44, presented at International Workshop on Nonmonotonic, Reasoning, Action and Change, Beijing, China, 05 August 2013 - 05 August 2013
,2011, 'From approximate clausal reasoning to problem hardness', in AI 2011: Advances in Artificial Intelligence, Springer, Heidelberg, Germany, pp. 501 - 510, presented at 24th Australasian Joint Conference on Artificial Intelligence, AI 2011, Perth, Australia, 05 December 2011 - 08 December 2011, http://dx.doi.org/10.1007/978-3-642-25832-9_51
,2011, 'How to Plan When being Deliberately Misled', in Automated Action Planning for Autonomous Mobile Robots—Papers from the 2011 AAAI Workshop (PAMR), pp. 45 - 50
,2007, 'Prime implicates for approximate reasoning', in 2nd international conference on Knowledge science, engineering and management, Melbourne, presented at 2nd international conference on Knowledge science, engineering and management, Melbourne, 28 November 2007 - 30 November 2007
,2005, 'Inverse resolution as belief change', in Proceedings of the 19th international joint conference on Artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, presented at 19th International joint conference on artificial intelligence, Edinburgh, Scotland, 30 July 2005 - 05 August 2005
,