Select Publications

Book Chapters

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

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

Journal articles

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

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

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

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

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


Back to profile page