Select Publications

Book Chapters

Pagnucco M, 2006, 'Isaac Levi on abduction', in Knowledge and Inquiry: Essays on the Pragmatism of Isaac Levi, pp. 143 - 156, http://dx.doi.org/10.1017/CBO9780511584312.012

Journal articles

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

Vongbunyong S;Pagnucco M;Kara S, 2016, 'Vision-based execution monitoring of state transition in disassembly automation', International Journal of Automation Technology, vol. 10, pp. 708 - 716

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

Zhuang Z;Pagnucco M, 2014, 'Entrenchment-Based Horn Contraction', JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, vol. 51, pp. 227 - 254, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000343090000001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

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

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

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

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;Lespérance Y;Levesque HJ, 2010, '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 JP;Nayak AC;Pagnucco M, 2005, 'Gricean belief change', Studia Logica, vol. 79, pp. 97 - 113, http://dx.doi.org/10.1007/s11225-005-0496-7

Nayak AC;Pagnucco M;Peppas P, 2003, 'Dynamic belief revision operators', Artificial Intelligence, vol. 146, 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

Jauregui V;Pagnucco M;Foo N, 2001, 'A trajectory approach to causality', Studia Logica, vol. 67, pp. 385 - 401

Rott H;Pagnucco M, 1999, 'Severe withdrawal (and recovery)', Journal of Philosophical Logic, vol. 28, pp. 501 - 547

Conference Papers

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), pp. 42 - 55, http://dx.doi.org/10.1007/978-3-319-50127-7_4

Clark K;Hengst B;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, pp. 2486 - 2492

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, pp. 28 - 36, 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, pp. 16 - 22

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

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

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

Rajaratnam D;Levesque HJ;Pagnucco M;Thielscher M, 2014, 'Forgetting in action', in 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014, pp. 498 - 507

Buehler J;Pagnucco M, 2014, 'Planning and execution of robot tasks based on a platform-independent model of robot capabilities', in Frontiers in Artificial Intelligence and Applications, pp. 171 - 176, http://dx.doi.org/10.3233/978-1-61499-419-0-171

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

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 - 05 August 2013

Zhuang Z;Zhang Y;Pagnucco M, 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 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), pp. 461 - 469, http://dx.doi.org/10.1007/978-3-642-44927-7_35

Pagnucco M;Rajaratnam D;Strass H;Thielscher M, 2013, 'Implementing belief change in the situation calculus and an application', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 439 - 451, http://dx.doi.org/10.1007/978-3-642-40564-8_44

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), 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 - Proceedings of the 19th CIRP Conference on Life Cycle Engineering, pp. 173 - 178

Zhuang Z;Pagnucco M, 2012, 'Model based horn contraction', in 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012, pp. 169 - 178

Heap B;Pagnucco M, 2012, 'Repeated sequential auctions with dynamic task clusters', in Proceedings of the National Conference on Artificial Intelligence, pp. 1997 - 2002

Heap B;Pagnucco M, 2012, 'Analysis of cluster formation techniques for multi-robot task allocation using sequential single-cluster auctions', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 839 - 850, http://dx.doi.org/10.1007/978-3-642-35101-3_71

Pagnucco M;Rajaratnam D;Thielscher M;Strass H, 2011, 'How to plan when being deliberately misled', in AAAI Workshop - Technical Report, pp. 45 - 50

Zhuang Z;Pagnucco M, 2011, 'Transitively relational partial meet horn contraction', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1132 - 1138, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-193

Rajaratnam D;Pagnucco M, 2011, 'From approximate clausal reasoning to problem hardness', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 501 - 510, 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 412 - 421, http://dx.doi.org/10.1007/978-3-642-25832-9_42

Cerexhe T;Pagnucco M, 2011, 'Executability in the situation calculus', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 677 - 686, http://dx.doi.org/10.1007/978-3-642-25832-9_69

Zhuang ZQ;Pagnucco M, 2010, 'Two Methods for Constructing Horn Contractions', in Li JY (ed.), AI 2010: ADVANCES IN ARTIFICIAL INTELLIGENCE, SPRINGER-VERLAG BERLIN, Univ S Australia, Adelaide, AUSTRALIA, pp. 72 - +, presented at 23rd Australasian Joint Conference on Artificial Intelligence, Univ S Australia, Adelaide, AUSTRALIA, 07 - 10 December 2010, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000286149100008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

Ashar J;Claridge D;Hall B;Hengst B;Hung N;Pagnucco M;Ratter A;Robinson S;Sammut C;Vance B;White B;Zhu Y, 2010, 'RoboCup standard platform league - rUNSWift 2010', in Proceedings of the 2010 Australasian Conference on Robotics and Automation, ACRA 2010

Schoenig A;Pagnucco M, 2010, 'Evaluating sequential single-item auctions for dynamic task allocation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 506 - 515, http://dx.doi.org/10.1007/978-3-642-17432-2_51

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, '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 12th European Conference, JELIA 2010 Helsinki, Finland, September 13-15, 2010 Proceedings, Springer, Helsinki Finland, pp. 339 - 351, presented at 12th European Conference on Logics in Artificial Intelligence, Helsinki Finland, 13 - 15 September 2010, http://dx.doi.org/10.1007/978-3-642-15675-5

Chamiel G;Pagnucco M, 2009, 'Ontology guided dynamic preference elicitation', in CEUR Workshop Proceedings, pp. 41 - 48

Ströder T;Pagnucco M, 2009, 'Realising deterministic behavior from multiple non-deterministic behaviors', in IJCAI International Joint Conference on Artificial Intelligence, pp. 936 - 941

Chamiel G;Pagnucco M, 2008, 'Exploiting ontological structure for complex preference assembly', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 86 - 92, http://dx.doi.org/10.1007/978-3-540-89378-3_9


Back to profile page