Select Publications
Conference Papers
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
,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
,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, '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, '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
,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, '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, '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, '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
,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
,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/
,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
,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, '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, '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, '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
,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
,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
,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
,2008, 'Utilising ontological structure for reasoning with preferences', in Knowledge representation ontology workshop, Sydney, presented at Knowledge representation ontology workshop, Sydney, 17 September 2008
,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
,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
,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
,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
,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
,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
,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
,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
,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
,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
,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
,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
,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
,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
,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
,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
,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, '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
,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
,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
,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
,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
,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
,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
,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
,Conference Posters
(ed.), 2009, 'Belief Contradiction in the Description Logic EL', Oxford, UK, 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
,Conference Presentations
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, '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/
,Conference Abstracts
(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
,Curatorial Outputs
2006, PLACE-Hampi, exhibited at: Opera House, Lille, 14 October 2006 - 14 January 2007, http://www.lille3000.eu/lille3000/en/event/bombaysers-de-lille
,