Select Publications

Book Chapters

Guo R; Pagnucco M; Song Y, 2021, 'Learning with Noise: Mask-Guided Attention Model for Weakly Supervised Nuclei Segmentation', in Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, Springer International Publishing, pp. 461 - 470, http://dx.doi.org/10.1007/978-3-030-87196-3_43

Cong C; Liu S; Di Ieva A; Pagnucco M; Berkovsky S; Song Y, 2021, 'Semi-supervised Adversarial Learning for Stain Normalisation in Histopathology Images', in Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, Springer International Publishing, pp. 581 - 591, http://dx.doi.org/10.1007/978-3-030-87237-3_56

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 RoboCup 2014: Robot World Cup XVIII, Springer International Publishing, pp. 70 - 81, http://dx.doi.org/10.1007/978-3-319-18615-3_6

Heap B; Pagnucco M, 2013, 'Repeated Sequential Single-Cluster Auctions with Dynamic Tasks for Multi-Robot Task Allocation with Pickup and Delivery', in Multiagent System Technologies, Springer Berlin Heidelberg, pp. 87 - 100, http://dx.doi.org/10.1007/978-3-642-40776-5_10

Vongbunyong S; Kara S; Pagnucco M, 2012, 'A Framework for Using Cognitive Robotics in Disassembly Automation', in Leveraging Technology for a Sustainable World, Springer Berlin Heidelberg, pp. 173 - 178, http://dx.doi.org/10.1007/978-3-642-29069-5_30

Pagnucco M, 2006, 'Isaac Levi on abduction', in Knowledge and inquiry, Cambridge university press, New York, pp. 143 - 156, http://dx.doi.org/10.1017/CBO9780511584312.012

Pagnucco M; Foo N, 1993, 'Inverting resolution with conceptual graphs', in Conceptual Graphs for Knowledge Representation, Springer Berlin Heidelberg, pp. 238 - 253, http://dx.doi.org/10.1007/3-540-56979-0_13

Journal articles

Chen WH; Foo G; Kara S; Pagnucco M, 2021, 'Automated generation and execution of disassembly actions', Robotics and Computer-Integrated Manufacturing, vol. 68, http://dx.doi.org/10.1016/j.rcim.2020.102056

Foo G; Kara S; Pagnucco M, 2021, 'An ontology-based method for semi-automatic disassembly of lcd monitors and unexpected product types', International Journal of Automation Technology, vol. 15, pp. 168 - 181, http://dx.doi.org/10.20965/IJAT.2021.P0168

Chen WH; Foo G; Kara S; Pagnucco M, 2020, 'Application of a multi-head tool for robotic disassembly', Procedia CIRP, vol. 90, pp. 630 - 635, http://dx.doi.org/10.1016/j.procir.2020.02.047

Rezvani M; Rajaratnam D; Ignjatovic A; Pagnucco M; Jha S, 2019, 'Analyzing XACML policies using answer set programming', International Journal of Information Security, vol. 18, pp. 465 - 479, http://dx.doi.org/10.1007/s10207-018-0421-5

Zhuang Z; Pagnucco M; Zhang Y, 2017, 'Inter-Definability of Horn Contraction and Horn Revision', Journal of Philosophical Logic, vol. 46, pp. 299 - 332, http://dx.doi.org/10.1007/s10992-016-9401-2

Schwering C; Pagnucco M; Lakemeyer G, 2017, 'Belief revision and projection in the epistemic situation calculus', Artificial Intelligence, vol. 251, pp. 62 - 97, http://dx.doi.org/10.1016/j.artint.2017.07.004

Kara S; Vongbunyong S; Pagnucco M, 2016, 'Vision-based execution monitoring of state transition in disassembly automation', International Journal of Automation Technology, vol. 10, pp. 708 - 716, http://dx.doi.org/10.20965/ijat.2016.p0708

Vongbunyong S; Kara S; Pagnucco M, 2015, 'Learning and revision in cognitive robotics disassembly automation', Robotics and Computer-Integrated Manufacturing, vol. 34, pp. 79 - 94, http://dx.doi.org/10.1016/j.rcim.2014.11.003

Nakata NM; Hamacher DW; Warren J; Byrne A; Pagnucco M; Harley R; Venugopal S; Thorpe K; Neville R; Bolt R, 2014, 'Using Modern Technologies to Capture and Share Indigenous Astronomical Knowledge', Australian Academic & Research Libraries, vol. 45, pp. 101 - 110, http://dx.doi.org/10.1080/00048623.2014.917786

Zhuang Z; Pagnucco M, 2014, 'Entrenchment-Based Horn Contraction', JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, vol. 51, pp. 227 - 254, http://dx.doi.org/10.1613/jair.4430

Vongbunyong S; Kara S; Pagnucco M, 2013, 'Application of cognitive robotics in disassembly of products', CIRP Annals - Manufacturing Technology, vol. 62, pp. 31 - 34, http://dx.doi.org/10.1016/j.cirp.2013.03.037

Vongbunyong S; Kara S; Pagnucco M, 2013, 'Basic behaviour control of the vision-based cognitive robotic disassembly automation', Assembly Automation, vol. 33, pp. 38 - 56, http://dx.doi.org/10.1108/01445151311294694

Burgard W; Konolige K; Pagnucco M; Vassos S, 2012, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, vol. WS-12-06

Shapiro S; Pagnucco M; Lesperance Y; Levesque HJ, 2011, 'Iterated belief change in the situation calculus', Artificial Intelligence, vol. 175, pp. 165 - 192, http://dx.doi.org/10.1016/j.artint.2010.04.003

Delgrande J; Nayak A; Pagnucco M, 2005, 'Gricean belief change', Studia Logica, vol. 79(1), pp. 97 - 113, http://dx.doi.org/10.1007/s11225-005-0496-7

Nayak A; Pagnucco M; Peppas P, 2003, 'Dynamic Belief Revision Operators', Artificial Intelligence, vol. 146(2), pp. 193 - 228, http://dx.doi.org/10.1016/S0004-3702(03)00017-1

Pagnucco M; Peppas P, 2001, 'Causality and minimal change demystified', IJCAI International Joint Conference on Artificial Intelligence, pp. 125 - 130

Pagnucco M; Jauregui V; Foo N, 2001, 'A Trajectory Approach to Causality', Studia Logica, vol. 67, pp. 385 - 401, http://dx.doi.org/10.1023/A:1010564432183

Rott H; Pagnucco M, 1999, 'Severe withdrawal (and recovery)', Journal of Philosophical Logic, vol. 28, pp. 501 - 547, http://dx.doi.org/10.1023/A:1004344003217

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


Back to profile page