Select Publications
Chapters
Pagnucco, M, 2006, 'Isaac Levi on abduction', in Knowledge and inquiry, edn. 1, Cambridge university press, New York, pp. 143 - 156
Journal Articles
Shapiro, S, Pagnucco, M, Lesperance, 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, J, Nayak, A & Pagnucco, M, 2005, 'Gricean belief change', Studia Logica, vol. 79(1), pp. 97 - 113
Nayak, A, Pagnucco, M & Peppas, P, 2003, 'Dynamic Belief Revision Operators', Artificial Intelligence, vol. 146(2), pp. 193 - 228
Pagnucco, M, Jauregui, V & Foo, N, 2001, 'A Trajectory Approach to Causality', Studia Logica, pp. 385 - 401
Conference Papers
Rajaratnam, DP & Pagnucco, M, 2011, 'From approximate clausal reasoning to problem hardness', in AI 2011: Advances in Artificial Intelligence, Springer, Heidelberg, Germany, 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
Cerexhe, T & Pagnucco, M, 2011, 'Executability in the Situation Calculus', in AI 2011: Advances in Artificial Intelligence, Springer, Heidelberg, Germany, 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
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, presented at International Joint Conference on Artificial Intelligence, Barcelona, July 16-22, 2011
Heap, B & Pagnucco, M, 2011, 'Sequential Single-Cluster Auctions for Robot Task Allocation', in AI 2011: Advances in Artificial Intelligence, Springer, Heidelberg, Germany, 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, Rajaratnam, DP, Thielscher, M & Strass, H, 2011, 'How to plan when being deliberately misled', in Automated Action Planning for Autonomous Mobile Robots - Papers from the 2011 AAAI Workshop, Technical Report, AI Access Foundation, El Segundo, CA, United States, presented at 2011 AAAI Workshop, San Francisco, CA, United States, 7 August, 2011
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, 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, 'Horn Contraction via Epistemic Entrenchment', in 12th European Conference, JELIA 2010 Helsinki, Finland, September 13-15, 2010 Proceedings, Springer, Berlin, Germany, presented at 12th European Conference on Logics in Artificial Intelligence, Helsinki Finland, September 13-15, 2010, http://dx.doi.org/10.1007/978-3-642-15675-5
Zhuang, ZQ & Pagnucco, M, 2010, 'Two Methods for Constructing Horn Contractions', in AI 2010: Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, presented at 23rd Australasian Joint Conference on Artificial Intelligence, Adelaide Australia, 7-10 Dec 2010, http://dx.doi.org/10.1007/978-3-642-17432-2
Chamiel, GP & Pagnucco, M, 2009, 'Ontology Guided Dynamic Preference Elicitation', in CEUR Workshop Proceedings, presented at , NEW YORK, USA, October 2009, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-532/paper6.pdf
Zhuang, ZQ & Pagnucco, M, 2009, 'Belief Contradiction in the Description Logic EL', in CEUR Workshop Proceedings, presented at 22nd International Workshop on Description Logics, Oxford, UK, 27 - 30 July 2009, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-477/paper_18.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 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, '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, 'Utilising ontological structure for reasoning with preferences', in Knowledge representation ontology workshop, presented at Knowledge representation ontology workshop, Sydney, 17 September 2008
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
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, 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
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
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
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
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
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, 31 - 6 July 1999
Pagnucco, M, Treadgold, NK & Unknown,, 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
Foo, N, Nayak, A & Pagnucco, M, 1999, 'Diagrammatic Proofs', in 16th International Joint Conference on Artificial Intelligence, IJCAI 1999, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, 31 - 6 July 1999
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), presented at 15th International Joint Conferences on Atrificial Intelligence (IJCAI 1997), Nagoya, Japan, 23 - 29 August 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), presented at Australasian Joint Conference on Artificial Intelligence 1997, Perth, WA, 30 November - 4 December 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, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 - 16 August 1996
Foo, N, Nayak, A & Pagnucco, M, 1996, 'Definitional constraints', in Eurpoean Conference on Artificial Intelligence, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 - 16 August 1996
Nayak, A, Pagnucco, M & Foo, N, 1996, 'Learning from conditionals: Judy Benjamin`s other problems', in Eurpoean Conference on Artificial Intelligence, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 - 16 August 1996
Original Creative Works
Shaw, J, Del Favero, D, Kuchelmeister, V, Brown, NC, Compton, PJ & Pagnucco, M, 2007, Exhibited: PLACE-Hampi at , publication category: Creative Work - Visual Art
Del Favero, D, Shaw, J, Brown, NC, Compton, PJ & Pagnucco, M, 2007, Exhibited: PLACE-Hampi at , publication category: Creative Work - Visual Art
Kuchelmeister, V, 2001, Exhibited: Improvisation Technologies at , publication category: Creative Work - Visual Art, http://kuchelmeister.net/prj_it.html