Select Publications

Conference Papers

Pagnucco M; Rajaratnam D; Limarga R; Nayak A; Song Y, 2021, 'Epistemic Reasoning for Machine Ethics with Situation Calculus', in AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society, ACM, pp. 814 - 821, presented at AIES '21: AAAI/ACM Conference on AI, Ethics, and Society, http://dx.doi.org/10.1145/3461702.3462586

Lin H; Pagnucco M; Song Y, 2021, 'Edge guided progressively generative image outpainting', in IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, pp. 806 - 815, http://dx.doi.org/10.1109/CVPRW53098.2021.00090

Cong C; Liu S; Ieva AD; Pagnucco M; Berkovsky S; Song Y, 2021, 'Texture enhanced generative adversarial network for stain normalisation in histopathology images', in Proceedings - International Symposium on Biomedical Imaging, IEEE, pp. 1949 - 1952, presented at 2021 IEEE 18th International Symposium on Biomedical Imaging (ISBI), 13 April 2021 - 16 April 2021, http://dx.doi.org/10.1109/ISBI48211.2021.9433860

Foo G; Kara S; Pagnucco M, 2021, 'Screw detection for disassembly of electronic waste using reasoning and re-training of a deep learning model', in Procedia CIRP, pp. 666 - 671, http://dx.doi.org/10.1016/j.procir.2021.01.172

Cong C; Yang Z; Song Y; Pagnucco M, 2020, 'Towards Enforcing Social Distancing Regulations with Occlusion-Aware Crowd Detection', in 16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020, pp. 297 - 302, http://dx.doi.org/10.1109/ICARCV50220.2020.9305507

Huang R; Song Y; Pagnucco M, 2020, 'An Improved Discriminator for GAN-Based Trajectory Prediction Models', in 2020 Digital Image Computing: Techniques and Applications, DICTA 2020, http://dx.doi.org/10.1109/DICTA51227.2020.9363414

Limarga R; Pagnucco M; Song Y; Nayak A, 2020, 'Non-monotonic Reasoning for Machine Ethics with Situation Calculus', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 203 - 215, http://dx.doi.org/10.1007/978-3-030-64984-5_16

Trofimova A; Wiley T; Pagnucco M; Velonaki M, 2019, 'Exploring human machine-mediated interaction for applications in social HRI', in ACM International Conference Proceeding Series, pp. 347 - 351, http://dx.doi.org/10.1145/3369457.3369492

Schwering C; Pagnucco M, 2019, 'A representation theorem for reasoning in first-order multi-agent knowledge bases', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Montreal, Canada, pp. 926 - 934, presented at AAMAS, Montreal, Canada, 13 May 2019 - 17 May 2019

Rajaratnam D; Hengst B; Pagnucco M; Sammut C; Thielscher M, 2016, 'Composability in cognitive hierarchies', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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

hengst B; Marcus N; pagnucco M; Rajaratnam D; sammut C; Thielscher M, 2016, 'Towards Autonomous Adaptation and Trust.', in Towards Autonomous Adaptation and Trust., IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, presented at IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, 09 October 2016 - 14 October 2016

Hengst B; Keith C; Pagnucco M; Rajaratnam D; Robinson P; sammut C; Thielscher M, 2016, 'A Framework for Integrating Symbolic and Sub-symbolic Representations', in IJCAI International Joint Conference on Artificial Intelligence, 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

Rezvani M; Ignjatovic A; Pagnucco M; Jha S, 2016, 'Anomaly-free policy composition in software-defined networks', in 2016 IFIP Networking Conference (IFIP Networking) and Workshops, IFIP Networking 2016, vienna, pp. 28 - 36, presented at 2016 IFIP Networking Conference, vienna, 17 May 2016 - 19 May 2016, http://dx.doi.org/10.1109/IFIPNetworking.2016.7497226

Harris S; Hengst B; Pagnucco M, 2015, 'Termination approximation: Continuous state decomposition for hierarchical reinforcement learning', in AAAI Workshop - Technical Report, Austin, Texas, pp. 16 - 22, presented at Workshops at the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, 25 January 2015 - 30 January 2015, http://www.aaai.org/ocs/index.php/WS/AAAIW15/paper/view/10114/10205

Schwering C; Lakemeyer G; Pagnucco M, 2015, 'Belief revision and progression of knowledge bases in the epistemic situation calculus', in IJCAI International Joint Conference on Artificial Intelligence, pp. 3214 - 3220

Vongbunyong S; Kara S; Pagnucco M, 2015, 'General plans for removing main components in cognitive robotic disassembly automation', in ICARA 2015 - Proceedings of the 2015 6th International Conference on Automation, Robotics and Applications, pp. 501 - 506, http://dx.doi.org/10.1109/ICARA.2015.7081199

Ashar J; Ashmore J; Hall B; Harris S; Hengst B; Liu R; Mei Z; Pagnucco M; Roy R; Sammut C; Sushkov O; Teh B; Tsekouras L, 2015, 'RoboCup SPL 2014 champion team paper', in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), pp. 70 - 81, http://dx.doi.org/10.1007/978-3-319-18615-3_6

Hall B; Harris S; Hengst B; Liu R; Ng K; Pagnucco M; Pearson L; Sammut C; Schmidt P, 2015, 'Robocup SPL 2015 champion team paper', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 72 - 82, http://dx.doi.org/10.1007/978-3-319-29339-4_6

Pagnucco M; Buehler J, 2014, 'Planning and Execution of Robot Tasks Based on a Platform-Independent Model of Robot Capabilities', in Schaub T; Friedrich G; O'Sullivan B (eds.), Proceedings of the the 21st European Conference on Artificial Intelligence, IOS Press, Amsterdam, The Netherlands, pp. 171 - 176, presented at European Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18 August 2014 - 22 August 2014, http://dx.doi.org/10.3233/978-1-61499-419-0-171

Rajaratnam D; Levesque HJ; Pagnucco M; Thielscher M, 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, pp. 498 - 507, 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

Buehler J; Pagnucco M, 2014, 'A framework for task planning in heterogeneous multi robot systems based on robot capabilities', in Proceedings of the National Conference on Artificial Intelligence, pp. 2527 - 2533

Heap B; Pagnucco M, 2014, 'Minimising undesired task costs in multi-robot task allocation problems with in-schedule dependencies', in Proceedings of the National Conference on Artificial Intelligence, pp. 2542 - 2548

Heap B; Pagnucco M, 2013, 'Repeated auctions for reallocation of tasks with pickup and delivery upon robot failure', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Dunedin, New Zealand, pp. 461 - 469, presented at 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), Dunedin, New Zealand, 01 December 2013 - 06 December 2013, http://dx.doi.org/10.1007/978-3-642-44927-7_35

Zhuang Z; Pagnucco M; Zhang Y, 2013, 'Definability of Horn revision from Horn contraction', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1205 - 1211

Heap B; Pagnucco M, 2013, 'Repeated sequential single-cluster auctions with dynamic tasks for multi-robot task allocation with pickup and delivery', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Koblenz, Germany, pp. 87 - 100, presented at 11th German Conference on Multiagent System Technologies (MATES), Koblenz, Germany, 16 September 2013 - 20 September 2013, http://dx.doi.org/10.1007/978-3-642-40776-5-10

Pagnucco M; Rajaratnam DP; Strass H; Thielscher M, 2013, 'Implementing Belief Change in the Situation Calculus and an Application', in Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Corunna, pp. 439 - 451, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 September 2013 - 19 September 2013, http://dx.doi.org/10.1007/978-3-642-40564-8_44

Rajaratnam ; Levesque HJ; Pagnucco ; Thielscher , 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

Heap B; Pagnucco M, 2012, 'Analysis of Cluster Formation Techniques for Multi-Robot Task Allocation using Sequential Single-Cluster Auctions', in AI-2012: Advances in Artificial Intelligence. LNCS v. 7691, Springer-Verlag, Berlin Heidelberg, pp. 839 - 850, presented at 25th Australasian Joint Conference on Artificial Intelligence, Sydney, Australia, 04 December 2012 - 07 December 2012, http://dx.doi.org/10.1007/978-3-642-35101-3_71

Heap B; Pagnucco M, 2012, 'Repeated Sequential Auctions with Dynamic Task Clusters', in Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI Press, Toronto, Canada, pp. 1997 - 2002, presented at Twenty-Sixth Conference on Artificial Intelligence (AAAI-12), Toronto, Canada, 22 July 2012 - 26 July 2012

Zhuang ZQ; Pagnucco M, 2012, 'Model Based Horn Contraction', in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference (KR-12), AAAI Press, Rome Italy, pp. 169 - 178, presented at 13th International Conference on Principles of Knowledge Representation and Reasoning, Rome Italy, 10 June 2012 - 14 June 2012, http://dblp.uni-trier.de/db/conf/kr/kr2012.html#ZhuangP12

Vongbunyong S; Kara S; Pagnucco M, 2012, 'A Framework for Using Cognitive Robotics in Disassembly Automation', in Proceedings of the 19th CIRP Conference on Life Cycle Engineering, Springer, Germany, pp. 173 - 178, presented at 19th CIRP International Conference on Life Cycle Engineering, California, 23 May 2012 - 25 May 2012, http://dx.doi.org/10.1007/978-3-642-29069-5

Cerexhe T; Pagnucco M, 2011, 'Executability in the Situation Calculus', in AI 2011: Advances in Artificial Intelligence, Springer, Heidelberg, Germany, pp. 677 - 686, 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_69

Rajaratnam DP; Pagnucco M, 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

Heap B; Pagnucco M, 2011, 'Sequential Single-Cluster Auctions for Robot Task Allocation', in AI 2011: Advances in Artificial Intelligence, Springer, Heidelberg, Germany, pp. 412 - 421, 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_42

Zhuang ZQ; Pagnucco M, 2011, 'Transitively Relational Partial Meet Horn Contraction', in Proceedings of the 22nd International Joint Conference on Artificial Intelligence, AAAI Press/International Joint Conferences on Artificial Intelligence, Barcelona, Catalonia, Spain, pp. 1132 - 1138, presented at International Joint Conference on Artificial Intelligence, Barcelona, 16 July 2011 - 22 July 2011, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-193

Pagnucco M; Strass H; Rajaratnam D; Thielscher M, 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

Schoenig A; Pagnucco M, 2010, 'Evaluating Sequential Single-Item Auctions for Dynamic Task Allocation', in AI 2010: Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, pp. 506 - 515, presented at 23rd Australasian Joint Conference on Artificial Intelligence, Adelaide, SA, 07 December 2010 - 10 December 2010, http://dx.doi.org/10.1007/978-3-642-17432-2_51

Zhuang ZQ; Pagnucco M, 2010, 'Two Methods for Constructing Horn Contractions', in Li JY (ed.), AI 2010: Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, pp. 72 - 81, presented at 23rd Australasian Joint Conference on Artificial Intelligence, Adelaide Australia, 07 December 2010 - 10 December 2010, http://dx.doi.org/10.1007/978-3-642-17432-2

Ashar J; Claridge D; Hall B; Hengst B; Nguyen H; Sammut CA; Ratter A; Robinson S; Vance B; Pagnucco M; White B; Zhu Y; Hall B, 2010, 'RoboCup Standard Platform League - rUNSWift 2010', in Proceedings of the 2010 Australasian Conference on Robotics & Automation, Australian Robotics and Automation Association, http://www.araa.asn.au/acra/acra2010/index.html, pp. 1 - 10, presented at 2010 Australasian Conference on Robotics and Automation, ACRA 2010, Brisbane, QLD, 01 December 2010 - 03 December 2010, http://www.araa.asn.au/acra/acra2010/index.html

Zhuang ZQ; Pagnucco M, 2010, 'Two methods for constructing horn contractions', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 72 - 81, http://dx.doi.org/10.1007/978-3-642-17432-2_8

Zhuang ZQ; Pagnucco M, 2010, 'Horn contraction via epistemic entrenchment', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 339 - 351, http://dx.doi.org/10.1007/978-3-642-15675-5_29

Zhuang ZQ; Pagnucco M, 2010, 'Horn Contraction via Epistemic Entrenchment', in 12th European Conference, JELIA 2010 Helsinki, Finland, September 13-15, 2010 Proceedings, Springer, Berlin, Germany, pp. 339 - 351, presented at 12th European Conference on Logics in Artificial Intelligence, Helsinki Finland, 13 September 2010 - 15 September 2010, http://dx.doi.org/10.1007/978-3-642-15675-5

Stroeder T; Pagnucco M, 2009, 'Realising deterministic behavior from multiple non-deterministic behaviors', in Proceedings of the International Joint Conference on Arti cial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 936 - 941, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009, http://ijcai.org/papers09/Papers/IJCAI09-159.pdf

Chamiel GP; Pagnucco M, 2009, 'Ontology Guided Dynamic Preference Elicitation', in CEUR Workshop Proceedings, NEW YORK, USA, pp. 41 - 48, NEW YORK, USA, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-532/paper6.pdf

Chamiel GP; Pagnucco M, 2008, 'Exploiting ontological structure for complex preference assembly', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, pp. 86 - 92, presented at 21st Australasian Joint Conference on Artificial Intelligence, Auckland, NZ, 01 December 2008 - 05 December 2008, http://dx.doi.org/10.1007/978-3-540-89378-3_9

Chamiel GP; Pagnucco M, 2008, 'Utilising ontological structure for reasoning with preferences', in Knowledge representation ontology workshop, Knowledge representation ontology workshop, Sydney, presented at Knowledge representation ontology workshop, Sydney, 17 September 2008

Chamiel GP; Pagnucco M, 2008, 'Exploiting ontological information for reasoning with preferences', in Multidisciplinary workshop on advances in preference handling, Chicago Illinois USA, pp. 19 - 24, presented at Multidisciplinary workshop on advances in preference handling, Chicago Illinois USA, 13 July 2008 - 14 July 2008

Pagnucco M; Meyer T; Zhuang ZQ, 2007, 'Implementing iterated belief change via prime implicates', in 20th Australian joint conference on artificial intelligence, Gold Coast, Qld, pp. 507 - 518, presented at Australasian Joint Conference on Artificial Intelligence 2007, Gold Coast, Qld, 02 December 2007 - 06 December 2007

Rajaratnam DP; Pagnucco M, 2007, 'Prime implicates for approximate reasoning', in 2nd international conference on Knowledge science, engineering and management, Melbourne, pp. 61 - 72, presented at 2nd international conference on Knowledge science, engineering and management, Melbourne, 28 November 2007 - 30 November 2007

Pagnucco M, 2006, 'Knowledge compilation and belief change', in 19th Australian joint conference on artificial intelligence, Hobart, pp. 90 - 99, presented at 19th Australian Joint Conference on Artificial Intelligence, Hobart, 04 December 2006 - 08 December 2006, http://dx.doi.org/10.1007/11941439-13


Back to profile page