By Professor Maurice Pagnucco

Conference Papers

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

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

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://www.springerlink.com/content/7m1762pj84607101/

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

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 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, '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

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 July 2009 - 17 July 2009, http://ijcai.org/papers09/Papers/IJCAI09-159.pdf

Chamiel GP; Pagnucco M, 2009, 'Ontology Guided Dynamic Preference Elicitation', in CEUR Workshop Proceedings, NEW YORK, USA, NEW YORK, USA, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-532/paper6.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, 01 December 2008 - 05 December 2008

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

Chamiel GP; Pagnucco M, 2008, 'Exploiting ontological information for reasoning with preferences', in Multidisciplinary workshop on advances in preference handling, Chicago Illinois USA, presented at Multidisciplinary workshop on advances in preference handling, Chicago Illinois USA, 13 July 2008 - 14 July 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, presented at Australasian Joint Conference on Artificial Intelligence 2007, Gold Coast, Qld, 02 December 2007 - 06 December 2007

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

Pagnucco M, 2006, 'Knowledge compilation and belief change', in 19th Australian joint conference on artificial intelligence, Hobart, presented at 19th Australian Joint Conference on Artificial Intelligence, Hobart, 04 December 2006 - 08 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 2005 - 05 August 2005

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, presented at 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 22 August 2004 - 27 August 2004

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

Delgrande J; Nayak A; Pagnucco M, 2004, 'Conservative Belief Change', in 19th National Conference on Artificial Intelligence (AAAI 2004), San Jose, California USA, presented at 19th National Conference on Artificial Intelligence (AAAI 2004), San Jose, California USA, 25 July 2004 - 29 July 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, Acapulco, Mexico, pp. 73 - 79, presented at IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change, Acapulco, Mexico, 10 August 2003 - 11 August 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, presented at 18th Joint International Conference on Artificial Intelligence (IJCAI 2003), Acalpuco, Mexico, 09 August 2003 - 15 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), Adelaide, Sth Aust, presented at 14th Australian Joint Conference on Artificial Intelligence (AI 2001), Adelaide, Sth Aust, 10 December 2001 - 14 December 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

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, Madras India, pp. 484 - 485, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 06 December 1999 - 10 December 1999

Foo N; Nayak A; Pagnucco M, 1999, 'Diagrammatic Proofs', in 16th International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, 06 July 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, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, 06 July 1999

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

Prokopenko M; Pagnucco M; Peppas P; Nayak A, 1999, 'Causal propagation semantics—a study', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 378 - 392, http://dx.doi.org/10.1007/3-540-46695-9_32

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, presented at Australasian Joint Conference on Artificial Intelligence 1997, Perth, WA, 30 November 1997 - 04 December 1997

Foo N; Nayak A; Pagnucco M; Peppas P; Zhang YD, 1997, 'Action Localness, Genericity and Invariants in STRIPS', in 15th International Joint Conferences on Atrificial Intelligence (IJCAI 1997), Nagoya, Japan, presented at 15th International Joint Conferences on Atrificial Intelligence (IJCAI 1997), Nagoya, Japan, 23 August 1997 - 29 August 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

Foo N; Nayak A; Pagnucco M, 1996, 'Definitional constraints', in Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996

Nayak A; Pagnucco M; Foo N, 1996, 'Learning from conditionals: Judy Benjamin`s other problems', in Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996

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, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996

Williams MA; Pagnucco M; Foo N; Sims B, 1995, 'Determining explanations using transmutations', in Mellish CS (ed.), IJCAI-95 - PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, MORGAN KAUFMANN PUB INC, CANADA, MONTREAL, pp. 822 - 827, presented at 14th International Joint Conference on Artificial Intelligence (IJCAI-95), CANADA, MONTREAL, 20 August 1995 - 25 August 1995, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1995BE63Q00107&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Back to profile page