Maurice Pagnucco

Deputy Dean (Education)
Deputy Dean and Head of School

Professor Maurice Pagnucco is the Deputy Dean (Education) of the Faculty of Engineering at UNSW. He was previously the Head of the School of Computer Science and Engineering (CSE) from July 2010 to September 2019. He is a Professorial Fellow at the iCinema Centre for Interactive Cinema Research, Deputy Director of Creative Robotics Lab (CRL) and Co-Director of the Intelligent Environments Lab. He was the President (mid-2016 -- mid-2018) and the Immediate Past President (mid-2018 -- mid-2020) of the Australian Council of Deans of ICT (ACDICT). I was previously Chair of NICTA (now Data61; Australia’s national ICT centre of excellence) University Partner Committee and Chair, NSW Steering Committee for Digital Careers.

Maurice graduated with a BSc (Hons I) and PhD from the University of Sydney. He has held academic positions at the University of Sydney, Macquarie University, the University of Toronto and the University of New South Wales.

His research interests lie in:

  • Knowledge Representation and Reasoning
  • Cognitive Robotics
  • Belief Change
  • Reasoning About Actions

 

Conference Papers
add
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
2021
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
2021
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
2021
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
2020
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
2020
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
2020
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
2019
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
2019
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
2016
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
2016
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
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
2016
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
2015
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
2015
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
2015
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
2015
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
2015
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
2014
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
2014
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
2014
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
2014
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
2013
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
2013
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
2013
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
2013
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
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
2012
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
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
2012
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
2012
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
2011
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
2011
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
2011
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
2011
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
2011
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
2010
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
2010
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
2010
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
2010
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
2010
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
2010
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
2009
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
2009
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
2008
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
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
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
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
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
2006
Pagnucco M; Rajaratnam DP, 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, pp. 540 - 545, presented at 19th International joint conference on artificial intelligence, Edinburgh, Scotland, 30 July 2005 - 05 August 2005
2005
Jauregui V; Pagnucco M; Foo N, 2004, 'Simplicity in Solving the Frame Problem', in 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, pp. 640 - 644, presented at 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 22 August 2004 - 27 August 2004
2004
Delgrande J; Nayak A; Pagnucco M, 2004, 'Conservative Belief Change', in 19th National Conference on Artificial Intelligence (AAAI 2004), San Jose, California USA, pp. 251 - 256, presented at 19th National Conference on Artificial Intelligence (AAAI 2004), San Jose, California USA, 25 July 2004 - 29 July 2004
2004
Shapiro SS; Pagnucco M, 2004, 'Iterated Belief Revision and Exogenous Actions in the Situation Calculus', in 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, pp. 878 - 882, presented at 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 22 August 2004 - 27 August 2004
2004
Jauregui V; Pagnucco M; Foo N, 2004, 'On the Intended Interpretations of Actions', in PRICAI 2004: Trends in Artificial Intelligence, Springer-Verlag, Berlin, pp. 13 - 22, presented at 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, 09 August 2004 - 13 August 2004
2004
Delgrande J; Nayak A; Pagnucco M, 2003, 'Conservative Belief Change: A Gricean Approach', in Brewka G; Peppas P (ed.), IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change, IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change, Acapulco, Mexico, pp. 73 - 79, presented at IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change, Acapulco, Mexico, 10 August 2003 - 11 August 2003
2003
Pagnucco M; Delgrande J; Nayak A, 2003, 'Prolegomnon to a Theory of Conservative belief revision', in 18th Joint International Conference on Artificial Intelligence, IJCAI-03, Acalpuco, Mexico, pp. 1391 - 1393, presented at 18th Joint International Conference on Artificial Intelligence (IJCAI 2003), Acalpuco, Mexico, 09 August 2003 - 15 August 2003
2003
Foo N; Pagnucco M; Nayak A; Zhang D, 2001, 'State Minimization Re-visited', in 14th Australian Joint Conference on Artificial Intelligence (AI 2001), Adelaide, Sth Aust, pp. 153 - 164, presented at 14th Australian Joint Conference on Artificial Intelligence (AI 2001), Adelaide, Sth Aust, 10 December 2001 - 14 December 2001
2001
Prokopenko M; Pagnucco M; Peppas P; Nayak A, 2000, 'A unifying semantics for causal ramifications', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 38 - 49, http://dx.doi.org/10.1007/3-540-44533-1_8
2000
Jauregui V; Pagnucco M; Foo N, 1999, 'A trajectory approach to causality (Extended Summary)', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 484 - 485, http://dx.doi.org/10.1007/3-540-46695-9_48
1999
Prokopenko M; Pagnucco M; Peppas P; Nayak A, 1999, 'Causal propagation semantics—a study', in Foo N (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, UNIV NEW S WALES, SYDNEY, AUSTRALIA, pp. 378 - 392, presented at 12th Australian Joint Conference on Artificial Intelligence, UNIV NEW S WALES, SYDNEY, AUSTRALIA, 06 - 10 December 1999, http://dx.doi.org/10.1007/3-540-46695-9_32
1999
Peppas P; Pagnucco M; Prokopenko M; Foo N; Nayak A, 1999, 'Preferential Semantics for Causal Systems', in 16th International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, pp. 118 - 123, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, 06 July 1999
1999
Foo N; Nayak A; Pagnucco M, 1999, 'Diagrammatic Proofs', in 16th International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, pp. 378 - 383, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, 06 July 1999
1999
Pagnucco M; Treadgold NK, 1999, 'A Trajectory Approach to Causality', in Pandu Rangan C; Raman V; Ramanujam R (eds.), 12th Australia Joint Conference on Artificial Intelligence, AI 1999, 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, pp. 484 - 485, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 06 December 1999 - 10 December 1999
1999
Foo N; Nayak A; Pagnucco M; Peppas P; Zhang YD, 1997, 'Action Localness, Genericity and Invariants in STRIPS', in Pollack ME (ed.), 15th International Joint Conferences on Atrificial Intelligence (IJCAI 1997), MORGAN KAUFMANN PUB INC, Nagoya, Japan, pp. 549 - 554, presented at 15th International Joint Conferences on Atrificial Intelligence (IJCAI 1997), Nagoya, Japan, 23 August 1997 - 29 August 1997, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000072707200081&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1997
Peppas P; Pagnucco M; Propkopenko M; Foo N, 1997, 'Preferential Semantics for Causal Fixpoints', in 10th Australian Joint Conference on Artifical Intelligence (AI 1997), Perth, WA, pp. 197 - 206, presented at Australasian Joint Conference on Artificial Intelligence 1997, Perth, WA, 30 November 1997 - 04 December 1997
1997
Peppas P; Pagnucco M; Prokopenko M; Foo N, 1997, 'Preferential semantics for causal fixpoints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 197 - 206
1997
Peppas P; Nayak A; Pagnucco M; Foo N; Kwok RB; Prokopenko M, 1996, 'Revision v`s update: taking a closer look', in Eurpoean Conference on Artificial Intelligence, Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996
1996
Nayak A; Pagnucco M; Foo N, 1996, 'Learning from conditionals: Judy Benjamin`s other problems', in Eurpoean Conference on Artificial Intelligence, Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996
1996
Foo N; Nayak A; Pagnucco M, 1996, 'Definitional constraints', in Eurpoean Conference on Artificial Intelligence, Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996
1996
Journal articles
add
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
2021
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
2021
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
2020
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
2019
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
2017
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
2017
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
2016
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
2015
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
2014
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
2014
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
2013
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
2013
Burgard W; Konolige K; Pagnucco M; Vassos S, 2012, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, vol. WS-12-06
2012
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
2011
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
2005
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
2003
Pagnucco M; Peppas P, 2001, 'Causality and minimal change demystified', IJCAI International Joint Conference on Artificial Intelligence, pp. 125 - 130
2001
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
2001
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
1999
Conference Presentations
add
Del Favero D; Thurow S; Pagnucco M; Wake C; Scott-Mitchell M; Williams K; Wallen L; Schostakowski B, 2019, 'Immersive Interactive Aesthetics for Set Modelling - the iBauprobe Platform', presented at PQ Talks @ Prague Quadrennial of Performance Design & Space, Prague (Czech Republic), 06 June 2019 - 16 June 2019, https://www.pq.cz/
2019
Thurow S; Del Favero D; Wake C; Pagnucco M; Scott-Mitchell M; Schostakowski B; Williams K; Wallen L, 2019, 'iDesign – New Capabilities for Set Design', presented at Prague Quadrennial, Prague, Czech Republic, 06 June 2019 - 16 June 2019, https://www.pq.cz/
2019
Working Papers
add
Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2019, Perceptual Context in Cognitive Hierarchies, http://dx.doi.org10.1007/978-3-030-22102-7_16, http://arxiv.org/abs/1801.02270v1
2019
Conference Abstracts
add
Neal P, (eds.), 2017, 'Natural Gas Engineering: The Evolution of a Course', in UNSW Engineering education showcase : dream : dare : do, UNSW Engineering, UNSW Sydney, pp. 30 - 30, presented at 2017 UNSW Engineering Education Showcase, UNSW Sydney
2017
Book Chapters
add
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
2015
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
2013
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
2012
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
2006
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
1993
Creative Works (non-textual)
add
Velonaki M; Pagnucco M; Raguse B; Ladouceur F, 2015, Blue Iris, CUSP: Designing into the Next Decade, Mornington Penninsula Regional Gallery, Mornington, Australia, 27 February 2015 - 26 April 2015, medium: Interactive installation incorporating prototypes of responsive wallpaper using nano-particles, in collaboration with M. Pagnucco: scripting language development, B. Raguse: nano-particle application development & F. Ladouceur: new materials development, at: https://cusp-design.com/venue/mornington-peninsula-regional-gallery-2/
2015
Velonaki M; Pagnucco M; Raguse B; Ladouceur F, 2015, Blue Iris, CUSP: Designing into the Next Decade, Queen Victoria Gallery and Museum, Launceston, Australia, 06 June 2015 - 16 August 2015, medium: Interactive installation incorporating prototypes of responsive wallpaper using nano-particles, in collaboration with M. Pagnucco: scripting language development, B. Raguse: nano-particle application development & F. Ladouceur: new materials development, at: https://cusp-design.com/venue/queen-victoria-museum-and-art-gallery/
2015
Velonaki M; Pagnucco M; Raguse B; Ladouceur F, 2014, Blue Iris, CUSP: Designing into the Next Decade, State Library of Queensland, Brisbane, Australia, 01 November 2014 - 14 February 2015, medium: Interactive installation incorporating prototypes of responsive wallpaper using nano-particles, in collaboration with M. Pagnucco: scripting language development, B. Raguse: nano-particle application development & F. Ladouceur: new materials development, at: https://cusp-design.com/venue/state-library-of-queensland/
2014
Velonaki M; Pagnucco M; Raguse B; Ladouceur F, 2014, Blue Iris, CUSP: Designing into the Next Decade, JamFactory, Adelaide, Australia, 09 February 2014 - 26 April 2014, medium: Interactive installation incorporating prototypes of responsive wallpaper using nano-particles, in collaboration with M. Pagnucco: scripting language development, B. Raguse: nano-particle application development & F. Ladouceur: new materials development, at: https://cusp-design.com/venue/jamfactory/
2014
Velonaki M; Pagnucco M; Raguse B; Ladouceur F, 2014, Blue Iris, CUSP: Designing into the Next Decade, Western Plains Cultural Centre, 10 May 2014 - 03 August 2014, medium: Interactive installation incorporating prototypes of responsive wallpaper using nano-particles, in collaboration with M. Pagnucco: scripting language development, B. Raguse: nano-particle application development & F. Ladouceur: new materials development, at: https://cusp-design.com/designers/
2014
Velonaki M; Pagnucco M; Raguse B; Ladouceur F, 2014, Blue Iris, CUSP: Designing into the Next Decade, Glasshouse Regional Gallery, 12 September 2014 - 12 October 2014, medium: Interactive installation incorporating prototypes of responsive wallpaper using nano-particles, in collaboration with M. Pagnucco: scripting language development, B. Raguse: nano-particle application development & F. Ladouceur: new materials development, at: https://cusp-design.com/venue/the-glasshouse/
2014
Shaw J; Del Favero D; Brown N; Compton P; Pagnucco M; Van Schaik A; Jin C; Seah H; Weibel P; Kenderdine S; Hart T; Fritz J; Kuchelmeister V, 2008, Ancient Hampi: The Hindi Kingdom Brought to Life, Ancient Hampi: The Hindi Kingdom Brought to Life, Immigration Museum, Museum Victoria, Melbourne, 13 November 2008 - 26 January 2010, medium: 3D immersive video, at: http://museumvictoria.com.au/immigrationmuseum/whatson/past-exhibitions/ancient-hampi/
2008
Conference Posters
add
Zhuang ZQ; Pagnucco M, (ed.), 2009, 'Belief Contradiction in the Description Logic EL', Oxford, UK, Vol. 477, presented at 22nd International Workshop on Description Logics, Oxford, UK, 27 July 2009 - 30 July 2009, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-477/paper_18.pdf
2009
Curatorial Outputs
add
Shaw J; Del Favero D; Brown N; Compton P; Pagnucco M; Van Schaik C; Jin C; Seah H; Weibel P; Kenderdine S; Hart T; Fritz J; Kuchelmeister V, 2006, PLACE-Hampi, exhibited at: Opera House, Lille, 14 October 2006 - 14 January 2007, PLACE-Hampi, http://www.lille3000.eu/lille3000/en/event/bombaysers-de-lille
2006

artificial intelligence; reasoning; (cognitive) robotics; knowledge representation; belief revision; reasoning about action and change.