51³Ô¹Ïapp
Back to
Professor Maurice Pagnucco

Professor Maurice Pagnucco

Deputy Dean and Head of School
Engineering
Faculty Unit

Professor Maurice Pagnucco is the Deputy Dean (Education) of theÌýÌýat UNSW. HeÌýwas previously the Head of theÌýÌý(CSE) from July 2010 to September 2019. He is a Professorial Fellow at theÌý, Deputy Director ofÌýÌý(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

Ìý
Mobile
+61 438 667 746
Phone
+61 2 9385 5000
E-mail
morri@cse.unsw.edu.au
Location
K17 Level 6
  • Book Chapters | 2024
    Del Favero D; Thurow S; Pagnucco M; Frohne U, 2024, 'Reimagining Extreme Event Scenarios: The Aesthetic Visualisation of Climate Uncertainty to Enhance Preparedness', in Del Favero D; Thurow S; Ostwald M; Frohne U (ed.), Climate Disaster Preparedness Reimagining Extreme Events through Art and Technology, SpringerNature, Cham, pp. 7 - 24,
    Book Chapters | 2024
    Ghadiri A; Pagnucco M; Song Y, 2024, 'XTranPrune: eXplainability-Aware Transformer Pruning forÌýBias Mitigation inÌýDermatological Disease Classification', in Lecture Notes in Computer Science, Springer Nature Switzerland, pp. 749 - 758,
    Book Chapters | 2024
    Song Y; Pagnucco M; Wu F; Asadipour A; Ostwald MJ, 2024, 'Intelligent Architectures for Extreme Event Visualisation', in Arts, Research, Innovation and Society, Springer Nature Switzerland, pp. 37 - 48,
    Book Chapters | 2024
    Thurow S; Grehan H; Pagnucco M, 2024, 'Representing the Climate Crisis: Aesthetic Framings in Contemporary Performing and Visual Arts', in Del Favero D; Thurow S; Ostwald M; Frohne U (ed.), Climate Disaster Preparedness Reimagining Extreme Events through Art and Technology, SpringerNature, Cham, pp. 107 - 120,
    Book Chapters | 2023
    Fan L; Ding Y; Fan D; Wu Y; Pagnucco M; Song Y, 2023, 'Identifying the Defective: Detecting Damaged Grains for Cereal Appearance Inspection', in , pp. 660 - 667,
    Book Chapters | 2023
    Xu Y; Pagnucco M; Song Y, 2023, 'DHG-GAN: Diverse Image Outpainting viaÌýDecoupled High Frequency Semantics', in , pp. 168 - 184,
    Book Chapters | 2022
    2022, 'Adaptive Unified Contrastive Learning forÌýImbalanced Classification', in Machine Learning in Medical Imaging, Springer Nature Switzerland, pp. 348 - 357,
    Book Chapters | 2021
    Cong C; Liu S; Di Ieva A; Pagnucco M; Berkovsky S; Song Y, 2021, 'Semi-supervised Adversarial Learning for Stain Normalisation in Histopathology Images', in Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, pp. 581 - 591,
    Book Chapters | 2021
    Guo R; Pagnucco M; Song Y, 2021, 'Learning with Noise: Mask-Guided Attention Model for Weakly Supervised Nuclei Segmentation', in Medical Image Computing and Computer Assisted Intervention – MICCAI 2021, pp. 461 - 470,
    Book Chapters | 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 Computer Science, Springer International Publishing, pp. 70 - 81,
    Book Chapters | 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, Springer Berlin Heidelberg, pp. 87 - 100,
    Book Chapters | 2012
    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,
    Book Chapters | 2006
    Pagnucco M, 2006, 'Isaac Levi on abduction', in Knowledge and inquiry, Cambridge university press, New York, pp. 143 - 156
    Book Chapters | 1993
    Pagnucco M; Foo N, 1993, 'Inverting resolution with conceptual graphs', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 238 - 253,
  • Journal articles | 2024
    Cong C; Liu S; Rana P; Pagnucco M; Di Ieva A; Berkovsky S; Song Y, 2024, 'Adaptive unified contrastive learning with graph-based feature aggregator for imbalanced medical image classification', Expert Systems with Applications, 251,
    Journal articles | 2024
    Guo R; Xu Y; Tompkins A; Pagnucco M; Song Y, 2024, 'Multi-degradation-adaptation network for fundus image enhancement with degradation representation learning', Medical Image Analysis, 97,
    Journal articles | 2024
    Huang R; Ding J; Pagnucco M; Song Y, 2024, 'Fully Decoupling Trajectory and Scene Encoding for Lightweight Heatmap-Oriented Trajectory Prediction', IEEE Robotics and Automation Letters, 9, pp. 9143 - 9150,
    Journal articles | 2024
    Wang J; Jiang Y; Long Y; Sun X; Pagnucco M; Song Y, 2024, 'Deconfounding Causal Inference for Zero-Shot Action Recognition', IEEE Transactions on Multimedia, 26, pp. 3976 - 3986,
    Journal articles | 2023
    Fan L; Ding Y; Fan D; Wu Y; Chu H; Pagnucco M; Song Y, 2023, 'An annotated grain kernel image database for visual quality inspection', Scientific Data, 10,
    Journal articles | 2023
    Fan L; Fan D; Ding Y; Wu Y; Chu H; Pagnucco M; Song Y, 2023, 'AV4GAInsp: An Efficient Dual-Camera System for Identifying Defective Kernels of Cereal Grains', IEEE Robotics and Automation Letters, 9, pp. 851 - 858,
    Journal articles | 2023
    Foo G; Kara S; Pagnucco M, 2023, 'Artificial Learning for Part Identification in Robotic Disassembly Through Automatic Rule Generation in an Ontology', IEEE Transactions on Automation Science and Engineering, 20, pp. 296 - 309,
    Journal articles | 2023
    Guo R; Xie K; Pagnucco M; Song Y, 2023, 'SAC-Net: Learning with weak and noisy labels in histopathology image segmentation', Medical Image Analysis, 86,
    Journal articles | 2023
    Wang W; Pagnucco M; Xu C; Song Y, 2023, 'InterREC: An Interpretable Method for Referring Expression Comprehension', IEEE Transactions on Multimedia, 25, pp. 9330 - 9342,
    Journal articles | 2023
    Xu Y; Pagnucco M; Song Y, 2023, 'An edge guided coarse-to-fine generative network for image outpainting', Neurocomputing, 541,
    Journal articles | 2023
    Yang Z; Cong C; Pagnucco M; Song Y, 2023, 'Multi-scale multi-reception attention network for bone age assessment in X-ray images', Neural Networks, 158, pp. 249 - 257,
    Journal articles | 2022
    Cong C; Liu S; Di Ieva A; Pagnucco M; Berkovsky S; Song Y, 2022, 'Colour adaptive generative networks for stain normalisation of histopathology images', Medical Image Analysis, 82,
    Journal articles | 2021
    Chen WH; Foo G; Kara S; Pagnucco M, 2021, 'Automated generation and execution of disassembly actions', Robotics and Computer-Integrated Manufacturing, 68,
    Journal articles | 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, 15, pp. 168 - 181,
    Journal articles | 2020
    Chen WH; Foo G; Kara S; Pagnucco M, 2020, 'Application of a multi-head tool for robotic disassembly', Procedia CIRP, 90, pp. 630 - 635,
    Journal articles | 2019
    Rezvani M; Rajaratnam D; Ignjatovic A; Pagnucco M; Jha S, 2019, 'Analyzing XACML policies using answer set programming', International Journal of Information Security, 18, pp. 465 - 479,
    Journal articles | 2017
    Schwering C; Pagnucco M; Lakemeyer G, 2017, 'Belief revision and projection in the epistemic situation calculus', Artificial Intelligence, 251, pp. 62 - 97
    Journal articles | 2017
    Zhuang Z; Pagnucco M; Zhang Y, 2017, 'Inter-Definability of Horn Contraction and Horn Revision', Journal of Philosophical Logic, 46, pp. 299 - 332,
    Journal articles | 2016
    Kara S; Vongbunyong S; Pagnucco M, 2016, 'Vision-based execution monitoring of state transition in disassembly automation', International Journal of Automation Technology, 10, pp. 708 - 716,
    Journal articles | 2015
    Vongbunyong S; Kara S; Pagnucco M, 2015, 'Learning and revision in cognitive robotics disassembly automation', Robotics and Computer-Integrated Manufacturing, 34, pp. 79 - 94,
    Journal articles | 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, 45, pp. 101 - 110,
    Journal articles | 2014
    Zhuang Z; Pagnucco M, 2014, 'Entrenchment-Based Horn Contraction', JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 51, pp. 227 - 254,
    Journal articles | 2013
    Vongbunyong S; Kara S; Pagnucco M, 2013, 'Application of cognitive robotics in disassembly of products', CIRP Annals - Manufacturing Technology, 62, pp. 31 - 34,
    Journal articles | 2013
    Vongbunyong S; Kara S; Pagnucco M, 2013, 'Basic behaviour control of the vision-based cognitive robotic disassembly automation', Assembly Automation, 33, pp. 38 - 56,
    Journal articles | 2012
    Burgard W; Konolige K; Pagnucco M; Vassos S, 2012, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, WS-12-06
    Journal articles | 2011
    Shapiro S; Pagnucco M; Lesperance Y; Levesque HJ, 2011, 'Iterated belief change in the situation calculus', Artificial Intelligence, 175, pp. 165 - 192,
    Journal articles | 2005
    Delgrande J; Nayak A; Pagnucco M, 2005, 'Gricean belief change', Studia Logica, 79(1), pp. 97 - 113
    Journal articles | 2003
    Nayak A; Pagnucco M; Peppas P, 2003, 'Dynamic Belief Revision Operators', Artificial Intelligence, 146(2), pp. 193 - 228
    Journal articles | 2001
    Pagnucco M; Jauregui V; Foo N, 2001, 'A Trajectory Approach to Causality', Studia Logica, 67, pp. 385 - 401,
    Journal articles | 2001
    Pagnucco M; Peppas P, 2001, 'Causality and minimal change demystified', IJCAI International Joint Conference on Artificial Intelligence, pp. 125 - 130
    Journal articles | 1999
    Rott H; Pagnucco M, 1999, 'Severe withdrawal (and recovery)', Journal of Philosophical Logic, 28, pp. 501 - 547,
  • Working Papers | 2019
    Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2019, Perceptual Context in Cognitive Hierarchies,
  • Conference Papers | 2024
    Cong C; Xuan S; Liu S; Zhang S; Pagnucco M; Song Y, 2024, 'Decoupled Optimisation for Long-Tailed Visual Recognition', in Proceedings of the AAAI Conference on Artificial Intelligence, pp. 1380 - 1388,
    Conference Papers | 2024
    Fan L; Ding Y; Pagnucco M; Song Y, 2024, 'Patch-Wise Augmentation for Anomaly Detection and Localization', in ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, pp. 5425 - 5429, presented at ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 14 April 2024 - 19 April 2024,
    Conference Papers | 2024
    Gao J; Blair A; Pagnucco M, 2024, 'Explainable Visual Question Answering via Hybrid Neural-Logical Reasoning', in Proceedings of the International Joint Conference on Neural Networks,
    Conference Papers | 2024
    Heng Z; Pagnucco M; Meijering E; Song Y, 2024, 'Vascular Topology Rectification Network for Automated Retinal Artery/Vein Segmentation', in Proceedings - International Symposium on Biomedical Imaging,
    Conference Papers | 2024
    Limarga R; Song Y; Pagnucco M; Rajaratnam D, 2024, 'Epistemic Reasoning inÌýComputational Machine Ethics', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 82 - 94,
    Conference Papers | 2024
    Wang Y; Pagnucco M; Song Y, 2024, 'Self-training withÌýDomain-Mixed Data forÌýFew-Shot Domain Adaptation inÌýMedical Image Segmentation Tasks', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 299 - 309,
    Conference Papers | 2024
    Yan S; Liu S; Di Ieva A; Pagnucco M; Song Y, 2024, 'Meta-Transfer Learning for Few-Shot Meningioma Segmentation', in Proceedings - International Symposium on Biomedical Imaging,
    Preprints | 2023
    Fan L; Ding Y; Fan D; Wu Y; Chu H; Pagnucco M; Song Y, 2023, An annotated grain kernel image database for visual quality inspection, ,
    Preprints | 2023
    Fan L; Ding Y; Fan D; Wu Y; Pagnucco M; Song Y, 2023, Identifying the Defective: Detecting Damaged Grains for Cereal Appearance Inspection, ,
    Conference Papers | 2023
    Gao J; Blair A; Pagnucco M, 2023, 'A Symbolic-Neural Reasoning Model for Visual Question Answering', in Proceedings of the International Joint Conference on Neural Networks,
    Preprints | 2023
    Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2023, Online Learning and Planning in Cognitive Hierarchies, ,
    Conference Papers | 2023
    Huang R; Pagnucco M; Song Y, 2023, 'HyperTraj: Towards Simple and Fast Scene-Compliant Endpoint Conditioned Trajectory Prediction', in IEEE International Conference on Intelligent Robots and Systems, pp. 3208 - 3213,
    Conference Papers | 2023
    Huang R; Tompkins A; Pagnucco M; Song Y, 2023, 'Towards Single Source Domain Generalisation in Trajectory Prediction: A Motion Prior based Approach', in Proceedings of Machine Learning Research, McGill University, Montréal, Québec, Canada, pp. 227 - 243, presented at Conference on Lifelong Learning Agents, 22-25 August 2023,, McGill University, Montréal, Québec, Canada, 22 August 2023 - 25 August 2023,
    Preprints | 2023
    Huang R; Xue H; Pagnucco M; Salim F; Song Y, 2023, Multimodal Trajectory Prediction: A Survey,
    Conference Papers | 2023
    Limarga R; Song Y; Nayak A; Rajaratnam D; Pagnucco M, 2023, 'Formalisation and Evaluation of Properties for Consequentialist Machine Ethics', in Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, pp. 440 - 448, presented at Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}, 19 August 2023 - 25 August 2023,
    Conference Papers | 2023
    Qian S; Pagnucco M; Song Y, 2023, 'Adaptive Local Prototype and Cycle Attention for Few-shot Medical Image Segmentation', in 2023 International Conference on Digital Image Computing: Techniques and Applications, DICTA 2023, pp. 49 - 56,
    Conference Papers | 2023
    Wan F; Wang J; Duan H; Song Y; Pagnucco M; Long Y, 2023, 'Community-Aware Federated Video Summarization', in Proceedings of the International Joint Conference on Neural Networks,
    Conference Papers | 2023
    Xu Y; Guo R; Pagnucco M; Song Y, 2023, 'Draw2Edit: Mask-Free Sketch-Guided Image Manipulation', in MM 2023 - Proceedings of the 31st ACM International Conference on Multimedia, pp. 7205 - 7215,
    Conference Papers | 2022
    Cong C; Yang Y; Liu S; Pagnucco M; Di Ieva A; Berkovsky S; Song Y, 2022, 'Adaptive Unified Contrastive Learning forÌýImbalanced Classification', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 348 - 357,
    Conference Papers | 2022
    Cong C; Yang Y; Liu S; Pagnucco M; Song Y, 2022, 'Imbalanced Histopathology Image Classification Using Deep Feature Graph Attention Network', in Proceedings - International Symposium on Biomedical Imaging,
    Creative Works (non-textual) | 2022
    Del Favero D; Pagnucco M; Ostwald M; Thurow S; Yip A; Scott-Mitchell M; Dang E; Shorten D; Cotterell S; Jackman P; Clemente L, 2022, iMODEL, Barber of Seville and Amadeus, Sydney Opera House, Canberra Theatre Centre and 20 other venues across NSW, VIC and TAS, 14 July 2022 - 21 January 2023, medium: VR Rehearsal Design System, at: http://www.icinema.unsw.edu.au/projects/imodel/
    Conference Papers | 2022
    Delgrande JP; Sack J; Lakemeyer G; Pagnucco M, 2022, 'Epistemic Logic of Likelihood and Belief', in IJCAI International Joint Conference on Artificial Intelligence, pp. 2599 - 2605
    Conference Papers | 2022
    Fan L; Ding Y; Fan D; Di D; Pagnucco M; Song Y, 2022, 'GrainSpace: A Large-scale Dataset for Fine-grained and Domain-adaptive Recognition of Cereal Grains', in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp. 21084 - 21093,
    Preprints | 2022
    Fan L; Ding Y; Fan D; Di D; Pagnucco M; Song Y, 2022, GrainSpace: A Large-scale Dataset for Fine-grained and Domain-adaptive Recognition of Cereal Grains,
    Conference Papers | 2022
    Foo G; Kara S; Pagnucco M, 2022, 'Challenges of robotic disassembly in practice', in Procedia CIRP, Leuven, Belgium, pp. 513 - 518, presented at 29th CIRP Life Cycle Engineering Conference, Leuven, Belgium, 04 April 2022,
    Conference Papers | 2022
    Huang R; Pagnucco M; Song Y, 2022, 'Analysis of the Over-exposure Problem for Robust Scene Parsing', in 2022 International Conference on Digital Image Computing: Techniques and Applications (DICTA), IEEE, pp. 1 - 8, presented at 2022 International Conference on Digital Image Computing: Techniques and Applications (DICTA), 30 November 2022 - 02 December 2022,
    Conference Papers | 2022
    Li L; Pagnucco M; Song Y, 2022, 'Graph-based Spatial Transformer with Memory Replay for Multi-future Pedestrian Trajectory Prediction', in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp. 2221 - 2231,
    Conference Papers | 2022
    Li P; Yang Y; Pagnucco M; Song Y, 2022, 'CoGNet: Cooperative Graph Neural Networks', in Proceedings of the International Joint Conference on Neural Networks,
    Conference Papers | 2022
    Luo S; Heng Z; Pagnucco M; Song Y, 2022, 'Two-Stage Topological Refinement Network for Retinal Artery/Vein Classification', in Proceedings - International Symposium on Biomedical Imaging,
    Conference Papers | 2022
    Xie K; Yang Y; Pagnucco M; Song Y, 2022, 'Electron Microscope Image Registration Using Laplacian Sharpening Transformer U-Net', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Singapore, pp. 310 - 319, presented at 25th International Conference, Medical Image Computing and Computer Assisted Intervention, MICCAI 2022, Singapore, 18 September 2022 - 22 September 2022,
    Conference Papers | 2022
    Xie K; Zhong H; Chang J; Pagnucco M; Song Y, 2022, 'D2E2-Net: Double Deep Edge Enhancement for Weakly-Supervised Cell Nuclei Segmentation with Incomplete Point Annotations', in 2022 International Conference on Digital Image Computing: Techniques and Applications (DICTA), IEEE, pp. 1 - 8, presented at 2022 International Conference on Digital Image Computing: Techniques and Applications (DICTA), 30 November 2022 - 02 December 2022,
    Conference Papers | 2021
    Bai Y; Wang J; Long Y; Hu B; Song Y; Pagnucco M; Guan Y, 2021, 'Discriminative Latent Semantic Graph for Video Captioning', in MM 2021 - Proceedings of the 29th ACM International Conference on Multimedia, pp. 3556 - 3564,
    Preprints | 2021
    Bai Y; Wang J; Long Y; Hu B; Song Y; Pagnucco M; Guan Y, 2021, Discriminative Latent Semantic Graph for Video Captioning, ,
    Conference Papers | 2021
    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, pp. 1949 - 1952,
    Creative Works (non-textual) | 2021
    Del Favero D; Pagnucco M; Thurow S; Wake C; Wallen L; Williams K; Schostakowski B; Scott-Mitchell M, 2021, iDesign, Playing Beatie Bow, Sydney Theatre Company, 22 February 2021 - 01 May 2021, medium: VR Set Design System, at: https://www.sydneytheatre.com.au/community/education/2021/productions/playing-beatie-bow
    Conference Papers | 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,
    Conference Papers | 2021
    Lin H; Pagnucco M; Song Y, 2021, 'Edge guided progressively generative image outpainting', in IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, pp. 806 - 815,
    Conference Papers | 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, pp. 814 - 821,
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 2020
    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,
    Conference Papers | 2020
    Xiao Y; Silvera D; Pagnucco M, 2020, 'Autonomous Behaviour Planning for Socially-Assistive Robots in Therapy and Education', Australia, presented at Australasian Conference on Robotics and Automation, Australia, 08 December 2020
    Conference Presentations | 2019
    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,
    Conference Papers | 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
    Conference Presentations | 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,
    Conference Papers | 2019
    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, Association for Computing Machinery (ACM), AUSTRALIA, UX Machines Pty Ltd, pp. 347 - 351, presented at Proceedings of the 31st Australian Conference on Human-Computer-Interaction, AUSTRALIA, UX Machines Pty Ltd, 02 December 2019 - 05 December 2019,
    Preprints | 2018
    Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2018, Perceptual Context in Cognitive Hierarchies, ,
    Conference Abstracts | 2017
    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
    Conference Papers | 2016
    Rajaratnam D; Hengst B; Pagnucco M; Sammut C; Thielscher M, 2016, 'Composability in cognitive hierarchies', in Kang BH; Bai Q (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, Hobart, TAS, Australia, pp. 42 - 55, presented at 29th Australasian Joint Conference, Hobart, TAS, Australia, 05 December 2016 - 08 December 2016,
    Conference Papers | 2016
    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,
    Conference Papers | 2016
    hengst B; Marcus N; pagnucco M; Rajaratnam D; sammut C; Thielscher M, 2016, 'Towards Autonomous Adaptation and Trust.', Daejeon, Korea, presented at IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, 09 October 2016 - 14 October 2016
    Conference Papers | 2016
    2016, 'A Framework for Integrating Symbolic and Sub-symbolic Representations'
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 2015
    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,
    Conference Papers | 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
    Creative Works (non-textual) | 2015
    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/
    Creative Works (non-textual) | 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/
    Conference Papers | 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,
    Conference Papers | 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
    Conference Papers | 2014
    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
    Preprints | 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,
    Conference Papers | 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, presented at European Conference on Artificial Intelligence, Amsterdam, The Netherlands, 18 August 2014 - 22 August 2014
    Conference Papers | 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, presented at 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20 July 2014 - 24 July 2014,
    Creative Works (non-textual) | 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/
    Creative Works (non-textual) | 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/
    Creative Works (non-textual) | 2014
    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/
    Creative Works (non-textual) | 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/
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 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, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 September 2013 - 19 September 2013,
    Conference Papers | 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
    Conference Papers | 2013
    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
    Conference Papers | 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, 04 December 2012 - 07 December 2012
    Conference Papers | 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
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 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
    Conference Papers | 2011
    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,
    Conference Papers | 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
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 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,
    Conference Papers | 2010
    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,
    Conference Papers | 2010
    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,
    Conference Papers | 2009
    Chamiel GP; Pagnucco M, 2009, 'Ontology Guided Dynamic Preference Elicitation', in CEUR Workshop Proceedings, NEW YORK, USA, NEW YORK, USA,
    Conference Papers | 2009
    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,
    Conference Posters | 2009
    Zhuang ZQ; Pagnucco M, (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,
    Conference Papers | 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
    Conference Papers | 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, 01 December 2008 - 05 December 2008
    Conference Papers | 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
    Creative Works (non-textual) | 2008
    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/
    Conference Papers | 2007
    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
    Conference Papers | 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
    Conference Papers | 2006
    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
    Curatorial Outputs | 2006
    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,
    Conference Papers | 2005
    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
    Conference Papers | 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
    Conference Papers | 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
    Conference Papers | 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
    Conference Papers | 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, presented at 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 22 August 2004 - 27 August 2004
    Conference Papers | 2003
    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
    Conference Papers | 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
    Conference Papers | 2001
    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
    Conference Papers | 2000
    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,
    Conference Papers | 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
    Conference Papers | 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,
    Conference Papers | 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, Madras India, pp. 484 - 485, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 06 December 1999 - 10 December 1999
    Conference Papers | 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
    Conference Papers | 1999
    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,
    Conference Papers | 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
    Conference Papers | 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
    Conference Papers | 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, presented at Australasian Joint Conference on Artificial Intelligence 1997, Perth, WA, 30 November 1997 - 04 December 1997
    Conference Papers | 1996
    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
    Conference Papers | 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
    Conference Papers | 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
    Conference Papers | 1995
    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,