Select Publications

by Associate Professor Maurice Pagnucco

Book Chapters

Pagnucco M, 2006, 'Isaac Levi on abduction', in Knowledge and inquiry, edn. 1, Cambridge university press, New York, pp. 143 - 156

Journal articles

Vongbunyong S; Kara S; Pagnucco M, 2013, ' Application of cognitive robotics in disassembly of products', CIRP Annals, vol. 62, no. 1, 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: the international journal of assembly technology and management, vol. 33, no. 1, 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; Lespérance Y; Levesque HJ, 2011, ' Iterated belief change in the situation calculus', Artificial Intelligence, vol. 175, no. 1, 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: an international journal for symbolic logic, vol. 79, no. 1, 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, no. 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: an international journal for symbolic logic, pp. 385 - 401

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

Conference Papers

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, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 - 19 September 2013, http://dx.doi.org/10.1007/978-3-642-40564-8_44

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, presented at 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), Dunedin, New Zealand, 1 - 6 December 2013, http://dx.doi.org/10.1007/978-3-642-44927-7_35

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, presented at

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, presented at 11th German Conference on Multiagent System Technologies (MATES), Koblenz, Germany, 16 - 20 September 2013, http://dx.doi.org/10.1007/978-3-642-40776-5-10

Rajaratnam; Levesque HJ; Pagnucco; Thielscher, (eds.), 2013, 'Reasoning about Robot Epistemic Ability to Use the Cloud', in Nonmontonic Reasoning, Action and Change, Proceedings of the Tenth International Workshop, pp. 37 - 44, presented at International Workshop on Nonmonotonic, Reasoning, Action and Change, Beijing, China, 5 - 5 August 2013

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, pp. 1997 - 2002, presented at Twenty-Sixth Conference on Artificial Intelligence (AAAI-12), Toronto, Canada, 22 - 26 July 2012

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, 4 - 7 December 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 - 25 May 2012, http://dx.doi.org/10.1007/978-3-642-29069-5

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, pp. 169 - 178, presented at 13th International Conference on Principles of Knowledge Representation and Reasoning, Rome Italy, 10 - 14 June 2012, http://dblp.uni-trier.de/db/conf/kr/kr2012.html#ZhuangP12

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, 5 - 8 December 2011, http://dx.doi.org/10.1007/978-3-642-25832-9_42

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, presented at

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, 5 - 8 December 2011, http://dx.doi.org/10.1007/978-3-642-25832-9_51

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 - 22 July 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, 5 - 8 December 2011, http://dx.doi.org/10.1007/978-3-642-25832-9_69

Ashar J; Claridge D; Hall B; Hengst B; Nguyen H; Sammut CA; Ratter A; Robinson S; Vance B; Pagnucco M, 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, 1 - 3 December 2010, http://www.araa.asn.au/acra/acra2010/index.html

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, 7 - 10 December 2010, http://www.springerlink.com/content/7m1762pj84607101/

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, presented at , http://dx.doi.org/10.1007/978-3-642-17432-2_8

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

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 - 15 September 2010, http://dx.doi.org/10.1007/978-3-642-15675-5

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, presented at , http://dx.doi.org/10.1007/978-3-642-15675-5_29

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

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, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 - 17 July 2009, http://ijcai.org/papers09/Papers/IJCAI09-159.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, presented at 21st Australasian Joint Conference on Artificial Intelligence, Auckland, NZ, 1 - 5 December 2008

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

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

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

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

Pagnucco M, 2006, 'Knowledge compilation and belief change', in 19th Australian joint conference on artificial intelligence, presented at 19th Australian Joint Conference on Artificial Intelligence, Hobart, 4 - 8 December 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, presented at 19th International joint conference on artificial intelligence, Edinburgh, Scotland, 30 July - 5 August 2005

Delgrande J; Nayak A; Pagnucco M, 2004, 'Conservative Belief Change', in 19th National Conference on Artificial Intelligence (AAAI 2004), presented at 19th National Conference on Artificial Intelligence (AAAI 2004), San Jose, California USA, 25 - 29 July 2004

Jauregui V; Pagnucco M; Foo N, 2004, 'Simplicity in Solving the Frame Problem', in 16th European Conference on Artificial Intelligence (ECAI 2004), presented at 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 22 - 27 August 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), presented at 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 22 - 27 August 2004

Jauregui V; Pagnucco M; Foo N, 2004, 'On the Intended Interpretations of Actions', in PRICAI 2004: Trends in Artificial Intelligence, Springer-Verlag, Berlin, presented at 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, 9 - 13 August 2004

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, presented at 18th Joint International Conference on Artificial Intelligence (IJCAI 2003), Acalpuco, Mexico, 9 - 15 August 2003

Delgrande J; Nayak A; Pagnucco M, (eds.), 2003, 'Conservative Belief Change: A Gricean Approach', in IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change, pp. 73 - 79, presented at IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change, Acapulco, Mexico, 10 - 11 August 2003

Foo N; Pagnucco M; Nayak A; Zhang D, 2001, 'State Minimization Re-visited', in 14th Australian Joint Conference on Artificial Intelligence (AI 2001), presented at 14th Australian Joint Conference on Artificial Intelligence (AI 2001), Adelaide, Sth Aust, 10 - 14 December 2001

Prokopenko M; Pagnucco M; Nayak A; Peppas P, 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, presented at

Jauregui V; Pagnucco M; Foo N, (ed.), 1999, 'A trajectory approach to causality - (Extended summary)', in ADVANCED TOPICS IN ARTIFICIAL INTELLIGENCE, SPRINGER-VERLAG BERLIN, pp. 484 - 485, presented at 12th Australian Joint Conference on Artificial Intelligence, UNIV NEW S WALES, SYDNEY, AUSTRALIA, 6 - 10 December 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, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, 6 July 1999

Pagnucco M; Treadgold NK, (eds.), 1999, 'A Trajectory Approach to Causality', in 12th Australia Joint Conference on Artificial Intelligence, AI 1999, pp. 484 - 485, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 6 - 10 December 1999


Pages

Back to profile page