Publications

2026

Journal articles

Duenas-cid, D.; Roenne, P.; Volkamer, M.; Blom, M.; Gaudry, P.; Borucki, I.; Loeber, L.; Debant, A. (2026) “Preface” Lecture Notes in Computer Science pp: v-vii.

Fu, S.; Dwyer, T.; Stuckey, PJ.; Grundy, JC. (2026) “GeckoGraph: A visual language for polymorphic types” Journal of Computer Languages Elsevier BV. pp: 101381-101381. DOI: 10.1016/j.cola.2025.101381

Polyakovskiy, S.; Dehghan, M.; Mcgregor, A.; Stuckey, PJ. (2026) “Mixed-Integer and Constraint Programming Models for the Two-Dimensional Guillotine Cutting Problem” European Journal of Operational Research Elsevier BV. pp: 48-61. DOI: 10.1016/j.ejor.2025.10.022

Shen, Q.; Polyvyanyy, A.; Lipovetzky, N.; Kampik, T. (2026) “Applying organizational mining to discover agent systems from event data” Information Systems Elsevier BV. pp: 102669-102669. DOI: 10.1016/j.is.2025.102669

Wang, L.; Rodriguez, MA.; Lipovetzky, N. (2026) “MetaPilot: A DRL-based controller for dynamic adaptation to shifting scheduling objectives in HPC systems” Future Generation Computer Systems Elsevier BV. pp: 108269-108269. DOI: 10.1016/j.future.2025.108269

Conference Papers

Blom, M.; Ek, A.; Stuckey, PJ.; Teague, V.; Vukcevic, D. (2026) “3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections” Springer Nature Switzerland. pp: 226-240. DOI: 10.1007/978-3-032-00495-6_12

Ek, A.; Blom, M.; Stark, PB.; Stuckey, PJ.; Teague, VJ.; Vukcevic, D. (2026) “Doing More with Less: Mismatch-Based Risk-Limiting Audits” Springer Nature Switzerland. pp: 241-255. DOI: 10.1007/978-3-032-00495-6_13

2025

Book chapters

Bierlee, H.; Dekker, JJ.; Stuckey, PJ. (2025) “Revisiting Pseudo-Boolean Encodings from an Integer Perspective”. Lecture Notes in Computer Science. Springer Nature Switzerland. pp: 113-133. DOI: 10.1007/978-3-031-95973-8_8

Davies, TO.; Didier, F.; Perron, L.; Stuckey, PJ. (2025) “Parallelising Lazy Clause Generation with Trail Sharing”. Lecture Notes in Computer Science. Springer Nature Switzerland. pp: 205-221. DOI: 10.1007/978-3-031-95973-8_13

Ek, A.; Blom, M.; Stark, PB.; Stuckey, PJ.; Vukcevic, D. (2025) “Improving the Computational Efficiency of Adaptive Audits of IRV Elections”. Duenas-cid, D.; Roenne, P.; Volkamer, M.; Budurushi, J.; Blom, M.; Rodriguez-perez, A.; Spycher-krivonosova, I.; Roca, JC.; Esteve, JB. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 37-53. DOI: 10.1007/978-3-031-72244-8_3

Ek, A.; Stark, PB.; Stuckey, PJ.; Vukcevic, D. (2025) “Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections”. Lecture Notes in Computer Science. Springer Nature Switzerland. pp: 18-32. DOI: 10.1007/978-3-031-69231-4_2

Gjergji, I.; Kletzander, L.; Bierlee, H.; Musliu, N.; Stuckey, PJ. (2025) “Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective”. Lecture Notes in Computer Science. Springer Nature Switzerland. pp: 1-17. DOI: 10.1007/978-3-031-95976-9_1

Li, A.; Stuckey, P.; Koenig, S.; Kumar, TKS. (2025) “Rapidly Computing Approximate Graph Convex Hulls via FastMap”. Lecture Notes in Computer Science. Springer Nature Switzerland. pp: 323-338. DOI: 10.1007/978-3-031-82484-5_24

Song, J.; Umboh, SW.; Lipovetzky, N.; Sardina, S. (2025) “On the Computational Complexity of Partial Satisfaction Planning”. Frontiers in Artificial Intelligence and Applications. IOS Press. pp: 4913-4920. DOI: 10.3233/FAIA251402

Journal articles

Abdolahi, J.; Robe, D.; Larson, RG.; Kirley, M.; Hajizadeh, E. (2025) “Interpretable active learning meta-modeling for the association dynamics of telechelic polymers on colloidal particles” Journal of Rheology Society of Rheology. pp: 183-199. DOI: 10.1122/8.0000930

Amarasinghe, PR.; Allison, L.; Morton, CJ.; Stuckey, PJ.; De La Banda, MG.; Lesk, AM.; Konagurthu, AS. (2025) “PhiSiCal-Checkup: A Bayesian framework to validate amino acid conformations within experimental protein structures” Proceedings of the National Academy of Sciences of the United States of America NATL ACAD SCIENCES. pp: -. DOI: 10.1073/pnas.2416301121

Bergmeir, C.; De Nijs, F.; Genov, E.; Sriramulu, A.; Abolghasemi, M.; Bean, R.; Betts, J.; Bui, Q.; Dinh, NT.; Einecke, N.; Esmaeilbeigi, R.; Ferraro, S.; Galketiya, P.; Glasgow, R.; Godahewa, R.; Kang, Y.; Limmer, S.; Magdalena, L.; Montero-manso, P.; Peralta, D.; Kumar, YPS.; Rosales-pérez, A.; Ruddick, J.; Stratigakos, A.; Stuckey, P.; Tack, G.; Triguero, I.; Yuan, R. (2025) “Predict+Optimize Problem in Renewable Energy Scheduling” IEEE Access Institute of Electrical and Electronics Engineers (IEEE). pp: 60064-60087. DOI: 10.1109/access.2025.3555393

Blom, M.; Singh, R.; Miller, T.; Sonenberg, L.; Trentelman, K.; Saulwick, A.; Wark, S. (2025) “Improving Tactical Decision-Making Through Multiobjective Contrastive Explanations” IEEE Transactions on Human-Machine Systems Institute of Electrical and Electronics Engineers (IEEE). pp: 855-864. DOI: 10.1109/THMS.2025.3591163

Cai, Z.; Cardenas, CR.; Leo, K.; Zhang, C.; Backman, K.; Li, H.; Li, B.; Ghorbanali, M.; Datta, S.; Qu, L.; Gutierrez, J.; Ignatiev, A.; Li, Y-F.; Vered, M.; Stuckey, PJ.; De La Banda, MG.; Rezatofighi, H. (2025) “NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions” IEEE Robotics and Automation Letters Institute of Electrical and Electronics Engineers (IEEE). pp: 9502-9509. DOI: 10.1109/lra.2025.3592098

Ding, P.; Robe, D.; Kirley, M.; Hajizadeh, E. (2025) “Constrained Bayesian accelerated design of acoustic polyurethane coatings with metamaterial features under hydrostatic pressure” Structural and Multidisciplinary Optimization Springer Science and Business Media LLC. pp: 159-. DOI: 10.1007/s00158-025-04107-7

Duenas-cid, D.; Roenne, P.; Volkamer, M.; Budurushi, J.; Blom, M.; Rodríguez-pérez, A.; Spycher-krivonosova, I.; Roca, JC.; Esteve, JB. (2025) “Preface” Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics pp: v-vi.

Huang, S.; Cohn, T.; Lipovetzky, N. (2025) “Chasing Progress, Not Perfection: Revisiting Strategies for End-to-End LLM Plan Generation” Proceedings International Conference on Automated Planning and Scheduling, ICAPS Association for the Advancement of Artificial Intelligence (AAAI). pp: 204-212. DOI: 10.1609/icaps.v35i1.36119

Huang, S.; Lipovetzky, N.; Cohn, T. (2025) “Planning in the Dark: LLM-Symbolic Planning Pipeline Without Experts” Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Association for the Advancement of Artificial Intelligence (AAAI). pp: 26542-26550. DOI: 10.1609/aaai.v39i25.34855

Kolyaei, M.; Zhang, L.; Blom, M. (2025) “Inventory replenishment and fulfilment decisions for an omnichannel retailer: a reinforcement learning-based method” International Journal of Production Research Informa UK Limited. pp: 9571-9592. DOI: 10.1080/00207543.2025.2520596

Lam, E.; Stuckey, PJ.; Harabor, D. (2025) “Optimal Multi-Agent Pickup and Delivery Using Branch-and-Cut-and-Price Algorithms” Transportation Science INFORMS. pp: -. DOI: 10.1287/trsc.2023.0268

Lei, C.; Lipovetzky, N.; Ehinger, KA. (2025) “State-Based Disassembly Planning” Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Association for the Advancement of Artificial Intelligence (AAAI). pp: 14602-14609. DOI: 10.1609/aaai.v39i14.33600

Pierau, R-E.; Katsifolis, J.; Meehan, A.; Rezatofighi, H.; Stuckey, PJ. (2025) “Acoustic-to-hyper-spectral: real-time perimeter intrusion detection system monitoring through learnable filters and hyper-spectral image generation from distributed acoustic sensing systems.” Optics Express Optica Publishing Group. pp: 4109-4126. DOI: 10.1364/OE.542663

Singh, R.; Miller, T.; Sonenberg, L.; Velloso, E.; Vetere, F.; Howe, P. (2025) “An Actionability Assessment Tool for Enhancing Algorithmic Recourse in Explainable AI” IEEE Transactions on Human-Machine Systems Institute of Electrical and Electronics Engineers (IEEE). pp: 519-528. DOI: 10.1109/THMS.2025.3582285

Su, Z.; Yu, T.; Polyvyanyy, A.; Tan, Y.; Lipovetzky, N.; Sardiña, S.; Beest, NV.; Mohammadi, A.; Oetomo, D. (2025) “Process mining over sensor data: Goal recognition for powered transhumeral prostheses” Information Systems Elsevier. pp: -. DOI: 10.1016/j.is.2025.102540

Thompson, P.; Stokes, H.; Kirley, M. (2025) “The Middle Leadership Looking Glass: Comparing the Self-Perception of Leadership Practices with the Perspectives of Teachers Spanning Career Stages” Leadership and Policy in Schools Informa UK Limited. pp: 1-18. DOI: 10.1080/15700763.2025.2563368

Wang, L.; Rodriguez, MA.; Lipovetzky, N. (2025) “Optimizing HPC scheduling: a hierarchical reinforcement learning approach for intelligent job selection and allocation” Journal of Supercomputing Springer. pp: -. DOI: 10.1007/s11227-025-07396-3

Wickramaarachchi, H.; Kirley, M. (2025) “Uncertainty driven decision making and perturbation dynamics in evolutionary games on small-world networks” Physica A: Statistical Mechanics and its Applications Elsevier. pp: -. DOI: 10.1016/j.physa.2025.130719

Conference Papers

Abuaisha, A.; Shen, B.; Harabor, DD.; Stuckey, PJ.; Wallace, M. (2025) “Dynamic Replanning for Improved Public Transport Routing” Thirty-Fourth International Joint Conference on Artificial Intelligence {IJCAI-25} International Joint Conferences on Artificial Intelligence Organization. pp: 8430-8437. DOI: 10.24963/ijcai.2025/937

Blom, M.; Stuckey, PJ.; Teague, V.; Vukcevic, D. (2025) “RLAs for 2-Seat STV Elections: Revisited” Springer Nature Switzerland. pp: 3-17. DOI: 10.1007/978-3-031-69231-4_1

Izza, Y.; Ignatiev, A.; Rubin, S.; Marques-silva, J.; Stuckey, PJ. (2025) “Most General Explanations of Tree Ensembles” Thirty-Fourth International Joint Conference on Artificial Intelligence {IJCAI-25} International Joint Conferences on Artificial Intelligence Organization. pp: 5463-5471. DOI: 10.24963/ijcai.2025/608

Lei, C.; Chang, Y.; Lipovetzky, N.; Ehinger, KA. (2025) “Planning-Driven Programming: A Large Language Model Programming Workflow” Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) Association for Computational Linguistics. pp: 12647-12684. DOI: 10.18653/v1/2025.acl-long.621

Maadi, M.; Aickelin, U.; Khorshidi, HA.; Kirley, M. (2025) “Turning Uncertainty to Information by Intervals in Ensemble Classifiers” Wu, X.; Spiliopoulou, M.; Wang, C.; Kumar, V.; Cao, L.; Zhou, X.; Pang, G.; Gama, J. (Ed.) Singapore. Springer. pp: 237-249. DOI: 10.1007/978-981-96-8295-9_17

Rohovyi, A.; Stuckey, PJ.; Walsh, T. (2025) “Multimodal Pathfinding with Personalized Travel Speed and Transfers of Unlimited Distance” 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI) IEEE. pp: 925-931. DOI: 10.1109/ictai66417.2025.00135

Shen, Q.; Polyvyanyy, A.; Lipovetzky, N.; Kampik, T. (2025) “Agent System Event Data: Concepts, Dimensions, Applications” Maass, W.; Han, H.; Yasar, H.; Multari, N. (Ed.) 43rd International Conference Cham, Switzerland. Springer Nature Switzerland. pp: 56-72. DOI: 10.1007/978-3-031-75872-0_4

Song, Y.; Oliveira, E.; De Barba, P.; Kirley, M.; Thompson, P. (2025) “Investigating Validity and Generalisability in Trace-Based Measurement of Self-Regulated Learning: A Multidisciplinary Study” LAK '25: The 15th International Learning Analytics and Knowledge Conference ACM. pp: 339-350. DOI: 10.1145/3706468.3706511

Wang, L.; Rodriguez, MA.; Lipovetzky, N. (2025) “Accelerating RL-Based Scheduler Adaptation with Transfer Learning in Evolving HPC Architectures” 2025 IEEE 18th International Conference on Cloud Computing IEEE. pp: 1-11. DOI: 10.1109/CLOUD67622.2025.00011

Wang, L.; Rodriguez, MA.; Lipovetzky, N. (2025) “HPCsim: A High-Level Simulation and Workload Data Schema Framework for HPC Workload Management Research” 2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC) IEEE. pp: 5314-5320. DOI: 10.1109/smc58881.2025.11342567

2024

Book chapters

Bierlee, H.; Dekker, JJ.; Lagoon, V.; Stuckey, PJ.; Tack, G. (2024) “Single Constant Multiplication for SAT”. Dilkina, B. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 84-98. DOI: 10.1007/978-3-031-60597-0_6

Le, T.; Miller, T.; Sonenberg, L.; Singh, R. (2024) “Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence”. Frontiers in Artificial Intelligence and Applications. IOS Press. pp: 850-857. DOI: 10.3233/FAIA240571

Li, A.; Stuckey, P.; Koenig, S.; Kumar, TKS. (2024) “A FastMap-Based Framework for Efficiently Computing Top-K Projected Centrality”. Nicosia, G.; Ojha, V.; Lamalfa, E.; Lamalfa, G.; Pardalos, PM.; Umeton, R. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 158-173. DOI: 10.1007/978-3-031-53969-5_13

Oxenstierna, J.; Van Rensburg, LJ.; Stuckey, PJ.; Krueger, V. (2024) “Optimization of the Storage Location Assignment Problem Using Nested Annealing”. Communications in Computer and Information Science. Springer Nature Switzerland. pp: 220-244. DOI: 10.1007/978-3-031-49662-2_12

Journal articles

Albert, E.; De La Banda, MG.; Hernandez-cerezo, A.; Ignatiev, A.; Rubio, A.; Stuckey, PJ. (2024) “SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques” Proceedings of the ACM on Programming Languages ASSOC COMPUTING MACHINERY. pp: -. DOI: 10.1145/3656435

Chen, Z.; Harabor, D.; Li, J.; Stuckey, PJ. (2024) “Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding” Wooldridge, M.; Dy, J.; Natarajan, S. (Ed.) Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 20674-20682. DOI: 10.1609/aaai.v38i18.30054

Grossman, I.; Bandara, K.; Wilson, T.; Kirley, M. (2024) “Development and evaluation of probabilistic forecasting methods for small area populations” Environment and planning. B: Urban analytics and city science SAGE PUBLICATIONS LTD. pp: 366-383. DOI: 10.1177/23998083231178817

Herring, D.; Kirley, M.; Yao, X. (2024) “A comparative study of evolutionary approaches to the bi-objective dynamic Travelling Thief Problem” Swarm and Evolutionary Computation ELSEVIER. pp: -. DOI: 10.1016/j.swevo.2023.101433

Kafle, B.; Gange, G.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2024) “A lightweight approach to nontermination inference using Constrained Horn Clauses” Software and Systems Modeling SPRINGER HEIDELBERG. pp: 319-342. DOI: 10.1007/s10270-024-01161-5

Lei, C.; Lipovetzky, N.; Ehinger, KA. (2024) “Generalized Planning for the Abstraction and Reasoning Corpus” Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Association for the Advancement of Artificial Intelligence (AAAI). pp: 20168-20175. DOI: 10.1609/aaai.v38i18.29996

Neller, TW.; Bideau, P.; Bierbach, D.; Hönig, W.; Lipovetzky, N.; Muise, C.; Coria, L.; Wong, C.; Rosenthal, S.; Lu, Y.; Gao, M.; Zhang, J. (2024) “Model AI Assignments 2024” Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Association for the Advancement of Artificial Intelligence (AAAI). pp: 23370-23371. DOI: 10.1609/aaai.v38i21.30386

Pei, Z.; Rojas-arevalo, AM.; De Haan, FJ.; Lipovetzky, N.; Moallemi, EA. (2024) “Reinforcement learning for decision-making under deep uncertainty” Journal of Environmental Management Elsevier BV. pp: 120968-. DOI: 10.1016/j.jenvman.2024.120968

Su, Z.; Polyvyanyy, A.; Lipovetzky, N.; Sardina, S.; Van Beest, N. (2024) “Adaptive goal recognition using process mining techniques” Engineering Applications of Artificial Intelligence Elsevier. pp: -. DOI: 10.1016/j.engappai.2024.108189

Yu, J.; Fu, M.; Ignatiev, A.; Tantithamthavorn, C.; Stuckey, P. (2024) “A Formal Explainer for Just-In-Time Defect Predictions” ACM Transactions on Software Engineering and Methodology ASSOC COMPUTING MACHINERY. pp: -. DOI: 10.1145/3664809

Conference Papers

Abuaisha, A.; Shen, B.; Harabor, DD.; Stuckey, PJ.; Wallace, M. (2024) “Dynamic Replanning for Improved Public Transport Routing” Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24} International Joint Conferences on Artificial Intelligence Organization. pp: 8430-8437. DOI: 10.24963/ijcai.2024/937

Alsouly, H.; Kirley, M.; Muñoz, MA. (2024) “Dynamic Landscape Analysis for Constrained Multiobjective Optimization Problems” Liu, T.; Yue, L.; Webb, G.; Wang, D. (Ed.) 36th Australasian Joint Conference on Artificial Intelligence (AI) SPRINGER-VERLAG SINGAPORE PTE LTD. pp: 429-441. DOI: 10.1007/978-981-99-8388-9_35

Alsouly, H.; Kirley, M.; Muñoz, MA. (2024) “Online Per-Instance Algorithm Selection for Constrained Multi-Objective Optimization Problems” GECCO '24 Companion: Genetic and Evolutionary Computation Conference Companion ACM. pp: 559-562. DOI: 10.1145/3638530.3654111

Bilal, M.; Lipovetzky, N.; Oetomo, D.; Johal, W. (2024) “Beyond Success: Quantifying Demonstration Quality in Learning from Demonstration” 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems IEEE. pp: 5120-5127. DOI: 10.1109/IROS58592.2024.10802187

Blom, M.; Stuckey, PJ.; Teague, V.; Vukcevic, D. (2024) “Risk-Limiting Audits for Condorcet Elections” Essex, A.; Kulyk, O.; Klages-mundt, A.; Werner, S.; Goodell, G.; Bracciali, A.; Perez, D.; Gudgeon, L.; Matsuo, S. (Ed.) 8th Workshop on Advances in Secure Electronic Voting (Voting) / 4th Workshop on Coordination of Decentralized Finance (CoDecFin) / 3rd Workshop on Decentralized Finance (DeFi) / 7th Workshop on Trusted Smart Contracts (WTSC) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 79-94. DOI: 10.1007/978-3-031-48806-1_6

Izza, Y.; Ignatiev, A.; Rubin, S.; Marques-silva, J.; Stuckey, PJ. (2024) “Most General Explanations of Tree Ensembles” Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24} International Joint Conferences on Artificial Intelligence Organization. pp: 5463-5471. DOI: 10.24963/ijcai.2024/608

Izza, Y.; Ignatiev, A.; Stuckey, PJ.; Marques-silva, J. (2024) “Delivering Inflated Explanations” Wooldridge, M.; Dy, J.; Natarajan, S. (Ed.) 38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 12744-12753. DOI: 10.1609/aaai.v38i11.29170

Moradi, B.; Kirley, M.; Muñoz Acosta, MA. (2024) “Sensitivity Analysis of Surrogate-assisted Bilevel Optimisation” GECCO '24 Companion: Genetic and Evolutionary Computation Conference Companion ACM. pp: 411-414. DOI: 10.1145/3638530.3654228

Rosa, G.; Lipovetzky, N. (2024) “Count-Based Novelty Exploration in Classical Planning” 27th European Conference on Artificial Intelligence IOS Press. pp: 4181-4189. DOI: 10.3233/FAIA240990

Song, Y.; Araujo Oliveira, E.; Kirley, M.; Thompson, P. (2024) “A Case Study on University Student Online Learning Patterns Across Multidisciplinary Subjects” The International Conference on Learning Analytics & Knowledge ACM. pp: 936-942. DOI: 10.1145/3636555.3636939

Wanyan, X.; Seneviratne, S.; Shen, S.; Kirley, M. (2024) “Extending global-local view alignment for self-supervised learning with remote sensing imagery” 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) IEEE. pp: 2443-2453. DOI: 10.1109/CVPRW63382.2024.00251

Wickramaarachchi, H.; Kirley, M.; Geard, N. (2024) “Cooperative Multi-Agent Reinforcement Learning with Dynamic Target Localization: A Reward Sharing Approach” Liu, T.; Yue, L.; Webb, G.; Wang, D. (Ed.) 36th Australasian Joint Conference on Artificial Intelligence (AI) SPRINGER-VERLAG SINGAPORE PTE LTD. pp: 310-324. DOI: 10.1007/978-981-99-8391-9_25

Zhang, C.; Kemp, C.; Lipovetzky, N. (2024) “Human Goal Recognition as Bayesian Inference: Investigating the Impact of Actions, Timing, and Goal Solvability” Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1 IEEE Computer Society. pp: 2066-2074. DOI: 10.65109/hnjk3770

2023

Book chapters

Ek, A.; Stark, PB.; Stuckey, PJ.; Vukcevic, D. (2023) “Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE”. Volkamer, M.; Duenas-cid, D.; Ronne, P.; Ryan, PYA.; Budurushi, J.; Kulyk, O.; Perez, AR.; Spycher-krivonosova, I. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 35-51. DOI: 10.1007/978-3-031-43756-4_3

Journal articles

Albert, E.; De La Banda, MG.; Gomez-zamalloa, M.; Isabel, M.; Stuckey, P. (2023) “Optimal dynamic partial order reduction with context-sensitive independence and observers” Journal of Systems and Software ELSEVIER SCIENCE INC. pp: -. DOI: 10.1016/j.jss.2023.111730

Alsouly, H.; Kirley, M.; Munoz, MA. (2023) “An Instance Space Analysis of Constrained Multiobjective Optimization Problems” IEEE Transactions on Evolutionary Computation IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 1427-1439. DOI: 10.1109/TEVC.2022.3208595

Amarasinghe, PR.; Allison, L.; Stuckey, PJ.; De La Banda, MG.; Lesk, AM.; Konagurthu, AS. (2023) “Getting 'φψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles” Bioinformatics OXFORD UNIV PRESS. pp: i357-i367. DOI: 10.1093/bioinformatics/btad251

Benke, L.; Miller, T.; Papasimeon, M.; Lipovetzky, N. (2023) “Diverse, Top-k, and Top-Quality Planning Over Simulators” Frontiers in Artificial Intelligence and Applications IOS Press. pp: 231-238. DOI: 10.3233/FAIA230275

Carlson, M.; Moghadam, SK.; Harabor, DD.; Stuckey, PJ.; Ebrahimi, M. (2023) “Optimal Pathfinding on Weighted Grid Maps” Williams, B.; Chen, Y.; Neville, J. (Ed.) Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 12373-12380. DOI: 10.1609/aaai.v37i10.26458

Gerevini, AE.; Lipovetzky, N.; Percassi, F.; Saetti, A.; Serina, I. (2023) “Width-based search for multi agent privacy-preserving planning” Artificial Intelligence Elsevier BV. pp: -. DOI: 10.1016/j.artint.2023.103883

Hu, G.; Miller, T.; Lipovetzky, N. (2023) “Planning with Multi-Agent Belief Using Justified Perspectives” Proceedings of the International Conference on Automated Planning and Scheduling Association for the Advancement of Artificial Intelligence (AAAI). pp: 180-188. DOI: 10.1609/icaps.v33i1.27193

Lei, C.; Lipovetzky, N.; Ehinger, KA. (2023) “Novelty and lifted helpful actions in generalized planning” Proceedings of the International Symposium on Combinatorial Search Association for the Advancement of Artificial Intelligence (AAAI). pp: 148-152. DOI: 10.1609/socs.v16i1.27294

Singh, R.; Miller, T.; Lyons, H.; Sonenberg, L.; Velloso, E.; Vetere, F.; Howe, P.; Dourish, P. (2023) “Directive Explanations for Actionable Explainability in Machine Learning Applications” ACM Transactions on Interactive Intelligent Systems ASSOC COMPUTING MACHINERY. pp: -. DOI: 10.1145/3579363

Sonenberg, L. (2023) “Logics and collaboration” Logic Journal of IGPL Oxford University Press (OUP). pp: 1024-1046. DOI: 10.1093/jigpal/jzad006

Su, Z.; Polyvyanyy, A.; Lipovetzky, N.; Sardiña, S.; Van Beest, N. (2023) “Fast and accurate data-driven goal recognition using process mining techniques” Artificial Intelligence ELSEVIER. pp: -. DOI: 10.1016/j.artint.2023.103973

Vella, EM.; Chapman, A.; Lipovetzky, N. (2023) “Learning User Preferences for Complex Cobotic Tasks: Meta-Behaviors and Human Groups” IEEE Robotics and Automation Letters IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 4123-4130. DOI: 10.1109/LRA.2023.3279619

Vered, M.; Livni, T.; Howe, PDL.; Miller, T.; Sonenberg, L. (2023) “The effects of explanations on automation bias” Artificial Intelligence Elsevier BV. pp: 103952-103952. DOI: 10.1016/j.artint.2023.103952

Weeratunge, H.; Robe, D.; Menzel, A.; Phillips, AW.; Kirley, M.; Smith-miles, K.; Hajizadeh, E. (2023) “Bayesian coarsening: rapid tuning of polymer model parameters” Rheologica Acta Springer. pp: 477-490. DOI: 10.1007/s00397-023-01397-w

Zhang, C.; Kemp, C.; Lipovetzky, N. (2023) “Goal Recognition with Timing Information” Proceedings of the International Conference on Automated Planning and Scheduling Association for the Advancement of Artificial Intelligence (AAAI). pp: 443-451. DOI: 10.1609/icaps.v33i1.27224

Conference Papers

Amadini, R.; Stuckey, PJ. (2023) “A Regular Matching Constraint for String Variables” Elkind, E. (Ed.) 32nd International Joint Conference on Artificial Intelligence (IJCAI) IJCAI-INT JOINT CONF ARTIF INTELL. pp: 1868-1875. DOI: 10.24963/ijcai.2023/207

Blom, M.; Stuckey, PJ.; Teague, V.; Vukcevic, D. (2023) “A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections” 26th International Conference on Financial Cryptography and Data Security Springer. pp: 366-380. DOI: 10.1007/978-3-031-32415-4_25

Everest, F.; Blom, M.; Stark, PB.; Stuckey, PJ.; Teague, V.; Vukcevic, D. (2023) “Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model” 27th European Symposium on Research in Computer Security Springer. pp: 525-540. DOI: 10.1007/978-3-031-25460-4_30

Fu, S.; Dwyer, T.; Stuckey, PJ.; Wain, J.; Linossier, J. (2023) “ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration” 31st IEEE/ACM International Conference on Program Comprehension (ICPC) IEEE COMPUTER SOC. pp: 146-156. DOI: 10.1109/ICPC58990.2023.00029

Herring, D.; Kirley, M.; Yao, X. (2023) “An Iterative Machine Learning Approach to Informative Performance Reporting in Dynamic Multi-Objective Optimization” Genetic and Evolutionary Computation Conference (GECCO) ASSOC COMPUTING MACHINERY. pp: 367-370. DOI: 10.1145/3583133.3590624

Le, T.; Miller, T.; Singh, R.; Sonenberg, L. (2023) “Explaining Model Confidence Using Counterfactuals” Williams, B.; Chen, Y.; Neville, J. (Ed.) 37th AAAI Conference on Artificial Intelligence (AAAI) / 35th Conference on Innovative Applications of Artificial Intelligence / 13th Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 11856-11864. DOI: 10.1609/aaai.v37i10.2636126399

Oxenstierna, J.; Van Rensburg, L.; Stuckey, P.; Krueger, V. (2023) “Storage Assignment Using Nested Annealing and Hamming Distances” 12th International Conference on Operations Research and Enterprise Systems SCITEPRESS - Science and Technology Publications. pp: 94-105. DOI: 10.5220/0011785100003396

Shen, S.; Seneviratne, S.; Wanyan, X.; Kirley, M. (2023) “FireRisk: A Remote Sensing Dataset for Fire Risk Assessment with Benchmarks Using Supervised and Self-supervised Learning” 2023 International Conference on Digital Image Computing: Techniques and Applications (DICTA) IEEE. pp: 189-196. DOI: 10.1109/DICTA60407.2023.00034

Stuckey, P.; Santiago-burgos, E.; Santiago-tirado, F. (2023) “The fungal pathogen Cryptococcus actively manipulates maturation of its phagosome in an immune signal-dependent way.” Annual Meeting of the American-Society-for-Cell-Biology/ European-Molecular-Biology-Organisation (ASCB/EMBO) AMER SOC CELL BIOLOGY. pp: 376-377.

Stuckey, P.; Santiago-burgos, E.; Santiago-tirado, F. (2023) “The fungal pathogen Cryptococcus actively manipulates maturation of its phagosome in an immune signal-dependent way” Annual Meeting of the American-Society-for-Cell-Biology/ European-Molecular-Biology-Organisation (ASCB/EMBO) AMER SOC CELL BIOLOGY. pp: 832-833.

Su, Z.; Yu, T.; Lipovetzky, N.; Mohammadi, A.; Oetomo, D.; Polyvyanyy, A.; Sardina, S.; Tan, Y.; Van Beest, N. (2023) “Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques” 2023 5th International Conference on Process Mining Institute of Electrical and Electronics Engineers. pp: 25-32. DOI: 10.1109/ICPM60904.2023.10271945

Vadakattu, A.; Blom, M.; Pearce, A. (2023) “Strategy Extraction in Single-Agent Games” Adaptive and Learning Agents Workshop at AAMAS London. AAMAS. pp: 1-9.

Yu, J.; Ignatiev, A.; Stuckey, PJ.; Narodytska, N.; Marques-silva, J. (2023) “Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations” Williams, B.; Chen, Y.; Neville, J. (Ed.) 37th AAAI Conference on Artificial Intelligence (AAAI) / 35th Conference on Innovative Applications of Artificial Intelligence / 13th Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 4123-4131. DOI: 10.1609/aaai.v37i4.25528

Other

Ahmad, A.; Cohney, S.; Dreyfus, S.; Erfani, SM.; Harding, L.; Leckie, C.; Murray, T.; Ohrimenko, O.; Pearce, A.; Rubinstein, B. (2023) “Submission in Response to the 2023-2030 Australian Cyber Security Strategy Discussion Paper”

2022

Book chapters

Bierlee, H.; Gange, G.; Tack, G.; Dekker, JJ.; Stuckey, PJ. (2022) “Coupling Different Integer Encodings for SAT”. Schaus, P. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 44-63. DOI: 10.1007/978-3-031-08011-1_5

Li, A.; Stuckey, P.; Koenig, S.; Kumar, TKS. (2022) “A FastMap-Based Algorithm for Block Modeling”. Schaus, P. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 232-248. DOI: 10.1007/978-3-031-08011-1_16

Park, LAF.; Ganji, M.; Demirovic, E.; Chan, J.; Stuckey, P.; Bailey, J.; Leckie, C.; Kotagiri, R. (2022) “Modelling Zeros in Blockmodelling”. Gama, J.; Li, T.; Yu, Y.; Chen, E.; Zheng, Y.; Teng, F. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 187-198. DOI: 10.1007/978-3-031-05936-0_15

Stuckey, PJ.; Tack, G. (2022) “Enumerated Types and Type Extensions for MiniZinc”. Schaus, P. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 374-389. DOI: 10.1007/978-3-031-08011-1_25

Journal articles

Chan, S-H.; Li, J.; Gange, G.; Harabor, D.; Stuckey, PJ.; Koenig, S. (2022) “Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 9313-9322. DOI: 10.1609/aaai.v36i9.21162

Dac, HH.; Gonzalez Viejo, C.; Lipovetzky, N.; Tongson, E.; Dunshea, FR.; Fuentes, S. (2022) “Livestock Identification Using Deep Learning for Traceability” Sensors MDPI. pp: -. DOI: 10.3390/s22218256

Duc, HN.; Rahman, MM.; Trieu, T.; Azzi, M.; Riley, M.; Koh, T.; Liu, S.; Bandara, K.; Krishnan, V.; Yang, Y.; Silver, J.; Kirley, M.; White, S.; Capnerhurst, J.; Kirkwood, J. (2022) “Study of Planetary Boundary Layer, Air Pollution, Air Quality Models and Aerosol Transport Using Ceilometers in New South Wales (NSW), Australia” Atmosphere MDPI. pp: -. DOI: 10.3390/atmos13020176

Fuentes, S.; Gonzalez Viejo, C.; Tongson, E.; Dunshea, FR.; Dac, HH.; Lipovetzky, N. (2022) “Animal biometric assessment using non-invasive computer vision and machine learning are good predictors of dairy cows age and welfare: The future of automated veterinary support systems” Journal of Agriculture and Food Research ELSEVIER. pp: -. DOI: 10.1016/j.jafr.2022.100388

Grossman, I.; Bandara, K.; Wilson, T.; Kirley, M. (2022) “Can machine learning improve small area population forecasts? A forecast combination approach” Computers, Environment and Urban Systems Elsevier. pp: -. DOI: 10.1016/j.compenvurbsys.2022.101806

Hu, G.; Miller, T.; Lipovetzky, N. (2022) “Planning with Perspectives – Decomposing Epistemic Planning using Functional STRIPS” Journal of Artificial Intelligence Research AI ACCESS FOUNDATION. pp: 489-539. DOI: 10.1613/jair.1.13446

Ignatiev, A.; Izza, Y.; Stuckey, PJ.; Marques-silva, J. (2022) “Using MaxSAT for Efficient Explanations of Tree Ensembles” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 3776-3785. DOI: 10.1609/aaai.v36i4.20292

Lam, E.; Desaulniers, G.; Stuckey, PJ. (2022) “Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations” Computers & Operations Research PERGAMON-ELSEVIER SCIENCE LTD. pp: -. DOI: 10.1016/j.cor.2022.105870

Lam, E.; Le Bodic, P.; Harabor, D.; Stuckey, PJ. (2022) “Branch-and-cut-and-price for multi-agent path finding” Computers & Operations Research PERGAMON-ELSEVIER SCIENCE LTD. pp: -. DOI: 10.1016/j.cor.2022.105809

Li, J.; Chen, Z.; Harabor, D.; Stuckey, PJ.; Koenig, S. (2022) “MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 10256-10265. DOI: 10.1609/aaai.v36i9.21266

Muise, C.; Belle, V.; Felli, P.; Mcilraith, S.; Miller, T.; Pearce, AR.; Sonenberg, L. (2022) “Efficient multi-agent epistemic planning: Teaching planners about nested belief” Artificial Intelligence ELSEVIER. pp: -. DOI: 10.1016/j.artint.2021.103605

Muñoz, MA.; Kirley, M.; Smith-miles, K. (2022) “Analyzing randomness effects on the reliability of exploratory landscape analysis” Natural Computing SPRINGER. pp: 131-154. DOI: 10.1007/s11047-021-09847-1

Rajapaksa, S.; Sumanaweera, D.; Lesk, AM.; Allison, L.; Stuckey, PJ.; Garcia De La Banda, M.; Abramson, D.; Konagurthu, AS. (2022) “On the reliability and the limits of inference of amino acid sequence alignments” Bioinformatics OXFORD UNIV PRESS. pp: 255-263. DOI: 10.1093/bioinformatics/btac247

Shen, B.; Cheema, MA.; Harabor, DD.; Stuckey, PJ. (2022) “Fast optimal and bounded suboptimal Euclidean pathfinding” Artificial Intelligence ELSEVIER. pp: -. DOI: 10.1016/j.artint.2021.103624

Sun, Y.; Wang, S.; Shen, Y.; Li, X.; Ernst, AT.; Kirley, M. (2022) “Boosting ant colony optimization via solution prediction and machine learning” Computers & Operations Research PERGAMON-ELSEVIER SCIENCE LTD. pp: -. DOI: 10.1016/j.cor.2022.105769

Conference Papers

Armas Cervantes, A.; Tan, L.; Ko, B.; Luz Tortorella, G.; Palmer, M.; Kirley, M. (2022) “Statistical Modelling for Simulating and Interpreting an Egg Packaging Process for Giveaway Mitigation” Australasian Conference on Information Systems https://aisel.aisnet.org/acis2022/70. AIS.

Guler, AU.; Demirović, E.; Chan, J.; Bailey, J.; Leckie, C.; Stuckey, PJ. (2022) “A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems” 36th AAAI Conference on Artificial Intelligence / 34th Conference on Innovative Applications of Artificial Intelligence / 12th Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 3749-3757. DOI: 10.1609/aaai.v36i4.20289

Herring, D.; Kirley, M.; Yao, X. (2022) “Reproducibility and baseline reporting for dynamic multi-objective benchmark problems” GECCO '22: Genetic and Evolutionary Computation Conference New YorkNYUnited States. Association for Computing Machinery. pp: 529-537. DOI: 10.1145/3512290.3528791

Herring, D.; Pakravan, D.; Kirley, M. (2022) “Analysing Multiobjective Optimization Using Evolutionary Path Length Correlation” Long, G.; Yu, X.; Wang, S. (Ed.) 34th Australasian Joint Conference on Artificial Intelligence (AI) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 467-479. DOI: 10.1007/978-3-030-97546-3_38

Su, Z.; Polyvyanyy, A.; Lipovetzky, N.; Sardina, S.; Van Beest, N. (2022) “GRACE: A Simulator for Continuous Goal Recognition over Changing Environments” De Giacomo, G.; Guzzo, A.; Montali, M.; Limonad, L.; Fournier, F.; Chakraborti, T. (Ed.) PMAI 2022: First Workshop on Process Management in the AI era IJCAI. pp: 37-48.

2021

Book chapters

Gange, G.; Navas, JA.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2021) “Disjunctive Interval Analysis”. Dragoi, C.; Mukherjee, S.; Namjoshi, K. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 144-165. DOI: 10.1007/978-3-030-88806-0_7

Kafle, B.; Gange, G.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2021) “Lightweight Nontermination Inference with CHCs”. Calinescu, R.; Pasareanu, CS. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 383-402. DOI: 10.1007/978-3-030-92124-8_22

Masters, P.; Smith, W.; Sonenberg, L.; Kirley, M. (2021) “Characterising Deception in AI: A Survey”. Communications in Computer and Information Science. Springer International Publishing. pp: 3-16. DOI: 10.1007/978-3-030-91779-1_1

Smith, W.; Kirley, M.; Sonenberg, L.; Dignum, F. (2021) “The Role of Environments in Affording Deceptive Behaviour: Some Preliminary Insights from Stage Magic”. Communications in Computer and Information Science. Springer International Publishing. pp: 17-26. DOI: 10.1007/978-3-030-91779-1_2

Journal articles

Alshehri, A.; Miller, T.; Sonenberg, L. (2021) “Modeling communication of collaborative multiagent system under epistemic planning” International Journal of Intelligent Systems WILEY. pp: 5959-5980. DOI: 10.1002/int.22536

Boyarski, E.; Felner, A.; Le Bodic, P.; Harabor, D.; Stuckey, PJ.; Koenig, S. (2021) “f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based Search” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 12241-12248. DOI: 10.1609/aaai.v35i14.17453

Chen, Z.; Alonso-mora, J.; Bai, X.; Harabor, DD.; Stuckey, PJ. (2021) “Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery” IEEE Robotics and Automation Letters IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 5816-5823. DOI: 10.1109/LRA.2021.3074883

Chen, Z.; Harabor, D.; Li, J.; Stuckey, PJ. (2021) “Symmetry Breaking for k-Robust Multi-Agent Path Finding” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 12267-12274. DOI: 10.1609/aaai.v35i14.17456

Demirovic, E.; Stuckey, PJ. (2021) “Optimal Decision Trees for Nonlinear Metrics” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 3733-3741. DOI: 10.1609/aaai.v35i5.16490

Devriendt, J.; Gocht, S.; Demirovic, E.; Nordstroem, J.; Stuckey, PJ. (2021) “Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 3750-3758. DOI: 10.1609/aaai.v35i5.16492

Fitzpatrick, G.; Lipovetzky, N.; Papasimeon, M.; Ramirez, M.; Vered, M. (2021) “Behaviour Recognition with Kinodynamic Planning Over Continuous Domains” Frontiers in Artificial Intelligence FRONTIERS MEDIA SA. pp: -. DOI: 10.3389/frai.2021.717003

Fuentes, S.; Viejo, CG.; Tongson, E.; Lipovetzky, N.; Dunshea, FR. (2021) “Biometric physiological responses from dairy cows measured by visible remote sensing are good predictors of milk productivity and quality through artificial intelligence” Sensors MDPI. pp: -. DOI: 10.3390/s21206844

Gange, G.; Ma, Z.; Navas, JA.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2021) “A Fresh Look at Zones and Octagons” ACM Transactions on Programming Languages and Systems ASSOC COMPUTING MACHINERY. pp: -. DOI: 10.1145/3457885

Ignatiev, A.; Lam, E.; Stuckey, PJ.; Marques-silva, J. (2021) “A Scalable Two Stage Approach to Computing Optimal Decision Sets” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 3806-3814. DOI: 10.1609/aaai.v35i5.16498

Kafle, B.; Gange, G.; Stuckey, PJ.; Schachte, P.; Sondergaard, H. (2021) “Transformation-Enabled Precondition Inference” Theory and Practice of Logic Programming CAMBRIDGE UNIV PRESS. pp: 700-716. DOI: 10.1017/S1471068421000272

Konagurthu, AS.; Subramanian, R.; Allison, L.; Abramson, D.; Stuckey, PJ.; Garcia De La Banda, M.; Lesk, AM. (2021) “Universal Architectural Concepts Underlying Protein Folding Patterns” Frontiers in Molecular Biosciences FRONTIERS MEDIA SA. pp: -. DOI: 10.3389/fmolb.2020.612920

Li, J.; Harabor, D.; Stuckey, PJ.; Ma, H.; Gange, G.; Koenig, S. (2021) “Pairwise symmetry reasoning for multi-agent path finding search” Artificial Intelligence ELSEVIER. pp: -. DOI: 10.1016/j.artint.2021.103574

Masters, P.; Smith, W.; Kirley, M. (2021) “Extended Goal Recognition: Lessons from Magic” Frontiers in Artificial Intelligence FRONTIERS MEDIA SA. pp: -. DOI: 10.3389/frai.2021.730990

Muñoz, MA.; Kirley, M. (2021) “Sampling effects on algorithm selection for continuous black-box optimization” Algorithms MDPI. pp: -. DOI: 10.3390/a14010019

Yu, J.; Ignatiev, A.; Stuckey, PJ.; Le Bodic, P. (2021) “Learning Optimal Decision Sets and Lists with SAT” Journal of Artificial Intelligence Research AI ACCESS FOUNDATION. pp: 1251-1279. DOI: 10.1613/jair.1.12719

Conference Papers

Amadini, R.; Gange, G.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2021) “Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study” Fernandez, M. (Ed.) 30th International Conference on Logic-Based Program Synthesis and Transformation (LOPSTR) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 192-209. DOI: 10.1007/978-3-030-68446-4_10

Blom, M.; Budurushi, J.; Rivest, RL.; Stark, PB.; Stuckey, PJ.; Teague, V.; Vukcevic, D. (2021) “Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections” Krimmer, R.; Volkamer, M.; Duenascid, D.; Kulyk, O.; Ronne, P.; Solvak, M.; Germann, M. (Ed.) 6th International Joint Conference on Electronic Voting (E-Vote-ID) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 47-62. DOI: 10.1007/978-3-030-86942-7_4

Blom, M.; Stark, PB.; Stuckey, PJ.; Teague, V.; Vukcevic, D. (2021) “Auditing Hamiltonian Elections” Bernhard, M.; Bracciali, A.; Gudgeon, L.; Haines, T.; Klagesmundt, A.; Matsuo, S.; Perez, D.; Sala, M.; Werner, S. (Ed.) Conference on Financial Cryptography and Data Security (FC) SPRINGER-VERLAG BERLIN. pp: 235-250. DOI: 10.1007/978-3-662-63958-0_21

Ignatiev, A.; Marques-silva, J.; Narodytska, N.; Stuckey, PJ. (2021) “Reasoning-Based Learning of Interpretable ML Models” Zhou, ZH. (Ed.) 30th International Joint Conference on Artificial Intelligence (IJCAI) IJCAI-INT JOINT CONF ARTIF INTELL. pp: 4458-4465. DOI: 10.24963/ijcai.2021/608

Lei, C.; Lipovetzky, N. (2021) “Width-Based Backward Search” Association for the Advancement of Artificial Intelligence (AAAI). pp: 219-224. DOI: 10.1609/icaps.v31i1.15965

Li, J.; Chen, Z.; Harabor, D.; Stuckey, PJ.; Koenig, S. (2021) “Anytime Multi-Agent Path Finding via Large Neighborhood Search” Zhou, ZH. (Ed.) 30th International Joint Conference on Artificial Intelligence (IJCAI) IJCAI-INT JOINT CONF ARTIF INTELL. pp: 4127-4135. DOI: 10.24963/ijcai.2021/568

Li, J.; Chen, Z.; Harabor, D.; Stuckey, PJ.; Koenig, S. (2021) “Anytime Multi-Agent Path Finding via Large Neighborhood Search” Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1 IEEE Computer Society. pp: 1581-1583. DOI: 10.65109/rrxp4543

Lipovetzky, N. (2021) “Width-Based Algorithms for Common Problems in Control, Planning and Reinforcement Learning” Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21} International Joint Conferences on Artificial Intelligence Organization. pp: 4956-4960. DOI: 10.24963/ijcai.2021/702

Lipovetzky, N. (2021) “Planning for Novelty: Width-Based Algorithms for Common Problems in Control, Planning and Reinforcement Learning” Zhou, ZH. (Ed.) 30th International Joint Conference on Artificial Intelligence (IJCAI) IJCAI. pp: 4956-4960. DOI: 10.24963/ijcai.2021/702

Masters, P.; Kirley, M.; Smith, W. (2021) “Extended goal recognition: A planning-based model for strategic deception” 20th International Conference on Autonomous Agents and MultiAgent Systems IFAAMAS. pp: 871-879.

O'toole, S.; Lipovetzky, N.; Ramirez, M.; Pearce, A. (2021) “Width-based Lookaheads with Learnt Base Policies and Heuristics Over the Atari-2600 Benchmark” Ranzato, M.; Beygelzimer, A.; Nguyen, K.; Liang, P.; Vaughan, JW.; Dauphin, Y. (Ed.) 35th Conference on Neural Information Processing Systems NeurIPS. pp: 26536-26547.

Rajapaksa, S.; Sumanaweera, D.; De La Banda, MG.; Stuckey, P.; Abramson, D.; Allison, L.; Lesk, A.; Konagurthu, A. (2021) “On identifying statistical redundancy at the level of amino acid subsequences” 2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) IEEE. pp: 64-71. DOI: 10.1109/bibm52615.2021.9669282

Singh, A.; Lipovetzky, N.; Ramirez, M.; Segovia-aguas, J. (2021) “Approximate Novelty Search” Association for the Advancement of Artificial Intelligence (AAAI). pp: 349-357. DOI: 10.1609/icaps.v31i1.15980

Other

Achrekar, A.; Ahmad, A.; Chang, S.; Cohney, S.; Dreyfus, S.; Leckie, C.; Murray, T.; Paterson, J.; Pham, VT.; Sonenberg, E. (2021) “Strengthening Australia’s cybersecurity regulations and incentives: Response to the Department of Home Affairs Discussion Paper” Online. pp: -.

2020

Book chapters

Amadini, R.; Gange, G.; Schachte, P.; Sondergaard, H.; Stuckey, P. (2020) “Abstract interpretation, symbolic execution and constraints”. De Boer, F.; Mauro, J. (Ed.) Recent Developments in the Design and Implementation of Programming Languages. Germany. Schloss Dagstuhl-Leibniz-Zentrum für Informatik. pp: 7:1-7:19. DOI: 10.4230/OASIcs.Gabbrielli.7

Gange, G.; Berg, J.; Demirovic, E.; Stuckey, PJ. (2020) “Core-Guided and Core-Boosted Search for CP”. Hebrard, E.; Musliu, N. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 205-221. DOI: 10.1007/978-3-030-58942-4_14

Gok, YS.; Guimarans, D.; Stuckey, PJ.; Tomasella, M.; Ozturk, C. (2020) “Robust Resource Planning for Aircraft Ground Operations”. Hebrard, E.; Musliu, N. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 222-238. DOI: 10.1007/978-3-030-58942-4_15

Muise, C.; Lipovetzky, N. (2020) “KEPS book: Planning.domains”. Knowledge Engineering Tools and Techniques for AI Planning. Springer International Publishing. pp: 91-105. DOI: 10.1007/978-3-030-38561-3_5

Journal articles

Amadini, R.; Gange, G.; Stuckey, PJ. (2020) “Dashed strings for string constraint solving” Artificial Intelligence Elsevier. pp: -. DOI: 10.1016/j.artint.2020.103368

Belov, G.; Boland, NL.; Savelsbergh, MWP.; Stuckey, PJ. (2020) “Logistics optimization for a coal supply chain” Journal of Heuristics SPRINGER. pp: 269-300. DOI: 10.1007/s10732-019-09435-8

Blom, M.; Shekh, S.; Gossink, D.; Miller, T.; Pearce, AR. (2020) “Inventory routing for defense: Moving supplies in adversarial and partially observable environments” Journal of Defense Modeling and Simulation SAGE PUBLICATIONS INC. pp: 55-81. DOI: 10.1177/1548512918798056

Fuentes, S.; Summerson, V.; Viejo, CG.; Tongson, E.; Lipovetzky, N.; Wilkinson, KL.; Szeto, C.; Unnithan, RR. (2020) “Assessment of Smoke Contamination in Grapevine Berries and Taint in Wines Due to Bushfires Using a Low-Cost E-Nose and an Artificial Intelligence Approach” Sensors MDPI AG. pp: -. DOI: 10.3390/s20185108

Ingmar, L.; De La Banda, MG.; Stuckey, PJ.; Tack, G. (2020) “Modelling Diversity of Solutions” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 1528-1535. DOI: 10.1609/aaai.v34i02.5512

Keogh, K.; Sonenberg, L. (2020) “Designing multi-agent system organisations for flexible runtime behaviour” Applied Sciences MDPI. pp: -. DOI: 10.3390/APP10155335

Lam, E.; Gange, G.; Stuckey, PJ.; Van Hentenryck, P.; Dekker, JJ. (2020) “Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check” Operations Research Forum Springer Science and Business Media LLC. pp: 22-. DOI: 10.1007/s43069-020-00023-2

Lesk, AM.; Konagurthu, AS.; Allison, L.; De La Banda, MG.; Stuckey, PJ.; Abramson, D. (2020) “Computer modeling of a potential agent againstSARS-Cov-2 (COVID-19) protease” Proteins Structure Function and Bioinformatics WILEY. pp: 1557-1558. DOI: 10.1002/prot.25980

Madumal, P.; Miller, T.; Sonenberg, L.; Vetere, F. (2020) “Explainable reinforcement learning through a causal lens” Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 2493-2500. DOI: 10.1609/aaai.v34i03.5631

Singh, R.; Miller, T.; Newn, J.; Velloso, E.; Vetere, F.; Sonenberg, L. (2020) “Combining gaze and AI planning for online human intention recognition” Artificial Intelligence Elsevier. pp: -. DOI: 10.1016/j.artint.2020.103275

Vered, M.; Howe, P.; Miller, T.; Sonenberg, L.; Velloso, E. (2020) “Demand-Driven Transparency for Monitoring Intelligent Agents” IEEE Transactions on Human-Machine Systems Institute of Electrical and Electronics Engineers (IEEE). pp: 264-275. DOI: 10.1109/thms.2020.2988859

Winter, F.; Muslin, N.; Stuckey, PJ. (2020) “Explaining Propagators for String Edit Distance Constraints” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 1676-1683. DOI: 10.1609/aaai.v34i02.5530

Conference Papers

Amadini, R.; Gange, G.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2020) “String constraint solving: past, present and future” Degiacomo, G.; Catala, A.; Dilkina, B.; Milano, M.; Barro, S.; Bugarin, A.; Lang, J. (Ed.) 24th European Conference on Artificial Intelligence University of Santiago de Compostela. pp: 2875-2876. DOI: 10.3233/FAIA200431

Amadini, R.; Gange, G.; Stuckey, PJ. (2020) “Dashed Strings and the Replace(-all) Constraint” International Conference on Principles and Practice of Constraint Programming Springer International Publishing. pp: 3-20. DOI: 10.1007/978-3-030-58475-7_1

Björdal, G.; Flener, P.; Pearson, J.; Stuckey, P.; Tack, G. (2020) “Solving Satisfaction Problems Using Large-Neighbourhood Search” CP: International Conference on Principles and Practice of Constraint Programming Springer. pp: 55-71. DOI: 10.1007/978-3-030-58475-7_4

Blom, M.; Conway, A.; Stuckey, PJ.; Teague, V. (2020) “Shifting the Balance-of-Power in STV Elections” Krimmer, R.; Volkamer, M.; Beckert, B.; Kusters, R.; Kulyk, O.; Duenascid, D.; Solvak, M. (Ed.) E-Vote-ID: International Joint Conference on Electronic Voting Springer International Publishing. pp: 1-18. DOI: 10.1007/978-3-030-60347-2_1

Blom, M.; Conway, A.; Stuckey, PJ.; Teague, VJ. (2020) “Did that lost ballot box cost me a seat? Computing manipulations of STV elections” 34th AAAI Conference on Artificial Intelligence / 32nd Innovative Applications of Artificial Intelligence Conference / 10th AAAI Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 13235-13240. DOI: 10.1609/aaai.v34i08.7029

Blom, M.; Conway, A.; Stuckey, PJ.; Teague, VJ. (2020) “Did that lost ballot box cost me a seat? computing manipulations of stv elections” pp: 13235-13240.

Blom, M.; Conway, A.; Stuckey, PJ.; Teague, VJ.; Vukcevic, D. (2020) “Random Errors Are Not Necessarily Politically Neutral” Krimmer, R.; Volkamer, M.; Beckert, B.; Kusters, R.; Kulyk, O.; Duenascid, D.; Solvak, M. (Ed.) E-Vote-ID: International Joint Conference on Electronic Voting Springer International Publishing. pp: 19-35. DOI: 10.1007/978-3-030-60347-2_2

Blom, M.; Stuckey, PJ.; Teague, VJ. (2020) “Election Manipulation 100” International Conference on Financial Cryptography and Data Security Springer Link. pp: 211-225. DOI: 10.1007/978-3-030-43725-1_15

Boyarski, E.; Felner, A.; Harabor, D.; Stuckey, PJ.; Cohen, L.; Li, J.; Koenig, S. (2020) “Iterative-Deepening Conflict-Based Search” Bessiere, C. (Ed.) 29th International Joint Conference on Artificial Intelligence IJCAI-INT JOINT CONF ARTIF INTELL. pp: 4084-4090. DOI: 10.24963/ijcai.2020/565

Chakraborty, T.; Toosi, AN.; Kopp, C.; Stuckey, P.; Mahet, J. (2020) “Joint Host-Network Power Scaling with Minimizing VM Migration in SDN-enabled Cloud Data Centers” 13th IEEE/ACM International Conference on Utility and Cloud Computing (UCC) IEEE. pp: 1-12. DOI: 10.1109/UCC48980.2020.00020

Chan, M.; Chun, C.; Fung, H.; Lee, JHM.; Stuckey, PJ. (2020) “Teaching Constraint Programming Using Fable-Based Learning” 34th AAAI Conference on Artificial Intelligence / 32nd Innovative Applications of Artificial Intelligence Conference / 10th AAAI Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 13423-13430.

Demirović, E.; Stuckey, PJ.; Bailey, J.; Chan, J.; Leckie, C.; Ramamohanarao, K.; Guns, T. (2020) “Dynamic programming for predict+optimise” 34th AAAI Conference on Artificial Intelligence / 32nd Innovative Applications of Artificial Intelligence Conference / 10th AAAI Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 1444-1451. DOI: 10.1609/aaai.v34i02.5502

Ek, A.; De La Banda, MG.; Schutt, A.; Stuckey, PJ.; Tack, G. (2020) “Modelling and solving online optimisation problems” 34th AAAI Conference on Artificial Intelligence / 32nd Innovative Applications of Artificial Intelligence Conference / 10th AAAI Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 1477-1485. DOI: 10.1609/aaai.v34i02.5506

Ek, A.; Garcia De La Banda, M.; Schutt, A.; Stuckey, P.; Tack, G. (2020) “Aggregation and Garbage Collection for Online Optimization” CP: International Conference on Principles and Practice of Constraint Programming Springer. pp: 231-247. DOI: 10.1007/978-3-030-58475-7_14

Gange, G.; Stuckey, P. (2020) “The Argmax Constraint” CP: International Conference on Principles and Practice of Constraint Programming Springer. pp: 323-337. DOI: 10.1007/978-3-030-58475-7_19

Herring, D.; Kirley, M.; Yao, X. (2020) “Responsive Multi-population Models for the Dynamic Travelling Thief Problem” IEEE Symposium Series on Computational Intelligence (IEEE SSCI) IEEE. pp: 297-304. DOI: 10.1109/SSCI47803.2020.9308388

Khorshidi, HA.; Kirley, M.; Aickelin, U. (2020) “Machine learning with incomplete datasets using multi-objective optimization models” 2020 International Joint Conference on Neural Networks (IJCNN) IEEE. pp: -. DOI: 10.1109/ijcnn48605.2020.9206742

Lam, E.; De Nijs, F.; Stuckey, P.; Azuatalam, D.; Liebman, A. (2020) “Large Neighborhood Search for Temperature Control with Demand Response” CP: International Conference on Principles and Practice of Constraint Programming Springer. pp: 603-619. DOI: 10.1007/978-3-030-58475-7_35

Lam, E.; Stuckey, P.; Koenig, S.; Kumar, TKS. (2020) “Exact Approaches to the Multi-agent Collective Construction Problem” CP: International Conference on Principles and Practice of Constraint Programming Springer. pp: 743-758. DOI: 10.1007/978-3-030-58475-7_43

Mandi, J.; Demirovic, E.; Stuckey, PJ.; Guns, T. (2020) “Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems” 34th AAAI Conference on Artificial Intelligence / 32nd Innovative Applications of Artificial Intelligence Conference / 10th AAAI Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 1603-1610. DOI: 10.1609/aaai.v34i02.5521

Polyvyanyy, A.; Su, Z.; Lipovetzky, N.; Sardina, S. (2020) “Goal Recognition Using Off-The-Shelf Process Mining Techniques” 19th International Conference on Autonomous Agents and MultiAgent Systems ACM. pp: 1072-1080.

Polyvyanyy, A.; Su, Z.; Lipovetzky, N.; Sardina, S. (2020) “Goal Recognition Using Off-The-Shelf Process Mining Techniques” 19th International Conference on Autonomous Agents and MultiAgent Systems ACM. pp: 1072-1080. DOI: 10.65109/edig3352

Ramteke, R.; Stuckey, PJ.; Chan, J.; Ramamohanarao, K.; Bailey, J.; Leckie, C.; Demirovic, E. (2020) “Improving Single and Multi-View Blockmodelling by Algebraic Simplification” 2020 International Joint Conference on Neural Networks (IJCNN) IEEE. pp: -. DOI: 10.1109/IJCNN48605.2020.9207065

Say, B.; Devriendt, J.; Nordström, J.; Stuckey, P. (2020) “Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models” CP: International Conference on Principles and Practice of Constraint Programming Springer. pp: 917-934. DOI: 10.1007/978-3-030-58475-7_53

Shen, B.; Cheema, MA.; Harabor, DD.; Stuckey, PJ. (2020) “Euclidean Pathfinding with Compressed Path Databases” Bessiere, C. (Ed.) 29th International Joint Conference on Artificial Intelligence IJCAI-INT JOINT CONF ARTIF INTELL. pp: 4229-4235. DOI: 10.24963/ijcai.2020/584

Sun, Y.; Wang, W.; Kirley, M.; Li, X.; Chan, J. (2020) “Revisiting probability distribution assumptions for information theoretic feature selection” 34th AAAI Conference on Artificial Intelligence / 32nd Innovative Applications of Artificial Intelligence Conference / 10th AAAI Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 5908-5915. DOI: 10.1609/aaai.v34i04.6050

Teichteil-königsbuch, F.; Ramirez, M.; Lipovetzky, N. (2020) “Boundary extension features for width-based planning with simulators on continuous-state domains” Bessiere, C. (Ed.) 29th International Joint Conference on Artificial Intelligence IJCAI-INT JOINT CONF ARTIF INTELL. pp: 4183-4189. DOI: 10.24963/ijcai.2020/578

Yu, J.; Ignatiev, A.; Stuckey, P.; Le Bodic, P. (2020) “Computing Optimal Decision Sets with SAT” CP: International Conference on Principles and Practice of Constraint Programming Springer. pp: 952-970. DOI: 10.1007/978-3-030-58475-7_55

2019

Books

Haslum, P.; Lipovetzky, N.; Magazzeni, D.; Muise, C. (2019) “An Introduction to the Planning Domain Definition Language”. USA. Morgan & Claypool Publishers. pp: 1-169. DOI: 10.2200/S00900ED2V01Y201902AIM042

Haslum, P.; Lipovetzky, N.; Magazzeni, D.; Muise, C. (2019) “An Introduction to the Planning Domain Definition Language”. Springer International Publishing. DOI: 10.1007/978-3-031-01584-7

Book chapters

Berg, J.; Demirovic, E.; Stuckey, PJ. (2019) “Core-Boosted Linear Search for Incomplete MaxSAT”. Rousseau, LM.; Stergiou, K. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 39-56. DOI: 10.1007/978-3-030-19212-9_3

Berthold, T.; Stuckey, PJ.; Witzig, J. (2019) “Local Rapid Learning for Integer Programs”. Rousseau, LM.; Stergiou, K. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 67-83. DOI: 10.1007/978-3-030-19212-9_5

Betts, JM.; Dowe, DL.; Guimarans, D.; Harabor, DD.; Kumarage, H.; Stuckey, PJ.; Wybrow, M. (2019) “Peak-Hour Rail Demand Shifting with Discrete Optimisation”. Schiex, T.; Degivry, S. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 748-763. DOI: 10.1007/978-3-030-30048-7_43

Bjordal, G.; Flener, P.; Pearson, J.; Stuckey, PJ. (2019) “Exploring Declarative Local-Search Neighbourhoods with Constraint Programming”. Schiex, T.; Degivry, S. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 37-53. DOI: 10.1007/978-3-030-30048-7_3

Demirovic, E.; Stuckey, PJ. (2019) “Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search”. Schiex, T.; Degivry, S. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 177-194. DOI: 10.1007/978-3-030-30048-7_11

Stuckey, PJ.; Tack, G. (2019) “Compiling Conditional Constraints”. Schiex, T.; Degivry, S. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 384-400. DOI: 10.1007/978-3-030-30048-7_23

Yang, M.; Schutt, A.; Stuckey, PJ. (2019) “Time Table Edge Finding with Energy Variables”. Rousseau, LM.; Stergiou, K. (Ed.) Lecture Notes in Computer Science. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 633-642. DOI: 10.1007/978-3-030-19212-9_42

Journal articles

Acay, DL.; Sonenberg, L.; Tidhar, G. (2019) “Formalizing tool use in intelligent environments” Journal of Ambient Intelligence and Humanized Computing SPRINGER HEIDELBERG. pp: 1597-1610. DOI: 10.1007/s12652-018-0755-x

Blom, M.; Pearce, AR.; Stuckey, PJ. (2019) “Short-term planning for open pit mines: a review” International Journal of Mining, Reclamation and Environment TAYLOR & FRANCIS LTD. pp: 318-339. DOI: 10.1080/17480930.2018.1448248

Blom, M.; Stuckey, PJ.; Teague, VJ. (2019) “Toward Computing the Margin of Victory in Single Transferable Vote Elections” INFORMS Journal on Computing Maryland, United States. Institute for Operations Research and the Management Sciences (I N F O R M S). pp: 636-653. DOI: 10.1287/ijoc.2018.0853

Codish, M.; Miller, A.; Prosser, P.; Stuckey, PJ. (2019) “Constraints for symmetry breaking in graph representation” Constraints SPRINGER. pp: 1-24. DOI: 10.1007/s10601-018-9294-5

Cohen, PR.; Grosz, BJ.; Sidner, CL.; Sonenberg, L. (2019) “The Case for Teamwork” AI Magazine AMER ASSOC ARTIFICIAL INTELL. pp: 3-3. DOI: 10.1609/aimag.v40i3.4814

De Uña, D.; Gange, G.; Schachte, P.; Stuckey, PJ. (2019) “Compiling CP subproblems to MDDs and d-DNNFs” Constraints SPRINGER. pp: 56-93. DOI: 10.1007/s10601-018-9297-2

Konagurthu, AS.; Subramanian, R.; Allison, L.; Abramson, D.; De La Banda, MG.; Stuckey, PJ.; Lesk, AM. (2019) “Information-Theoretic Inference of an Optimal Dictionary of Protein Supersecondary Structures” Kister, AE. (Ed.) Methods in Molecular Biology HUMANA PRESS INC. pp: 123-131. DOI: 10.1007/978-1-4939-9161-7_6

Li, J.; Harabor, D.; Stuckey, PJ.; Ma, H.; Koenig, S. (2019) “Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 6087-6095. DOI: 10.1609/aaai.v33i01.33016087

Lipovetzky, N.; Sardina, S. (2019) “PacMan capture the flag in AI courses” IEEE Transactions on Games IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 296-299. DOI: 10.1109/TG.2018.2871185

Ma, H.; Harabor, D.; Stuckey, PJ.; Li, J.; Koenig, S. (2019) “Searching with Consistent Prioritization for Multi-Agent Path Finding” Proceedings of the AAAI Conference on Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 7643-7650. DOI: 10.1609/aaai.v33i01.33017643

Shank, DB.; Kashima, Y.; Peters, K.; Li, Y.; Robins, G.; Kirley, M. (2019) “Norm talk and human cooperation: Can we talk ourselves into cooperation?” Journal of Personality and Social Psychology AMER PSYCHOLOGICAL ASSOC. pp: 99-123. DOI: 10.1037/pspi0000163

Wang, W.; Søndergaard, H.; Stuckey, PJ. (2019) “Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation” Journal of Automated Reasoning Dordrecht, Netherlands. Springer Netherlands. pp: 723-762. DOI: 10.1007/s10817-018-9493-1

Conference Papers

Albert, E.; Banda, MGDL.; Gomez-zamalloa, M.; Isabel, M.; Stuckey, PJ. (2019) “Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers” Zhang, DM.; Moller, A. (Ed.) 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) ASSOC COMPUTING MACHINERY. pp: 352-362. DOI: 10.1145/3293882.3330565

Amadini, R.; Andrlon, M.; Gange, G.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2019) “Constraint Programming for Dynamic Symbolic Execution of JavaScript” Rousseau, LM.; Stergiou, K. (Ed.) CPAIOR: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research Heidelberg, Germany. Springer. pp: 1-19. DOI: 10.1007/978-3-030-19212-9_1

Andrlon, M.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2019) “Optimal Bounds for Floating-Point Addition in Constant Time” Takagi, N.; Boldo, S.; Langhammer, M. (Ed.) 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) IEEE. pp: 159-166. DOI: 10.1109/arith.2019.00038

Blom, M.; Stuckey, PJ.; Teague, VJ. (2019) “Election manipulation with partial information” Krimmer, R.; Volkamer, M.; Cortier, V.; Beckert, B.; Kusters, R.; Serdult, U.; Duenascid, D. (Ed.) E-Vote-ID: International Joint Conference on Electronic Voting Springer. pp: 32-49. DOI: 10.1007/978-3-030-30625-0_3

Bono, M.; Gerevini, AE.; Harabor, DD.; Stuckey, PJ. (2019) “Path Planning with CPD Heuristics” Kraus, S. (Ed.) 28th International Joint Conference on Artificial Intelligence IJCAI-INT JOINT CONF ARTIF INTELL. pp: 1199-1205. DOI: 10.24963/ijcai.2019/167

Chen, G.; Ding, Y.; Edwards, H.; Chau, CH.; Hou, S.; Johnson, G.; Syed, MS.; Tang, H.; Wu, Y.; Yan, Y.; Tidhar, G.; Lipovetzky, N. (2019) “Planimation” 29th International Conference on Automated Planning and Scheduling ICAPS.

Demirović, E.; Stuckey, PJ.; Bailey, J.; Chan, J.; Leckie, C.; Ramamohanarao, K.; Guns, T. (2019) “An Investigation into PredictionÂ�Â�Optimisation for the Knapsack Problem” Rousseau, LM.; Stergiou, K. (Ed.) CPAIOR: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research Switzerland. Springer. pp: 241-257. DOI: 10.1007/978-3-030-19212-9_16

Demirović, E.; Stuckey, PJ.; Bailey, J.; Chan, J.; Leckie, C.; Ramamohanarao, K.; Guns, T. (2019) “Predict+optimise with ranking objectives: Exhaustively learning linear functions” Kraus, S. (Ed.) International Joint Conference on Artificial Intelligence International Joint Conference on Artificial Intelligence. pp: 1078-1085. DOI: 10.24963/ijcai.2019/151

Gange, G.; Navas, JA.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2019) “Dissecting widening: Separating termination from information” Lin, AW. (Ed.) Programming Languages and Systems, 17th Asian Symposium, APLAS 2019 Springer. pp: 95-114. DOI: 10.1007/978-3-030-34175-6_6

Ganji, M.; Chan, J.; Stuckey, PJ.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; Park, L. (2019) “Semi-supervised blockmodelling with pairwise guidance” Berlingerio, M.; Bonchi, F.; Gartner, T.; Hurley, N.; Ifrim, G. (Ed.) ECML PKDD: Joint European Conference on Machine Learning and Knowledge Discovery in Databases SpringerLink. pp: 158-174. DOI: 10.1007/978-3-030-10928-8_10

Gerevini, A.; Lipovetzky, N.; Percass, F.; Saetti, A.; Serina, I. (2019) “Best-First Width Search for Multi Agent Privacy-Preserving Planning” 29th International Conference on Automated Planning and Scheduling ICAPS. pp: 163-171. DOI: 10.1609/icaps.v29i1.3472

Gerevini, AE.; Lipovetzky, N.; Peli, N.; Percassi, F.; Saetti, A.; Serina, I. (2019) “Novelty Messages Filtering for Multi Agent Privacy-preserving Planning” Twelfth International Symposium on Combinatorial Search AAAI Press. pp: 79-87. DOI: 10.1609/socs.v10i1.18505

Harabor, DD.; Uras, T.; Stuckey, PJ.; Koenig, S. (2019) “Regarding Jump Point Search and Subgoal Graphs” Kraus, S. (Ed.) 28th International Joint Conference on Artificial Intelligence IJCAI-INT JOINT CONF ARTIF INTELL. pp: 1241-1248. DOI: 10.24963/ijcai.2019/173

Herring, D.; Kirley, M.; Yao, X. (2019) “Investigation of Asynchrony in Dynamic Multi-Objective Optimization” 2019 IEEE Congress on Evolutionary Computation (CEC) IEEE. pp: 3165-3172. DOI: 10.1109/CEC.2019.8790270

Lam, E.; Le Bodic, P.; Harabor, DD.; Stuckey, PJ. (2019) “Branch-and-Cut-and-Price for Multi-Agent Pathfinding” Kraus, S. (Ed.) 28th International Joint Conference on Artificial Intelligence IJCAI-INT JOINT CONF ARTIF INTELL. pp: 1289-1296. DOI: 10.24963/ijcai.2019/179

Madumal, P.; Miller, T.; Sonenberg, L.; Vetere, F. (2019) “A Grounded Interaction Protocol for Explainable Artificial Intelligence” 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 1033-1041. DOI: 10.65109/dgmp4001

O’toole, S.; Ramirez, M.; Lipovetzky, N.; Pearce, A. (2019) “Width-Based Lookaheads Augmented with Base Policies for Stochastic Shortest Paths” 29th International Conference on Automated Planning and Scheduling ICAPS. pp: 37-39.

Zhu, H.; Kirley, M. (2019) “Deep Multi-agent Reinforcement Learning in a Common-Pool Resource System” 2019 IEEE Congress on Evolutionary Computation (CEC) IEEE. pp: 142-149. DOI: 10.1109/CEC.2019.8790001

2018

Book chapters

Batty, M.; Bettencourt, L.; Kirley, M. (2018) “Understanding Coupled Urban-Natural Dynamics as the Key to Sustainability: The Example of the Galapagos”. Kvan, T.; Karakiewicz, J. (Ed.) Urban Galapagos Transition to Sustainability in Complex Adaptive Systems. Switzerland. Springer. pp: 23-41.

Miller, T.; Pearce, AR.; Sonenberg, L. (2018) “Social Planning for Trusted Autonomy”. Abbass, HA.; Scholz, J.; Reid, DJ. (Ed.) Foundations of Trusted Autonomy. UK. Springer International Publishing. pp: 67-86. DOI: 10.1007/978-3-319-64816-3_4

Sonenberg, L. (2018) “Foreword”. Goschnick, S. (Ed.) Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in People-Oriented Programming. Hershey, US. IGI Global. pp: xvi-xvii. DOI: 10.4018/978-1-5225-5969-6

Journal articles

Amadini, R.; Gange, G.; Gauthier, F.; Jordan, A.; Schachte, P.; Sondergaard, H.; Stuckey, PJ.; Zhang, C. (2018) “Reference Abstract Domains and Applications to String Analysis” Fundamenta Informaticae IOS Press. pp: 297-326. DOI: 10.3233/FI-2018-1650

Blom, M.; Pearce, AR.; Stuckey, PJ. (2018) “Multi-objective short-term production scheduling for open-pit mines: a hierarchical decomposition-based algorithm” Engineering Optimization TAYLOR & FRANCIS LTD. pp: 2143-2160. DOI: 10.1080/0305215X.2018.1429601

Chica, M.; Chiong, R.; Kirley, M.; Ishibuchi, H. (2018) “A Networked-Player Trust Game and Its Evolutionary Dynamics” IEEE Transactions on Evolutionary Computation IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 866-878. DOI: 10.1109/TEVC.2017.2769081

Kafle, B.; Gallagher, JP.; Gange, G.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2018) “An iterative approach to precondition inference using constrained Horn clauses” Theory and Practice of Logic Programming CAMBRIDGE UNIV PRESS. pp: 553-570. DOI: 10.1017/S1471068418000091

Kreter, S.; Schutt, A.; Stuckey, PJ.; Zimmermann, J. (2018) “Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems” European Journal of Operational Research ELSEVIER SCIENCE BV. pp: 472-486. DOI: 10.1016/j.ejor.2017.10.014

Sun, Y.; Kirley, M.; Halgamuge, SK. (2018) “A Recursive Decomposition Method for Large Scale Continuous Optimization” IEEE Transactions on Evolutionary Computation IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 647-661. DOI: 10.1109/TEVC.2017.2778089

Conference Papers

Amadini, R.; Gange, G.; Stuckey, PJ. (2018) “Propagating lex, find and replace with dashed strings” Van Hoeve, W-J. (Ed.) 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR) Switzerland. Springer International Publishing. pp: 18-34. DOI: 10.1007/978-3-319-93031-2_2

Amadini, R.; Gange, G.; Stuckey, PJ. (2018) “Propagating Regular membership with dashed strings” Hooker, J. (Ed.) 24th International Conference on the Principles and Practice of Constraint Programming (CP) Switzerland. Springer Nature. pp: 13-29. DOI: 10.1007/978-3-319-98334-9_2

Amadini, R.; Gange, G.; Stuckey, PJ. (2018) “Sweep-based propagation for string constraint solving” 2018 AAAI Conference on Artificial Intelligence Association for the Advancement of Artificial Intelligence. pp: 6557-6564. DOI: 10.1609/aaai.v32i1.12201

Artigues, C.; Hebrard, E.; Pencole, Y.; Schutt, A.; Stuckey, P. (2018) “Data Instance generator and optimization models for evacuation planning in the event of wildfire” Di Stefano, G.; Navarra, A. (Ed.) 2018 Robust Solutions for Fire Fighting (RSFF) CEUR Workshop Proceedings. pp: 75-86.

Bazzotti, G.; Gerevini, AE.; Lipovetzky, N.; Percassi, F.; Saetti, A.; Serina, I. (2018) “Iterative Width Search for Multi Agent Privacy-Preserving Planning” Ghidini, C.; Magnini, B.; Passerini, A.; Traverso, P. (Ed.) AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence Springer. pp: 431-444. DOI: 10.1007/978-3-030-03840-3_32

Bjordal, G.; Flener, P.; Pearson, J.; Stuckey, PJ.; Tack, G. (2018) “Declarative local-search neighbourhoods in minizinc” 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) IEEE. pp: 98-105. DOI: 10.1109/ICTAI.2018.00025

Blom, M.; Stuckey, PJ.; Teague, VJ. (2018) “Ballot-Polling Risk Limiting Audits for IRV Elections” Krimmer, R.; Volkamer, M.; Cortier, V.; Gore, R.; Hapsara, M.; Serdult, U.; Duenascid, D. (Ed.) E-Vote-ID International Joint Conference on Electronic Voting Springer. pp: 17-34. DOI: 10.1007/978-3-030-00419-4_2

Blom, M.; Stuckey, PJ.; Teague, VJ. (2018) “Computing the Margin of Victory in Preferential Parliamentary Elections” Krimmer, R.; Volkamer, M.; Cortier, V.; Gore, R.; Hapsara, M.; Serdult, U.; Duenascid, D. (Ed.) E-Vote-ID International Joint Conference on Electronic Voting Switzerland. Springer. pp: 1-16. DOI: 10.1007/978-3-030-00419-4_1

Codish, M.; Ehlers, T.; Gange, G.; Itzhakov, A.; Stuckey, PJ. (2018) “Breaking symmetries with lex implications” Gallagher, JP.; Sulzmann, M. (Ed.) 14th International Symposium on Functional and Logic Programming (FLOPS) Springer. pp: 182-197. DOI: 10.1007/978-3-319-90686-7_12

De Uña, D.; Rümmele, N.; Gange, G.; Schachte, P.; Stuckey, PJ. (2018) “Machine learning and constraint programming for relational-to-ontology schema mapping” Lang, J. (Ed.) International Joint Conference on Artificial Intelligence International Joint Conferences on Artificial Intelligence. pp: 1277-1283. DOI: 10.24963/ijcai.2018/178

Dekker, JJ.; De La Banda, MG.; Schutt, A.; Stuckey, PJ.; Tack, G. (2018) “Solver-independent large neighbourhood search” Hooker, J. (Ed.) 24th International Conference on Principles and Practice of Constraint Programming Springer. pp: 81-98. DOI: 10.1007/978-3-319-98334-9_6

Demirović, E.; Chu, G.; Stuckey, PJ. (2018) “Solution-based phase saving for CP: A value-selection heuristic to simulate local search behavior in complete solvers” Hooker, J. (Ed.) 24th International Conference on Principles and Practice of Constraint Programming Springer Nature Switzerland. pp: 99-108. DOI: 10.1007/978-3-319-98334-9_7

Demirović, E.; Stuckey, PJ. (2018) “Constraint programming for high school timetabling: A scheduling-based model with hot starts” Van Hoeve, W-J. (Ed.) 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR) Springer. pp: 135-152. DOI: 10.1007/978-3-319-93031-2_10

Gange, G.; Stuckey, PJ. (2018) “Sequential precede chain for value symmetry elimination” Hooker, J. (Ed.) 24th International Conference on Principles and Practice of Constraint Programming Springer. pp: 144-159. DOI: 10.1007/978-3-319-98334-9_10

Ganj, M.; Bailey, J.; Stuckey, PJ. (2018) “Lagrangian constrained community detection” 32nd AAAI Conference on Artificial Intelligence AAAI. pp: 2983-2990. DOI: 10.1609/aaai.v32i1.11753

Ganji, M.; Chan, J.; Stuckey, PJ.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; Davidson, I. (2018) “Image constrained blockmodelling: A constraint programming approach” SIAM International Conference on Data Mining, SDM 2018 Society for Industrial and Applied Mathematics. pp: 19-27. DOI: 10.1137/1.9781611975321.3

Ku, YK.; Kirley, M.; Karakiewicz, J.; Jiang, YM. (2018) “Conceptualizing the evolution of Tmor-Da using an agent based model” SIGRADI Brazil. Edgard Blucher. pp: 238-244. DOI: 10.5151/sigradi2018-1413

Macnally, AM.; Lipovetzky, N.; Ramirez, M.; Pearce, AR. (2018) “Action Selection for Transparent Planning” International Conference on Autonomous Agents and Multiagent Systems IFAAMAS International Foundation for Autonomous Agents and Multiagent Systems. pp: 1327-1335. DOI: 10.65109/uofl8764

Musliu, N.; Schutt, A.; Stuckey, PJ. (2018) “Solver independent rotating workforce scheduling” Vanhoeve, WJ. (Ed.) 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR) Springer-Verlag Heidelberg. pp: 429-445. DOI: 10.1007/978-3-319-93031-2_31

Ramirez, M.; Papasimeon, M.; Lipovetzky, N.; Benke, L.; Miller, T.; Pearce, AR.; Scala, E.; Zamani, M. (2018) “Integrated Hybrid Planning and Programmed Control for Real–Time UAV Maneuvering” 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) Richland, SC, United States. International Foundation for Autonomous Agents and Multiagent Systems. pp: 1318-1326. DOI: 10.65109/orlj5523

Singh, R.; Miller, T.; Newn, J.; Sonenberg, L.; Velloso, E.; Vetere, F. (2018) “Combining Planning with Gaze for Online Human Intention Recognition” 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 488-496. DOI: 10.65109/dwiy4771

Singh, R.; Miller, T.; Newn, J.; Sonenberg, L.; Velloso, E.; Vetere, F. (2018) “Combining Planning with Gaze for Online Human Intention Recognition” 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 488-496.

Sun, Y.; Kirley, M.; Li, X. (2018) “Cooperative Co-evolution with online optimizer selection for large-scale optimization” Aguirre, H. (Ed.) Genetic and Evolutionary Computation Conference (GECCO) Association for Computing Machinery (ACM). pp: 1079-1086. DOI: 10.1145/3205455.3205625

Sun, Y.; Kirley, M.; Omidvar, MN.; Li, X. (2018) “Adaptive threshold parameter estimation with recursive differential grouping for problem decomposition” Aguirre, H. (Ed.) Genetic and Evolutionary Computation Conference (GECCO) Association for Computing Machinery (ACM). pp: 889-896. DOI: 10.1145/3205455.3205483

Zarate, DC.; Le Bodic, P.; Dwyer, T.; Gange, G.; Stuckey, P. (2018) “Optimal Sankey Diagrams via Integer Programming” IEEE Pacific Visualization Symposium (IEEE PacificVis) IEEE. pp: 135-139. DOI: 10.1109/PacificVis.2018.00025

2017

Book chapters

Kashima, Y.; Kirley, M.; Stivala, A.; Robins, G. (2017) “Modeling cultural dynamics”. Vallacher, RR.; Read, SJ.; Nowak, A. (Ed.) Computational Social Psychology. New York, NY, United States. Routledge. pp: 281-307. DOI: 10.4324/9781315173726

Kashima, Y.; Kirley, M.; Stivala, A.; Robins, G. (2017) “Modeling Cultural Dynamics”. Computational Social Psychology. Routledge. pp: 281-307. DOI: 10.4324/9781315173726-13

Journal articles

Collier, JH.; Allison, L.; Lesk, AM.; Stuckey, PJ.; Garcia De La Banda, M.; Konagurthu, AS. (2017) “Statistical inference of protein structural alignments using information and compression” Tramontano, A. (Ed.) Bioinformatics OXFORD UNIV PRESS. pp: 1005-1013. DOI: 10.1093/bioinformatics/btw757

Kreter, S.; Schutt, A.; Stuckey, PJ. (2017) “Using constraint programming for solving RCPSP/max-cal” Constraints SPRINGER. pp: 432-462. DOI: 10.1007/s10601-016-9266-6

Miller, T.; Pfau, J.; Sonenberg, L.; Kashima, Y. (2017) “Logics of common ground” Journal of Artificial Intelligence Research AI ACCESS FOUNDATION. pp: 859-904. DOI: 10.1613/jair.5381

Sun, Y.; Kirley, M.; Halgamuge, SK. (2017) “Quantifying Variable Interactions in Continuous Optimization Problems” IEEE Transactions on Evolutionary Computation IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 249-264. DOI: 10.1109/TEVC.2016.2599164

Von Der Osten, FB.; Kirley, M.; Miller, T. (2017) “Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems” Scientific Reports NATURE PORTFOLIO. pp: -. DOI: 10.1038/s41598-017-02151-y

Conference Papers

Albert, E.; Arenas, P.; Garcia De La Banda, M.; Gomez-zamalloa, M.; Stuckey, PJ. (2017) “Context-Sensitive Dynamic Partial Order Reduction” Majumdar, R.; Kuncak, V. (Ed.) 29th International Conference on Computer-Aided Verification (CAV) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 526-543. DOI: 10.1007/978-3-319-63387-9_26

Amadini, R.; Flener, P.; Pearson, J.; Scott, JD.; Stuckey, PJ.; Tack, G. (2017) “MiniZinc with Strings” Hermenegildo, MV.; Lopezgarcia, P. (Ed.) 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 59-75. DOI: 10.1007/978-3-319-63139-4_4

Amadini, R.; Gange, G.; Stuckey, PJ.; Tack, G. (2017) “A novel approach to string constraint solving” Beck, JC. (Ed.) International Conference on Principles and Practice of Constraint Programming Springer. pp: 3-20. DOI: 10.1007/978-3-319-66158-2_1

Amadini, R.; Jordan, A.; Gange, G.; Gauthier, F.; Schachte, P.; Sondergaard, H.; Stuckey, PJ.; Zhang, C. (2017) “Combining String Abstract Domains for JavaScript Analysis: An Evaluation” Legay, A.; Margaria, T. (Ed.) Tools and Algorithms for the Construction and Analysis of Systems SPRINGER INTERNATIONAL PUBLISHING AG. pp: 41-57. DOI: 10.1007/978-3-662-54577-5_3

Beldiceanu, N.; Carlsson, M.; Derrien, A.; Prud'homme, C.; Schutt, A.; Stuckey, PJ. (2017) “Range-Consistent Forbidden Regions of Allen's Relations” Salvagnin, D.; Lombardi, M. (Ed.) 14th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 21-29. DOI: 10.1007/978-3-319-59776-8_2

Chrpa, L.; Lipovetzky, N.; Sardina, S. (2017) “Handling non-local dead-ends in agent planning programs” Sierra, C. (Ed.) 26th International Joint Conferences on Artifical Intelligence (IJCAI) International Joint Conferences on Artificial Intelligence. pp: 971-978. DOI: 10.24963/ijcai.2017/135

Conway, A.; Blom, M.; Naish, L.; Teague, V. (2017) “An analysis of New South Wales electronic vote counting” ACSW 2017: Australasian Computer Science Week 2017 ACM. pp: 1-5. DOI: 10.1145/3014812.3014837

Cruz, C.; Kirley, M.; Karakiewicz, J. (2017) “Generation and exploration of architectural form using a composite cellular automata” Wagner, M.; Li, X.; Hendtlass, T. (Ed.) Australasian Conference of Artificial Life and Computational Intelligence Geelong, Australia. Springer International Publishing. pp: 99-110. DOI: 10.1007/978-3-319-51691-2_9

Cruz, C.; Kirley, M.; Karakiewicz, J. (2017) “An interactive approach for evolving pareto optimal architectural form” Symposium on Simulation for Architecture and Urban Design (SimAUD2017) Society for Computer Simulation International. pp: 33-40.

Cruz, C.; Kirley, M.; Karakiewicz, J. (2017) “Generation and Exploration of Architectural Form Using a Composite Cellular Automata” Artificial Life and Computational Intelligence: Third Australasian Conference, ACALCI 2017 Geelong. 0302-9743.

Davies, TO.; Gange, G.; Stuckey, PJ. (2017) “Automatic logic-based benders decomposition with minizinc” 31st AAAI Conference on Artificial Intelligence, AAAI 2017 UNKNOWN. pp: 787-793. DOI: 10.1609/aaai.v31i1.10654

De Una, D.; Gange, G.; Schachte, P.; Stuckey, PJ. (2017) “Minimizing Landscape Resistance for Habitat Conservation” Salvagnin, D.; Lombardi, M. (Ed.) 14th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 113-130. DOI: 10.1007/978-3-319-59776-8_10

Frances, G.; Ram Irez, M.; Lipovetzky, N.; Geffner, H. (2017) “Purely Declarative Action Representations are Overrated: Classical Planning with Simulators” Sierra, C. (Ed.) 26th International Joint Conferences on Artifical Intelligence (IJCAI) International Joint Conferences on Artificial Intelligence. pp: 4294-4301. DOI: 10.24963/ijcai.2017/600

Gange, G.; Ganty, P.; Stuckey, PJ. (2017) “Fixing the state budget: Approximation of regular languages with small DFAs” Dsouza, D.; Kumar, KN. (Ed.) 15th International Symposium on Automated Technology for Verification and Analysis SPRINGER. pp: 67-83. DOI: 10.1007/978-3-319-68167-2_5

Ganji, M.; Bailey, J.; Stuckey, PJ. (2017) “A declarative approach to constrained community detection” Beck, JC. (Ed.) 28th Australasian Database Conference, ADC 2017 Springer. pp: 477-494. DOI: 10.1007/978-3-319-66158-2_31

Kafle, B.; Gange, G.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2017) “A benders decomposition approach to deciding modular linear integer arithmetic” Gaspers, S.; Walsh, T. (Ed.) SAT 2017, the 20th International Conference on Theory and Applications of Satisfiability Testing Springer. pp: 380-397. DOI: 10.1007/978-3-319-66263-3_24

Katz, M.; Moshkovich, D.; Lipovetzky, N.; Tüisov, A. (2017) “Adapting novelty to classical planning as heuristic search” the 27th International Conference on Automated Planning and Scheduling Association for the Advancement of Artificial Intelligence. pp: 172-180. DOI: 10.1609/icaps.v27i1.13819

Lipovetzky, N.; Geffner, H. (2017) “A polynomial planning algorithm that beats lama and FF” 27th International Conference on Automated Planning and Scheduling Association for the Advancement of Artificial Intelligence. pp: 195-199. DOI: 10.1609/icaps.v27i1.13822

Lipovetzky, N.; Geffner, H. (2017) “Best-first width search: Exploration and exploitation in classical planning” 31st AAAI Conference on Artificial Intelligence, AAAI 2017 Unknown. pp: 3590-3596. DOI: 10.1609/aaai.v31i1.11027

Ramirez Javega, M.; Papasimeon, M.; Benke, L.; Lipovetzky, N.; Miller, T.; Pearce, A. (2017) “Real-Time UAV Maneuvering via Automated Planning in Simulations” Sierra, C. (Ed.) International Joint Conference on Artificial Intelligence (IJCAI-17) International Joint Conferences on Artificial Intelligence. pp: 5248-5255. DOI: 10.24963/ijcai.2017/778

Ramirez, M.; Papasimeon, M.; Behnke, L.; Lipovetzky, N.; Miller, T.; Pearce, AR. (2017) “Real-Time UAV Maneuvering via Automated Planning in Simulations” Sierra, C. (Ed.) 26th International Joint Conference on Artificial Intelligence (IJCAI) IJCAI-INT JOINT CONF ARTIF INTELL. pp: 5243-5245.

Subramanian, R.; Allison, L.; Stuckey, PJ.; De La Banda, MG.; Abramson, D.; Lesk, AM.; Konagurthu, AS. (2017) “Statistical compression of protein folding patterns for inference of recurrent substructural themes” Bilgin, A.; Marcellin, MW.; Serrasagrista, J.; Storer, JA. (Ed.) Data Compression Conference (DCC) IEEE COMPUTER SOC. pp: 340-349. DOI: 10.1109/DCC.2017.46

Sun, Y.; Kirley, M.; Halgamuge, SK. (2017) “A Memetic Cooperative Co-evolution Model for Large Scale Continuous Optimization” Wagner, M.; Li, X.; Hendtlass, T. (Ed.) 3rd Australasian Conference on Artificial Life and Computational Intelligence (ACALCI) SPRINGER INTERNATIONAL PUBLISHING AG. pp: 291-300. DOI: 10.1007/978-3-319-51691-2_25

Von Der Osten, FB.; Kirley, M.; Miller, T. (2017) “The minds of many: Opponent modelling in a stochastic game” Sierra, C. (Ed.) Twenty-Sixth International Joint Conferenc eon Artificial Intelligence International Joint Conferences on Artificial Intelligence. pp: 3845-3851. DOI: 10.24963/ijcai.2017/537

2016

Book chapters

Gange, G.; Navas, JA.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2016) “An Abstract Domain of Uninterpreted Functions”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 85-103. DOI: 10.1007/978-3-662-49122-5_4

Journal articles

Blom, M.; Pearce, A.; Stuckey, P. (2016) “A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks over Multiple Time Periods” Management science INFORMS (Institute for Operations Research and Management Sciences). pp: 3059-3084. DOI: 10.1287/mnsc.2015.2284

Butchibabu, A.; Sparano-huiban, C.; Sonenberg, L.; Shah, J. (2016) “Implicit Coordination Strategies for Effective Team Communication” Human Factors The Journal of the Human Factors and Ergonomics Society SAGE PUBLICATIONS INC. pp: 595-610. DOI: 10.1177/0018720816639712

Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2016) “A complete refinement procedure for regular separability of context-free languages” Theoretical Computer Science ELSEVIER SCIENCE BV. pp: 1-24. DOI: 10.1016/j.tcs.2016.01.026

Goschnick, SB.; Sterling, L.; Sonenberg, E. (2016) “Modelling Human Activity in People-Oriented Programming with Metamodels” International Journal of People-Oriented Programming IGI Global. pp: 1-24. DOI: 10.4018/IJPOP.2015070101

Kirley, M.; Von Der Osten, FB. (2016) “Risk sensitivity and assortment in social dilemmas” Soft Computing SPRINGER. pp: 3775-3786. DOI: 10.1007/s00500-016-2090-5

Smith, W.; Dignum, F.; Sonenberg, L. (2016) “The construction of impossibility: A logic-based analysis of conjuring tricks” Frontiers in Psychology FRONTIERS MEDIA SA. pp: -. DOI: 10.3389/fpsyg.2016.00748

Stivala, A.; Kashima, Y.; Kirley, M. (2016) “Culture and cooperation in a spatial public goods game” Physical Review E AMER PHYSICAL SOC. pp: -. DOI: 10.1103/PhysRevE.94.032303

Stivala, A.; Robins, G.; Kashima, Y.; Kirley, M. (2016) “Diversity and Community Can Coexist” American Journal of Community Psychology WILEY. pp: 243-254. DOI: 10.1002/ajcp.12021

Varmazyar, M.; Haritos, N.; Kirley, M. (2016) “A wavelet-based Bayesian damage identification technique using an evolutionary algorithm” Australian Journal of Structural Engineering TAYLOR & FRANCIS AS. pp: 225-241. DOI: 10.1080/13287982.2016.1259712

Conference Papers

Abío, I.; Gange, G.; Mayer-eichberger, V.; Stuckey, PJ. (2016) “On CNF Encodings of Decision Diagrams” Quimper, C-G. (Ed.) 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) Switzerland. Springer International Publishing. pp: 1-17. DOI: 10.1007/978-3-319-33954-2_1

Baxter, N.; Chu, G.; Stuckey, PJ. (2016) “Symmetry declarations for MiniZinc” ACSW '16: Australasian Computer Science Week New York, NY, USA. ACM. pp: 1-10. DOI: 10.1145/2843043.2843058

Belov, G.; Stuckey, PJ.; Tack, G.; Wallace, M. (2016) “Improved linearization of constraint programming models” Rueher, M. (Ed.) 22nd International Conference on Constraint Programming Switzerland. Springer International Publishing. pp: 49-65. DOI: 10.1007/978-3-319-44953-1_4

Blom, M.; Stuckey, PJ.; Teague, V.; Tidhar, R. (2016) “Efficient Computation of Exact IRV Margins” Kaminka, GA.; Fox, M.; Bouquet, P.; Hüllermeier, E.; Dignum, V.; Dignum, F.; Van Harmelen, F. (Ed.) 22nd European Conference on Artificial Intelligence (ECAI) IOS Press. pp: 480-488. DOI: 10.3233/978-1-61499-672-9-480

Chu, G.; Gange, G.; Stuckey, PJ. (2016) “Lagrangian Decomposition via Sub-problem Search” Quimper, C-G. (Ed.) 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) Switzerland. Springer International Publishing. pp: 65-80. DOI: 10.1007/978-3-319-33954-2_6

Codish, M.; Gange, G.; Itzhakov, A.; Stuckey, PJ. (2016) “Breaking symmetries in graphs: The nauty way” Rueher, M. (Ed.) 22nd International Conference on the Principles and Practice of Constraint Programming (CP) Switzerland. Springer International Publishing. pp: 157-172. DOI: 10.1007/978-3-319-44953-1_11

Cruz, C.; Karakiewicz, J.; Kirley, M. (2016) “TOWARDS THE IMPLEMENTATION OF A COMPOSITE CELLULAR AUTOMATA MODEL FOR THE EXPLORATION OF DESIGN SPACE” Chien, SF.; Choo, S.; Schnabel, MA.; Nakapan, W.; Kim, MJ.; Roudavski, S. (Ed.) 21st International Conference on Computer-Aided Architectural Design Research in Asia (CAADRIA) CAADRIA-ASSOC COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH ASIA. pp: 187-196. DOI: 10.52842/conf.caadria.2016.187

Cruz, C.; Karakiewicz, J.; Kirley, M. (2016) “A Morphogenetic Design Strategy Using a Composite CA Model” Friedrich, T. (Ed.) Genetic and Evolutionary Computation Conference (GECCO) Denver, USA. ASSOC COMPUTING MACHINERY. pp: 17-18. DOI: 10.1145/2908961.2909058

Davies, TO.; Pearce, AR.; Stuckey, P.; Lipovetzky, N. (2016) “Sequencing operator counts” 25th International Joint Conference on Artificial Intelligence IJCAI-16 AAAI Press. pp: 4140-4144.

De Giacomo, G.; Lesperance, Y.; Pearce, AR. (2016) “Situation Calculus Game Structures and GDL” Kaminka, GA.; Fox, M.; Bouquet, P.; Hullermeier, E.; Dignum, V.; Dignum, F.; Vanharmelen, F. (Ed.) 22nd European Conference on Artificial Intelligence (ECAI) IOS PRESS. pp: 408-416. DOI: 10.3233/978-1-61499-672-9-408

De Una, D.; Gange, G.; Schachte, P.; Stuckey, P. (2016) “Steiner Tree Problems with Side Constraints Using Constraint Programming” Schuurmans, D.; Wellman, M. (Ed.) 30th AAAI Conference on Artificial Intelligence (AAAI) AAAI. pp: 3383-3389. DOI: 10.1609/aaai.v30i1.10435

De Uña, D.; Gange, G.; Schachte, P.; Stuckey, PJ. (2016) “Weighted Spanning Tree Constraint with Explanations” Quimper, C-G. (Ed.) 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) Switzerland. Springer International Publishing. pp: 98-107. DOI: 10.1007/978-3-319-33954-2_8

De Uña, D.; Gange, G.; Schachte, P.; Stuckey, PJ. (2016) “A bounded path propagator on directed graphs” Rueher, M. (Ed.) 22nd International Conference on the Principles and Practice of Constraint Programming (CP) Switzerland. Springer International Publishing. pp: 189-206. DOI: 10.1007/978-3-319-44953-1_13

Ehlers, T.; Stuckey, PJ. (2016) “Parallelizing Constraint Programming with Learning” Quimper, C-G. (Ed.) 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) Switzerland. Springer International Publishing. pp: 142-158. DOI: 10.1007/978-3-319-33954-2_11

Feydy, T.; Stuckey, PJ. (2016) “Interval constraints with learning: Application to Air Traffic Control” Rueher, M. (Ed.) 22nd International Conference on Constraint Programming (CP) Switzerland. Springer International Publishing. pp: 224-232. DOI: 10.1007/978-3-319-44953-1_15

Gange, G.; Navas Laserna, J.; Schachte, P.; Sondergaard, H.; Stuckey, P. (2016) “An abstract domain of uninterpreted functions” Jobstmann, B.; Leino, KRM. (Ed.) 17th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI) Springer Berlin Heidelberg. pp: 85-103. DOI: 10.1007/978-3-662-49122-5

Gange, G.; Navas, J.; Schachte, P.; Sondergaard, H.; Stuckey, P. (2016) “Exploiting Sparsity in Difference-Bound Matrices” Rival, X. (Ed.) 23rd International Static Analysis Symposium (SAS) Germany. Springer Berlin Heidelberg. pp: 189-211. DOI: 10.1007/978-3-662-53413-7_10

Gange, G.; Stuckey, PJ. (2016) “Constraint propagation and explanation over novel types by abstract compilation” International Conference on Logic Programming Schloss Dagstuhl. DOI: 10.4230/OASIcs.ICLP.2016.13

Ganji, M.; Bailey, J.; Stuckey, PJ. (2016) “Lagrangian constrained clustering” 16th SIAM International Conference on Data Mining 2016, SDM 2016 Society for Industrial and Applied Mathematics. pp: 288-296. DOI: 10.1137/1.9781611974348.33

Harabor, D.; Stuckey, PJ. (2016) “Rail Capacity Modelling with Constraint Programming” Quimper, C-G. (Ed.) 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) Switzerland. Springer International Publishing. pp: 170-186. DOI: 10.1007/978-3-319-33954-2_13

Lipovetzky, N.; Muise, C.; Geffner, H. (2016) “Traps, invariants, and dead-ends” The 26th International Conference on Automated Planning and Scheduling International Conference on Automated Planning and Scheduling (ICAPS). pp: 211-215. DOI: 10.1609/icaps.v26i1.13774

Miller, T.; Felli, P.; Muise, C.; Pearce, AR.; Sonenberg, L. (2016) “'Knowing Whether' in Proper Epistemic Knowledge Bases” 30th AAAI Conference on Artificial Intelligence (AAAI) AAAI Press. pp: 1044-1055. DOI: 10.1609/aaai.v30i1.10110

Muise, C.; Felli, P.; Miller, T.; Pearce, AR.; Sonenberg, L. (2016) “Planning for a Single Agent in a Multi-Agent Environment Using FOND” Kambhampati, S. (Ed.) 25th International Joint Conference on Artificial Intelligence (IJCAI) Palo Alto, CA, USA. AAAI Press. pp: 3206-3212.

Munoz, MA.; Kirley, M. (2016) “ICARUS: Identification of Complementary algoRithms by Uncovered Sets” IEEE Congress on Evolutionary Computation (CEC) held as part of IEEE World Congress on Computational Intelligence (IEEE WCCI) IEEE. pp: 2427-2432. DOI: 10.1109/CEC.2016.7744089

Schutt, A.; Stuckey, PJ. (2016) “Explaining producer/consumer constraints” Rueher, M. (Ed.) 22nd International Conference on the Principles and Practice of Constraint Programming (CP) Switzerland. Springer International Publishing. pp: 438-454. DOI: 10.1007/978-3-319-44953-1_28

Singh, R.; Sonenberg, L.; Mille, T. (2016) “Communication and shared mental models for teams performing interdependent tasks” Osman, N.; Sierra, C. (Ed.) AAMAS 2016 Workshops Springer International Publishing. pp: 163-179. DOI: 10.1007/978-3-319-46882-2_10

Sonenberg, E.; Miller, T.; Pearce, AR.; Felli, P.; Muise, CJ.; Dignum, F. (2016) “Social planning for social HRI” Baxter, P.; Trafton, G.; Lemaignan, S. (Ed.) 2nd Workshop on Cognitive Architectures for Social Human-Robot Interaction (CogArch4sHRI) arxiv. pp: -. DOI: 10.48550/arxiv.1602.06483

Stuckey, PJ. (2016) “Discrete Optimization for Agents” 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 3-3.

Wang, W.; Sondergaard, H.; Stuckey, P. (2016) “A bit-vector solver with word-level propagation” Quimper, C-G. (Ed.) 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) Switzerland. Springer International Publishing. pp: 374-391. DOI: 10.1007/978-3-319-33954-2_27

Xue, S.; Oliveira, EA.; Kirley, M. (2016) “HackSpace: A platform for designing and promoting customised interactions in digital ecosystems” Hellicar, A.; Rahman A, .; Koch, F. (Ed.) Joint Workshop on Time Series Analytics and Collaborative Agents Research & Development New York. Association for Computing Machinery (ACM). pp: 39-46. DOI: 10.1145/3014340.3014347

2015

Book chapters

Gu, H.; Schutt, A.; Stuckey, PJ.; Wallace, MG.; Chu, G. (2015) “Exact and heuristic methods for the resource-constrained net present value problem”. Schwindt, C.; Zimmermann, J. (Ed.) Handbook on Project Management and Scheduling Vol 1. Switzerland. Springer International Publishing. pp: 299-318. DOI: 10.1007/978-3-319-05443-8_14

Oliveira, EA.; Koch, F.; Kirley, M.; Barros, CVGDP. (2015) “Towards a middleware for context-aware health monitoring”. Koch, F.; Guttmann, C.; Busquets, D. (Ed.) Communications in Computer and Information Science. Switzerland. Springer International Publishing. pp: 19-30. DOI: 10.1007/978-3-319-24804-2_2

Schutt, A.; Feydy, T.; Stuckey, P.; Wallace, MG. (2015) “A Satisfiability Solving Approach”. Schwindt, C.; Zimmermann, J. (Ed.) Handbook on Project Management and Scheduling Vol 1. Switzerland. Springer International Publishing. pp: 135-160. DOI: 10.1007/978-3-319-05443-8_7

Journal articles

Bilauca, M.; Gange, G.; Healy, P.; Marriott, K.; Moulder, P.; Stuckey, PJ. (2015) “Automatic minimal-height table layout” INFORMS Journal on Computing INFORMS. pp: 449-461. DOI: 10.1287/ijoc.2014.0637

Blom, ML.; Pearce, AR.; Stuckey, PJ. (2015) “Short Term Scheduling in Open-Pit Mines with Multiple Objectives” Engineering Optimization Taylor and Francis. pp: 777-795. DOI: 10.1080/0305215X.2016.1218002

Caballero, R.; Stuckey, PJ.; Tenorio-fornés, A. (2015) “Two type extensions for the constraint modeling language MiniZinc” Science of Computer Programming ELSEVIER SCIENCE BV. pp: 156-189. DOI: 10.1016/j.scico.2015.04.007

Chiong, R.; Kirley, M. (2015) “Promotion of cooperation in social dilemma games via generalised indirect reciprocity” Connection Science TAYLOR & FRANCIS LTD. pp: 417-433. DOI: 10.1080/09540091.2015.1080226

Chu, G.; Stuckey, PJ. (2015) “Dominance breaking constraints” Constraints Kluwer Academic Publishers. pp: 155-182. DOI: 10.1007/s10601-014-9173-7

De Cat, B.; Denecker, M.; Stuckey, P.; Bruynooghe, M. (2015) “Lazy Model Expansion: Interleaving Grounding with Search” Journal of Artificial Intelligence Research AI Access Foundation. pp: 235-286. DOI: 10.1613/jair.4591

Gange, G.; Navas Laserna, J.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2015) “Horn Clauses As an Intermediate Representation for Program Analysis and Transformation” Theory and Practice of Logic Programming Cambridge University Press. pp: 526-542. DOI: 10.1017/S1471068415000204

Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2015) “Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss” ACM Transactions on Programming Languages and Systems Association for Computing Machinery. pp: 1:1-1:35. DOI: 10.1145/2651360

Goschnick, S.; Sterling, L.; Sonenberg, L. (2015) “Modelling Human Activity in People-Oriented Programming with Metamodels” International Journal of People-Oriented Programming (IJPOP) Hershey, PA, USA. IGI Global. pp: 1-24. DOI: 10.4018/ijpop.2015070101

Kelly, RF.; Pearce, AR. (2015) “Asynchronous knowledge with hidden actions in the situation calculus” Artificial Intelligence ELSEVIER. pp: 1-35. DOI: 10.1016/j.artint.2014.12.005

Munoz, MA.; Sun, Y.; Kirley, M.; Halgamuge, SK. (2015) “Algorithm selection for black-box continuous optimization problems: A survey on methods and challenges” Information Sciences Elsevier. pp: 224-245. DOI: 10.1016/j.ins.2015.05.010

Muñoz, MA.; Kirley, M.; Halgamuge, SK. (2015) “Exploratory landscape analysis of continuous space optimization problems using information content” IEEE Transactions on Evolutionary Computation IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 74-87. DOI: 10.1109/TEVC.2014.2302006

Oliveira, EA.; Kirley, M.; Fonseca, JCB.; Gama, K. (2015) “Device Nimbus: An Intelligent Middleware for Smarter Services for Health and Fitness” International Journal of Distributed Sensor Networks SAGE PUBLICATIONS INC. pp: -. DOI: 10.1155/2015/454626

Shank, DB.; Kashima, Y.; Saber, S.; Gale, T.; Kirley, M. (2015) “Dilemma of dilemmas: How collective and individual perspectives can clarify the size dilemma in voluntary linear public goods dilemmas” Wu, Z-X. (Ed.) PLoS ONE PUBLIC LIBRARY SCIENCE. pp: -. DOI: 10.1371/journal.pone.0120379

Varmazyar, M.; Haritos, N.; Kirley, M. (2015) “A Bayesian damage identification technique using evolutionary algorithms -A comparative study” Electronic Journal of Structural Engineering EJSE INT LTD. pp: 1-19. DOI: 10.56748/ejse.141851

Conference Papers

Abio, I.; Mayer-eichberger, V.; Stuckey, PJ. (2015) “Encoding Linear Constraints with Implication Chains to CNF” Pesant, G. (Ed.) 21st International Conference on the Principles and Practice of Constraint Programming (CP) SPRINGER-VERLAG BERLIN. pp: 3-11. DOI: 10.1007/978-3-319-23219-5_1

Aziz, RA.; Chu, G.; Muise, C.; Stuckey, P. (2015) “#∃SAT: Projected Model Counting” Heule, M.; Weaver, S. (Ed.) 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) Springer International Publishing. pp: 121-137. DOI: 10.1007/978-3-319-24318-4_10

Aziz, RA.; Chu, G.; Muise, C.; Stuckey, P. (2015) “Stable Model Counting and Its Application in Probabilistic Logic Programming” Bonet, B.; Koenig, S. (Ed.) Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI) AAAI Press. pp: 3468-3474. DOI: 10.1609/aaai.v29i1.9691

Burt, CN.; Lipovetzky, N.; Pearce, AR.; Stuckey, PJ. (2015) “Approximate Uni-directional Benders Decomposition” AAAI-15 Workshop on Planning, Search, and Optimization (PlanSOpt-15) AAAI Press. pp: 24-31.

Burt, CN.; Lipovetzky, N.; Pearce, AR.; Stuckey, PJ. (2015) “Scheduling with fixed maintenance, shared resources and nonlinear feedrate constraints: A mine planning case study” Michel, L. (Ed.) 12th International Conference of Integration of AI and OR Techniques in Constraint Programming (CPAIOR) Springer Verlag. pp: 91-107. DOI: 10.1007/978-3-319-18008-3_7

Chu, G.; Stuckey, PJ. (2015) “Learning Value Heuristics for Constraint Programming” Michel, L. (Ed.) 12th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming (CPAIOR) SPRINGER-VERLAG BERLIN. pp: 108-123. DOI: 10.1007/978-3-319-18008-3_8

Cornish, JRM.; Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2015) “Analyzing Array Manipulating Programs by Program Transformation” Proietti, M.; Seki, H. (Ed.) 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Springer International Publishing. pp: 3-20. DOI: 10.1007/978-3-319-17822-6_1

Davies, TO.; Pearce, AR.; Stuckey, P.; Lipovetzky, N. (2015) “Sequencing Operator Counts” Brafman, R.; Domshlak, C.; Haslum, P.; Zilberstein, S. (Ed.) 25th International Conference on Automated Planning and Scheduling (ICAPS) AAAI Press. pp: 61-69. DOI: 10.1609/icaps.v25i1.13727

Davies, TO.; Pearce, AR.; Stuckey, PJ.; Sondergaard, H. (2015) “Optimisation and Relaxation for Multiagent Planning in the Situation Calculus” 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) International Foundation for Autonomous Agents and Multiagent Systems. pp: 1141-1149.

De Giacomo, G.; Lespérance, Y.; Pearce, A. (2015) “Synchronous Games in the Situation Calculus” Bordini, R.; Elkind, E.; Weiss, G.; Yolum, P. (Ed.) International Conference on Autonomous Agents and Multiagent Systems (AAMAS) International Foundation for Autonomous Agents and Multiagent Systems. pp: 1675-1676.

Ewin, C.; Pearce, A.; Vassos, S. (2015) “Optimizing Long-Running Action Histories in the Situation Calculus Through Search” Chen, Q.; Torrini, P.; Villata, S.; Hsu, J.; Omicini, A. (Ed.) 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) Springer International Publishing. pp: 85-100. DOI: 10.1007/978-3-319-25524-8_6

Felli, P.; Miller, T.; Muise, C.; Pearce, AR.; Sonenberg, L. (2015) “Computing Social Behaviours Using Agent Models” Yang, Q.; Wooldridge, M. (Ed.) Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI) Palo Alto, California USA. AAAI Press / International Joint Conferences on Artificial Intelligence. pp: 2978-2984.

Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2015) “A tool for intersecting context-free grammars and its applications” Havelund, K.; Holzmann, G.; Joshi, R. (Ed.) 7th NASA Formal Methods Symposium (NFM) Springer International Publishing. pp: 422-428. DOI: 10.1007/978-3-319-17524-9_31

Ganji, M.; Seifi, A.; Alizadeh, H.; Bailey, J.; Stuckey, PJ. (2015) “Generalized Modularity for Community Detection” Appice, A.; Rodrigues, PP.; Costa, VS.; Gama, J.; Jorge, A.; Soares, C. (Ed.) European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) SPRINGER-VERLAG BERLIN. pp: 655-670. DOI: 10.1007/978-3-319-23525-7_40

Keogh, K.; Sonenberg, E. (2015) “Designing for Planned Emergence in Multi-agent Systems” Ghose, A.; Oren, N.; Telang, P.; Thangarajah, J. (Ed.) 10th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN) Springer-Verlag Heidelberg. pp: 97-113. DOI: 10.1007/978-3-319-25420-3_7

Kreter, S.; Schutt, A.; Stuckey, PJ. (2015) “Modeling and Solving Project Scheduling with Calendars” Pesant, G. (Ed.) 21st International Conference on the Principles and Practice of Constraint Programming (CP) SPRINGER-VERLAG BERLIN. pp: 262-278. DOI: 10.1007/978-3-319-23219-5_19

Lipovetzky, N.; Ramirez, M.; Geffner, H. (2015) “Classical planning with simulators: Results on the atari video games” Yang, Q.; Wooldridge, M. (Ed.) 24th International Joint Conference on Artificial Intelligence (IJCAI) AAAI Press. pp: 1610-1616.

Lipovetzky, N.; Ramirez, M.; Geffner, H. (2015) “Classical planning algorithms on the atari video games” pp: 21-28.

Lipovetzky, N.; Ramirez, M.; Geffner, H. (2015) “Classical Planning Algorithms on the Atari Video Games: Preliminary Results” Learning for General Competency in Video Games, AAAI 2015 Workshop AAAI Press. pp: 21-28.

Muise, C.; Belle, V.; Felli, P.; Mcilraith, SA.; Miller, T.; Pearce, AR.; Sonenberg, L. (2015) “Planning Over Multi-Agent Epistemic States: A Classical Planning Approach” Bonet, B.; Koenig, S. (Ed.) Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI) AAAI Press. pp: 3327-3334. DOI: 10.1609/aaai.v29i1.9665

Muise, C.; Dignum, F.; Felli, P.; Miller, T.; Pearce, AR.; Sonenberg, L. (2015) “Towards Team Formation via Automated Planning” International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems (COIN@IJCAI) AAAI Press. pp: 282-299. DOI: 10.1007/978-3-319-42691-4_16

Muise, C.; Lipovetzky, N. (2015) “Unplannability IPC Track” Chrpa, L.; Mccluskey, TL.; Roberts, M.; Sanner, S.; Vallati, M. (Ed.) 4th Workshop on The International Planning Competition (WIPC-15) Research Workshop of the Israel Science Foundation. pp: 14-16.

Muise, C.; Miller, T.; Felli, P.; Pearce, AR.; Sonenberg, L. (2015) “Proper Epistemic Knowledge Bases Efficient Reasoning with Consistent” 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 1461-1469.

Muise, C.; Miller, T.; Felli, P.; Pearce, AR.; Sonenberg, L. (2015) “Efficient reasoning with consistent proper epistemic knowledge bases” 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS) The Association for Computing Machinery. pp: 1461-1469. DOI: 10.65109/czvf7435

Oliveira, EA.; Kirley, M.; Kvan, T.; Karakiewicz, J.; Vaz, C. (2015) “Distributed and Hetrogeneous Data Analysis for Smart Urban Planning” Celani, G.; Sperling, DM.; Franco, JMS. (Ed.) 16th CAAD Futures Conference Springer Berlin Heidelberg. pp: 37-54. DOI: 10.1007/978-3-662-47386-3_3

Pfau, J.; Sonenberg, L.; Kashima, Y. (2015) “A two-level computational architecture for modeling human joint action” Taatgen, N.; Van Vught, M.; Borst, J.; Melhorn, K. (Ed.) 13th international Conference on Cognitive Modeling The Netherlands. University of Groningen. pp: 106-111.

Rendl, A.; Guns, T.; Stuckey, PJ.; Tack, G. (2015) “MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc” Pesant, G. (Ed.) 21st International Conference on the Principles and Practice of Constraint Programming (CP) SPRINGER-VERLAG BERLIN. pp: 376-392. DOI: 10.1007/978-3-319-23219-5_27

Sun, Y.; Kirley, M.; Halgamuge, SK. (2015) “Extended Differential Grouping for Large Scale Global Optimization with Direct and Indirect Variable Interactions” Silva, S. (Ed.) 17th Genetic and Evolutionary Computation Conference (GECCO) ASSOC COMPUTING MACHINERY. pp: 313-320. DOI: 10.1145/2739480.2754666

Sun, Y.; Kirley, M.; Halgamuge, SK. (2015) “On the selection of decomposition methods for large scale fully non-separable problems” 2015 Genetic and Evolutionary Computation Conference (GECCO) Association for Computing Machinery. pp: 1213-1216. DOI: 10.1145/2739482.2768483

Other

Blom, M.; Burt, C.; Lipovetzky, N.; Pearce, A.; Stuckey, P. (2015) “Scheduling Tools for Open-Pit Mining Operations”

Muise, C.; Lipovetzky, N.; Ramirez, M. (2015) “MAP-LAPKT: Omnipotent Multi-Agent Planning via Compilation to Classical Planning”

2014

Books

Lipovetzky, N. (2014) “Structure and Inference in Classical Planning”. Australia. AI Access Foundation. pp: -.

Book chapters

Keogh, K.; Sonenberg, L. (2014) “Coordination Using Social Policies in Dynamic Agent Organizations”. Lecture Notes in Computer Science. Springer International Publishing. pp: 83-102. DOI: 10.1007/978-3-319-14220-3_5

Pfau, J.; Kashima, Y.; Sonenberg, L. (2014) “Towards Agent-Based Models of Cultural Dynamics: A Case of Stereotypes”. Studies in the Philosophy of Sociality. pp: 129-147. DOI: 10.1007/978-3-319-01952-9_8

Pfau, J.; Kashima, Y.; Sonenberg, L. (2014) “Towards agent-based models of cultural dynamics: A case of stereotypes”. Dignum, V.; Dignum, F. (Ed.) Perspectives on Culture and Agent Based Simulations Integrating Cultures. Germany. Springer International Publishing. pp: 129-147. DOI: 10.1007/978-3-319-01952-9_8

Journal articles

Aziz, RA.; Chu, G.; Stuckey, PJ. (2014) “Grounding Bound Founded Answer Set Programs” Theory and Practice of Logic Programming Cambridge University Press (CUP). pp: 401-414.

Balbo, AL.; Rubio-campillo, X.; Rondelli, B.; Ramírez, M.; Lancelotti, C.; Torrano, A.; Salpeteur, M.; Lipovetzky, N.; Reyes-garcía, V.; Montañola, C.; Madella, M. (2014) “Agent-Based Simulation of Holocene Monsoon Precipitation Patterns and Hunter-Gatherer Population Dynamics in Semi-arid Environments” Journal of Archaeological Method and Theory SPRINGER. pp: 426-446. DOI: 10.1007/s10816-014-9203-1

Blom, ML.; Burt, CN.; Pearce, AR.; Stuckey, PJ. (2014) “A decomposition-based heuristic for collaborative scheduling in a network of open-pit mines” INFORMS Journal on Computing INFORMS. pp: 658-676. DOI: 10.1287/ijoc.2013.0590

Chu, G.; Garcia De La Banda, M.; Mears, C.; Stuckey, PJ. (2014) “Symmetries, almost symmetries, and lazy clause generation” Constraints SPRINGER. pp: 434-462. DOI: 10.1007/s10601-014-9163-9

De La Banda, MG.; Stuckey, PJ.; Van Hentenryck, P.; Wallace, M. (2014) “The future of optimization technology” Constraints SPRINGER. pp: 126-138. DOI: 10.1007/s10601-013-9149-z

Francis, KG.; Stuckey, PJ. (2014) “Explaining circuit propagation” Constraints SPRINGER. pp: 1-29. DOI: 10.1007/s10601-013-9148-0

Gange, G.; Søndergaard, H.; Stuckey, PJ. (2014) “Synthesizing Optimal Switching Lattices” ACM Transactions on Design Automation of Electronic Systems Association for Computing Machinery. pp: -. DOI: 10.1145/2661632

Konagurthu, AS.; Allison, L.; Abramson, D.; Stuckey, PJ.; Lesk, AM. (2014) “How precise are reported protein coordinate data?” Acta Crystallographica Section D - Biological Crystallography INT UNION CRYSTALLOGRAPHY. pp: 904-906. DOI: 10.1107/S1399004713031787

Kuo, YT.; Lonie, A.; Pearce, AR.; Sonenberg, L. (2014) “Mining surprising patterns and their explanations in clinical data” Applied Artificial Intelligence TAYLOR & FRANCIS INC. pp: 111-138. DOI: 10.1080/08839514.2014.875679

Pfau, J.; Karim, S.; Kirley, M.; Sonenberg, E. (2014) “Improving cognitive agent decision making: Experience trajectories as plans” Web Intelligence IOS Press. pp: 267-287. DOI: 10.3233/WIA-140296

Stivala, A.; Robins, G.; Kashima, Y.; Kirley, M. (2014) “Ultrametric distribution of culture vectors in an extended Axelrod model of cultural dissemination” Scientific Reports NATURE PORTFOLIO. pp: 1-9. DOI: 10.1038/srep04870

Stuckey, PJ.; Feydy, T.; Schutt, A.; Tack, G.; Fischer, J. (2014) “The MiniZinc challenge 2008-2013” AI Magazine AMER ASSOC ARTIFICIAL INTELL. pp: 55-60. DOI: 10.1609/aimag.v35i2.2539

Waycott, J.; Scheepers, R.; Davis, H.; Howard, S.; Sonenberg, L. (2014) “The individual in multiple interacting activity systems: IT-supported diabetes management” Information Technology & People EMERALD GROUP PUBLISHING LTD. pp: 463-481. DOI: 10.1108/ITP-11-2013-0195

Conference Papers

Abio, I.; Stuckey, PJ. (2014) “Encoding Linear Constraints into SAT” Osullivan, B. (Ed.) 20th International Conference on the Principles and Practice of Constraint Programming (CP) SPRINGER INT PUBLISHING AG. pp: 75-91. DOI: 10.1007/978-3-319-10428-7_9

Amadini, R.; Stuckey, PJ. (2014) “Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers” Osullivan, B. (Ed.) 20th International Conference on the Principles and Practice of Constraint Programming (CP) SPRINGER INT PUBLISHING AG. pp: 108-124. DOI: 10.1007/978-3-319-10428-7_11

Belov, G.; Boland, N.; Savelsbergh, MWP.; Stuckey, PJ. (2014) “Local search for a cargo assembly planning problem” 11th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) CH. Springer International Publishing. pp: 159-175. DOI: 10.1007/978-3-319-07046-9_12

Chu, G.; Stuckey, PJ. (2014) “Nested Constraint Programs” Osullivan, B. (Ed.) 20th International Conference on the Principles and Practice of Constraint Programming (CP) SPRINGER INT PUBLISHING AG. pp: 240-255. DOI: 10.1007/978-3-319-10428-7_19

Davies, TO.; Pearce, AR.; Stuckey, PJ.; Sondergaard, H. (2014) “Fragment-Based Planning Using Column Generation” Chien, S.; Do, M.; Fern, A.; Ruml, W. (Ed.) 24th International Conference on Automated Planning and Scheduling (ICAPS) US. AAAI Press. pp: 83-91. DOI: 10.1609/icaps.v24i1.13628

Ewin, C.; Pearce, A.; Vassos, S. (2014) “Transforming Situation Calculus Action Theories for Optimised Reasoning” 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) US. AAAI Press. pp: 448-457.

Felli, P.; Miller, T.; Muise, C.; Pearce, A.; Sonenberg, L. (2014) “Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others” Beetz, M.; Johnston, B.; Williams, M. (Ed.) International Conference on Social Robotics Switzerland. Springer International Publishing. pp: 146-155. DOI: 10.1007/978-3-319-11973-1_15

Francis, K.; Stuckey, PJ. (2014) “Loop Untangling” Osullivan, B. (Ed.) 20th International Conference on the Principles and Practice of Constraint Programming (CP) SPRINGER INT PUBLISHING AG. pp: 340-355. DOI: 10.1007/978-3-319-10428-7_26

Kirley, M.; Von Der Osten, FB. (2014) “Risk aversion and mobility in the public goods game” 2014 Annual Conference on Genetic and Evolutionary Computation Association for Computing Machinery (ACM). pp: 157-158. DOI: 10.1145/2598394.2599988

Kirley, M.; Von Der Osten, FB. (2014) “Adaptive Risk Aversion in Social Dilemmas” Dick, G.; Browne, WN.; Whigham, P.; Zhang, M.; Bui, LT.; Ishibuchi, H.; Jin, Y.; Li, X.; Shi, Y.; Singh, P.; Tan, KC.; Tang, K. (Ed.) 10th International Conference on Simulated Evolution and Learning (SEAL) SPRINGER-VERLAG BERLIN. pp: 443-454. DOI: 10.1007/978-3-319-13563-2_38

Lipovetzky, N.; Burt, CN.; Pearce, A.; Stuckey, PJ. (2014) “Planning for Mining Operations with Time and Resource Constraints” Steve Chien, Minh Do, Alan Fern, And Wheeler Ruml, . (Ed.) 24th International Conference on Automated Planning and Scheduling (ICAPS) US. AAAI Press. pp: 404-412. DOI: 10.1609/icaps.v24i1.13666

Lipovetzky, N.; Geffner, H. (2014) “Width-based Algorithms for Classical Planning: New Results” Schaub, T.; Friedrich, G.; O'sullivan, B. (Ed.) 21st European Conference on Artificial Intelligence (ECAI) IOS Press. pp: 88-90. DOI: 10.3233/978-1-61499-419-0-1059

Marriott, K.; Stuckey, PJ.; Wybrow, M. (2014) “Seeing Around Corners: Fast Orthogonal Connector Routing” Dwyer, T.; Purchase, H.; Delaney, A. (Ed.) 8th International Conference on the Theory and Application of Diagrams (Diagrams) SPRINGER-VERLAG BERLIN. pp: 31-37. DOI: 10.1007/978-3-662-44043-8_4

Mears, C.; Schutt, A.; Stuckey, PJ.; Tack, G.; Marriott, K.; Wallace, M. (2014) “Modelling with Option Types in MiniZinc” 11th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) CH. Springer International Publishing. pp: 88-103. DOI: 10.1007/978-3-319-07046-9_7

Miller, T.; Pearce, A.; Sonenberg, L.; Dignum, F.; Felli, P.; Muise, C. (2014) “Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing” 2014 AAAI Fall Symposium Series AAAI Publications. pp: 113-114.

Oliveira, EA.; Kirley, M.; Vanz, E.; Gama, K. (2014) “hSpy: An Intelligent Framework for Context and Predictive Analysis for Smarter Health Devices” 5th International Conference on Information and Communication Technology Convergence (ICTC) IEEE. pp: 53-58. DOI: 10.1109/ICTC.2014.6983083

Pfau, J.; Miller, T.; Sonenberg, EA. (2014) “Modelling and Using Common Ground in Human-agent Collaboration during Spacecraft Operations” SpaceOps 2014 Conference US (Reston). American Institute of Aeronautics and Astronautics. DOI: 10.2514/6.2014-1862

Rendl, A.; Tack, G.; Stuckey, PJ. (2014) “Stochastic MiniZinc” Osullivan, B. (Ed.) 20th International Conference on the Principles and Practice of Constraint Programming (CP) SPRINGER INT PUBLISHING AG. pp: 636-645. DOI: 10.1007/978-3-319-10428-7_46

Singh, R.; Miller, T.; Sonenberg, L. (2014) “A Preliminary Analysis of Interdependence in Multiagent Systems” Dam, HK.; Pitt, J.; Xu, Y.; Governatori, G.; Ito, T. (Ed.) 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) SPRINGER-VERLAG BERLIN. pp: 381-389. DOI: 10.1007/978-3-319-13191-7_31

Sun, Y.; Halgamuge, SK.; Kirley, M.; Muñoz, MA. (2014) “On the selection of fitness landscape analysis metrics for continuous optimization problems” IEEE 6th International Conference on Information and Automation for Sustainability (ICIAFS) IEEE. pp: -. DOI: 10.1109/ICIAFS.2014.7069635

Von Der Osten, FB.; Kirley, MG.; Miller, T. (2014) “Anticipatory stigmergic collision avoidance under noise” Igel, C. (Ed.) 2014 Genetic and Evolutionary Computation Conference (GECCO) US (New York). ACM Press. pp: 65-72. DOI: 10.1145/2576768.2598389

Other

Lipovetzky, N.; Ramirez, M.; Muise, C.; Geffner, H. (2014) “Width and Inference Based Planners: SIW, BFS (f), and PROBE” Vallati, M.; Chrpa, L.; Mccluskey, TL. (Ed.) Planning, Autonomy and Representation of Knowledge group (PARK), University of Huddersfield.

2013

Book chapters

Muñoz, MA.; Kirley, M.; Halgamuge, SK. (2013) “The algorithm selection problem on the continuous optimization domain”. Moewes, C.; Nurnberger, A. (Ed.) Studies in Computational Intelligence. DE (Berlin). Springer Berlin Heidelberg. pp: 75-89. DOI: 10.1007/978-3-642-32378-2_6

Schrijvers, T.; Tack, G.; Wuille, P.; Samulowitz, H.; Stuckey, PJ. (2013) “An introduction to search combinators”. Albert, E. (Ed.) Lecture Notes in Computer Science. DE (Berlin). Springer Berlin Heidelberg. pp: 2-16. DOI: 10.1007/978-3-642-38197-3_2

Journal articles

Abedini, M.; Kirley, M. (2013) “An enhanced XCS rule discovery module using feature ranking” International Journal of Machine Learning and Cybernetics SPRINGER HEIDELBERG. pp: 173-187. DOI: 10.1007/s13042-012-0085-9

Abedini, M.; Kirley, M.; Chiong, R. (2013) “Incorporating feature ranking and evolutionary methods for the classification of high-dimensional DNA microarray gene expression data” Australasian Medical Journal OMICS Publishing Group. pp: 272-279. DOI: 10.4066/AMJ.2013.1641

Albert, E.; De La Banda, MG.; Gómez-zamalloa, M.; Rojas, JM.; Stuckey, P. (2013) “A CLP heap solver for test case generation” Theory and Practice of Logic Programming CAMBRIDGE UNIV PRESS. pp: 721-735. DOI: 10.1017/S1471068413000458

Aziz, RA.; Chu, G.; Stuckey, PJ. (2013) “Stable model semantics for founded bounds” Theory and Practice of Logic Programming CAMBRIDGE UNIV PRESS. pp: 517-532. DOI: 10.1017/S147106841300032X

Gaire, RK.; Smith, L.; Humbert, P.; Bailey, J.; Stuckey, PJ.; Haviv, I. (2013) “Discovery and analysis of consistent active subnetworks in cancers” BMC Bioinformatics BMC. pp: -. DOI: 10.1186/1471-2105-14-S2-S7

Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2013) “Failure tabled constraint logic programming by interpolation” Theory and Practice of Logic Programming CAMBRIDGE UNIV PRESS. pp: 593-607. DOI: 10.1017/S1471068413000379

Hassan, MR.; Nath, B.; Kirley, M.; Kamruzzaman, J. (2013) “Erratum to A hybrid of multiobjective Evolutionary Algorithm and HMM-Fuzzy model for time series prediction [Neurocomputing, 81 (2012) 1-11]” Neurocomputing ELSEVIER SCIENCE BV. pp: 545-. DOI: 10.1016/j.neucom.2013.04.001

Metodi, A.; Codish, M.; Stuckey, PJ. (2013) “Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems” Journal Of Artificial Intelligence Research, Volume 46, pages 303-341, 2013 AI ACCESS FOUNDATION. pp: 303-341. DOI: 10.1613/jair.3809

Pfau, J.; Kirley, M.; Kashima, Y. (2013) “The co-evolution of cultures, social network communities, and agent locations in an extension of Axelrod's model of cultural dissemination” Physica A - Statistical Mechanics and its Applications ELSEVIER SCIENCE BV. pp: 381-391. DOI: 10.1016/j.physa.2012.09.004

Sabharwal, A.; Samulowitz, H.; Schrijvers, T.; Stuckey, PJ.; Tack, G. (2013) “Automated design of search with composability” Aaai Workshop Technical Report pp: 107-109.

Schrijvers, T.; Tack, G.; Wuille, P.; Samulowitz, H.; Stuckey, PJ. (2013) “Search combinators” Constraints SPRINGER. pp: 269-305. DOI: 10.1007/s10601-012-9137-8

Schutt, A.; Feydy, T.; Stuckey, PJ.; Wallace, MG. (2013) “Solving RCPSP/max by lazy clause generation” Journal of Scheduling SPRINGER. pp: 273-289. DOI: 10.1007/s10951-012-0285-x

Stuckey, P.; Walsh, T. (2013) “Learning within Optimization” Defense Technical Information Center. pp: . DOI: 10.21236/ada575367

Conference Papers

Abedini, M.; Kirley, MG.; Chiong, R.; Weise, T. (2013) “GPU-accelerated eXtended Classifier System” IEEE Symposium on Computational Intelligence and Data Mining (CIDM) US. IEEE Explore. pp: 293-300. DOI: 10.1109/CIDM.2013.6597250

Abio, I.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez-carbonell, E.; Stuckey, PJ. (2013) “To Encode or to Propagate? The Best Choice for Each Constraint in SAT” Schulte, C. (Ed.) 19th International Conference on Principles and Practice of Constraint Programming US (New York). Springer Verlag. pp: 97-106. DOI: 10.1007/978-3-642-40627-0_10

Aziz, RA.; Stuckey, PJ.; Somogyi, Z. (2013) “Inductive Definitions in Constraint Programming” Thirty-Sixth Australasian Computer Science Conference (ACSC) AU (Sydney). Australian Computer Society. pp: 41-50.

Cabellero, R.; Stuckey, PJ.; Tenorio-fornes, A. (2013) “Finite type extensions in constraint programming” 15th Symposium on Principles and Practice of Declarative Programming (PPDP) US (New York). ACM Press. pp: 217-227. DOI: 10.1145/2505879.2505905

Chiong, R.; Kirley, MG. (2013) “A Multi-agent Based Migration Model for Evolving Cooperation in the Spatial N-Player Snowdrift Game” 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) DE (Berlin). Springer. pp: 70-84. DOI: 10.1007/978-3-642-44927-7_6

Chu, GM.; Stuckey, PJ. (2013) “Dominance Driven Search” Schulte, C. (Ed.) 19th International Conference on Principles and Practice of Constraint Programming US (New York). Springer Verlag. pp: 217-229. DOI: 10.1007/978-3-642-40627-0_19

Codish, M.; Miller, A.; Prosser, P.; Stuckey, PJ. (2013) “Breaking symmetries in graph representation” Twenty-Third international joint conference on Artificial Intelligence (IJCAI) US (New York). ACM Press. pp: 510-516.

Francis, K.; Navas, JA.; Stuckey, PJ. (2013) “Modelling Destructive Assignments” Schulte, C. (Ed.) 19th International Conference on Principles and Practice of Constraint Programming US (New York). Springer Verlag. pp: 315-330. DOI: 10.1007/978-3-642-40627-0_26

Gange, G.; Navas, JA.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2013) “Abstract Interpretation over Non-Lattice Abstract Domains” Logozzo, F.; Fahndrich, M. (Ed.) 20th International Static Analysis Symposium Berlin, Germany. Springer. pp: 6-24. DOI: 10.1007/978-3-642-38856-9_3

Gange, G.; Navas, JA.; Stuckey, PJ.; Sondergaard, H.; Schachte, P. (2013) “Unbounded model-checking with interpolation for regular language constraints” Piterman, N.; Smolka, SA. (Ed.) 19th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Berlin, Germany. Springer Berlin Heidelberg. pp: 277-291. DOI: 10.1007/978-3-642-36742-7_20

Gange, G.; Sondergaard, H.; Stuckey, PJ.; Schachte, P. (2013) “Solving Difference Constraints over Modular Arithmetic” Bonacina, MP. (Ed.) 24th International Conference on Automated Deduction (CADE-24) DE (Berlin). Springer Berlin Heidelberg. pp: 215-230. DOI: 10.1007/978-3-642-38574-2_15

Gange, G.; Stuckey, PJ.; Van Hentenryck, P. (2013) “Explaining propagators for edge-valued decision diagrams” Schulte, C. (Ed.) International Conference on Principles and Practice of Constraint Programming US (New York). Springer Verlag. pp: 340-355. DOI: 10.1007/978-3-642-40627-0_28

Gu, H.; Schutt, A.; Stuckey, PJ. (2013) “A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects” 10th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR) DE (Berlin). Springer. pp: 340-346. DOI: 10.1007/978-3-642-38171-3_24

Keogh, KN.; Sonenberg, EA. (2013) “Coordination Using Social Policies in Dynamic Agent Organizations” 9th Coordination, Organizations, Institutions and Norms in Agent Systems Workshop Series Switzerland. Springer International Publishing. pp: 83-102. DOI: 10.1007/978-3-319-07314-9_5

Konagurthu, AS.; Allison, L.; Abramson, D.; Stuckey, PJ.; Lesk, AM. (2013) “Statistical inference of protein "LEGO bricks"” Xiong, H.; Karypis, G.; Thuraisingham, B.; Cook, D.; Wu, X. (Ed.) IEEE 13th International Conference on Data Mining (ICDM) IEEE. pp: 1091-1096. DOI: 10.1109/ICDM.2013.73

Patrizi, F.; Lipovetzky, N.; Geffner, H. (2013) “Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners” 23rd International Joint Conference on Artificial Intelligence (IJCAI) US. AAAI Press. pp: 2343-2349.

Schutt, A.; Feydy, TA.; Stuckey, PJ. (2013) “Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint” 10th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR) DE (Berlin). Springer-Verlag Heidelberg. pp: 234-250. DOI: 10.1007/978-3-642-38171-3_16

Schutt, A.; Feydy, TA.; Stuckey, PJ. (2013) “Scheduling optional tasks with explanation” Schulte, C. (Ed.) 19th International Conference on Principles and Practice of Constraint Programming (CP) US (New York). Springer Verlag. pp: 628-644. DOI: 10.1007/978-3-642-40627-0_47

Stuckey, PJ. (2013) “There Are No CNF Problems” 16th International Conference on Theory and Applications of Satisfiability Testing DE (Berlin). Springer. pp: 19-21. DOI: 10.1007/978-3-642-39071-5_3

Stuckey, PJ. (2013) “Those who cannot remember the past are condemned to repeat it” Schulte, C. (Ed.) 19th International Conference on Principles and Practice of Constraint Programming (CP) US (New York). Springer Verlag. pp: 5-6. DOI: 10.1007/978-3-642-40627-0_3

Stuckey, PJ.; Tack, G. (2013) “MiniZinc with Functions” 10th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR) DE (Berlin). Springer. pp: 268-283. DOI: 10.1007/978-3-642-38171-3_18

Varmazyar, M.; Haritos, N.; Kirley, M. (2013) “Damage severity estimation using parallel genetic algorithm and power spectral density” 22nd Australasian Conference on the Mechanics of Structures and Materials AU (Brisbane). CRC Press. pp: 983-989. DOI: 10.1201/b15320-175

Varmazyar, M.; Haritos, N.; Kirley, M. (2013) “Structural damage identification using power spectral density and an evolutionary algorithm” 11th International Conference on Structural Safety and Reliabity (ICOSSAR) US (New York). CRC Press. pp: 4699-4706. DOI: 10.1201/b16387-679

Varmazyar, M.; Haritos, N.; Kirley, M.; Peterson, T. (2013) “A one stage damage detection technique using spectral density analysis and parallel genetic algorithms” Chiu, WK.; Galea, SC. (Ed.) 4th Asia-Pacific Workshop on Structural Health Monitoring US (New Jersey). TRANS TECH PUBLICATIONS LTD. pp: 1-11. DOI: 10.4028/www.scientific.net/KEM.558.1

2012

Book chapters

Keogh, K.; Sonenberg, L. (2012) “Adaptive coordination in distributed and dynamic agent organizations”. Cranefield, S.; Vazquez-salceda, J.; Van Riemsdijk, B.; Noriega, P. (Ed.) Lecture Notes in Computer Science. DE (Berlin). Springer Berlin Heidelberg. pp: 38-57. DOI: 10.1007/978-3-642-35545-5_3

Sonenberg, EA.; So, WC. (2012) “Situation Awareness: An Agent-oriented Software Engineering Perspective”. Bhatt, M.; Guesgen, HW. (Ed.) Situational Awareness for Assistive Technologies: Volume 14 of Ambient Intelligence and Smart Environments. NL (Amsterdam). IOS Press. pp: 125-139.

Journal articles

Barnes, N.; Baumgartner, P.; Caetano, T.; Durrant-whyte, H.; Klein, G.; Sanderson, P.; Sattar, A.; Stuckey, P.; Thiebaux, S.; Van Hentenryck, P.; Walsh, T. (2012) “AI@NICTA” AI Magazine AMER ASSOC ARTIFICIAL INTELL. pp: 115-127. DOI: 10.1609/aimag.v33i3.2430

Chiong, R.; Kirley, M. (2012) “Random mobility and the evolution of cooperation in spatial N-player iterated Prisoner's Dilemma games” Physica A - Statistical Mechanics and its Applications ELSEVIER. pp: 3915-3923. DOI: 10.1016/j.physa.2012.03.010

Chiong, R.; Kirley, M. (2012) “Effects of iterated interactions in multiplayer spatial evolutionary games” IEEE Transactions on Evolutionary Computation IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. pp: 537-555. DOI: 10.1109/TEVC.2011.2167682

Chu, G.; De La Banda, MG.; Stuckey, PJ. (2012) “Exploiting subproblem dominance in constraint programming” Constraints SPRINGER. pp: 1-38. DOI: 10.1007/s10601-011-9112-9

Chu, G.; Stuckey, PJ. (2012) “A complete solution to the Maximum Density Still Life Problem” Artificial Intelligence ELSEVIER. pp: 1-16. DOI: 10.1016/j.artint.2012.02.001

Rafiul Hassan, M.; Nath, B.; Kirley, M.; Kamruzzaman, J. (2012) “A hybrid of multiobjective Evolutionary Algorithm and HMM-Fuzzy model for time series prediction” Neurocomputing ELSEVIER. pp: 1-11. DOI: 10.1016/j.neucom.2011.09.012

Rezaei, G.; Kirley, M. (2012) “Dynamic social networks facilitate cooperation in the N-player Prisoner's Dilemma” Physica A - Statistical Mechanics and its Applications ELSEVIER. pp: 6199-6211. DOI: 10.1016/j.physa.2012.06.071

Sonenberg, L.; Stone, P.; Tumer, K.; Yolum, P. (2012) “Ten years of autonomous agents and multiagent systems” AI Magazine AMER ASSOC ARTIFICIAL INTELL. pp: 11-13. DOI: 10.1609/aimag.v33i3.2423

Conference Papers

Abedini, M.; Kirley, M.; Chiong, R. (2012) “FS-XCS vs. GRD-XCS: An analysis using high-dimensional DNA microarray gene expression data sets” Khanna, S.; Sattar, A.; Hansen, D. (Ed.) Australian Workshop on Artificial Intelligence in Health (AIH) CEUR Workshop Proceedings. pp: 21-32.

Abío, I.; Stuckey, PJ. (2012) “Conflict directed lazy decomposition” 18th International Conference on Principles and Practice of Constraint Programming DE (Berlin). Springer Berlin Heidelberg. pp: 70-85. DOI: 10.1007/978-3-642-33558-7_8

Chico De Guzmán, P.; Carro, M.; Hermenegildo, MV.; Stuckey, P. (2012) “A general implementation framework for tabled CLP” Schrijvers, T.; Thiemann, P. (Ed.) 11th International Symposium on Functional and Logic Programming (FLOPS) DE (Berlin). SPRINGER INTERNATIONAL PUBLISHING AG. pp: 104-119. DOI: 10.1007/978-3-642-29822-6_11

Chiong, R.; Kirley, M. (2012) “The evolution of cooperation via stigmergic interactions” IEEE Congress on Evolutionary Computation (CEC) US (California). IEEE. pp: -. DOI: 10.1109/CEC.2012.6256474

Chu, G.; Stuckey, PJ. (2012) “A generic method for identifying and exploiting dominance relations” 18th International Conference on Principles and Practice of Constraint Programming DE (Berlin). Springer Berlin Heidelberg. pp: 6-22. DOI: 10.1007/978-3-642-33558-7_4

Chu, G.; Stuckey, PJ. (2012) “Inter-instance nogood learning in constraint programming” 18th International Conference on Principles and Practice of Constraint Programming DE (Berlin). Springer Berlin Heidelberg. pp: 238-247. DOI: 10.1007/978-3-642-33558-7_19

De Cat, B.; Denecker, M.; Stuckey, P. (2012) “Lazy model expansion by incremental grounding” 28th International Conference on Logic Programming DE (Saarbrucken). Schloss Dagstuhl. pp: 201-211. DOI: 10.4230/LIPIcs.ICLP.2012.201

Downing, N.; Feydy, T.; Stuckey, PJ. (2012) “Explaining flow-based propagation” The 9th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR 2012) DE (Berlin). Springer Berlin Heidelberg. pp: 146-162. DOI: 10.1007/978-3-642-29828-8_10

Downing, N.; Feydy, T.; Stuckey, PJ. (2012) “Explaining alldifferent” 35th Australasian Computer Science Conference (ACSC 2012) AU (Sydney). Australian Computer Society. pp: 115-124.

Francis, K.; Brand, S.; Stuckey, PJ. (2012) “Optimisation modelling for software developers” 18th International Conference on Principles and Practice of Constraint Programming DE (Berlin). Springer Berlin Heidelberg. pp: 274-289. DOI: 10.1007/978-3-642-33558-7_22

Gange, G.; Marriott, K.; Stuckey, P. (2012) “Optimal guillotine layout” DocEng '12: ACM Symposium on Document Engineering AU (Melbourne). ACM. pp: 13-22. DOI: 10.1145/2361354.2361359

Gange, G.; Stuckey, PJ. (2012) “Explaining propagators for s-DNNF circuits” The 9th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR 2012) DE (Berlin). Springer Berlin Heidelberg. pp: 195-210. DOI: 10.1007/978-3-642-29828-8_13

Gu, H.; Stuckey, PJ.; Wallace, MG. (2012) “Maximising the net present value of large resource-constrained projects” 18th International Conference on Principles and Practice of Constraint Programming DE (Berlin). Springer Berlin Heidelberg. pp: 767-781. DOI: 10.1007/978-3-642-33558-7_55

Lipovetzky, N.; Geffner, H. (2012) “Width and serialization of classical planning problems” Deraedt, L.; Bessiere, C.; Dubois, D.; Doherty, P.; Frasconi, P.; Heintz, F.; Lucas, P. (Ed.) 20th European Conference on Artificial Intelligence (ECAI) NL (Amsterdam). IOS PRESS. pp: 540-545. DOI: 10.3233/978-1-61499-098-7-540

Muñoz, MA.; Kirley, M.; Halgamuge, SK. (2012) “Landscape characterization of numerical optimization problems using biased scattered data” IEEE Congress on Evolutionary Computation (CEC) US (New York). IEEE. pp: -. DOI: 10.1109/CEC.2012.6256490

Muñoz, MA.; Kirley, M.; Halgamuge, SK. (2012) “A meta-learning prediction model of algorithm performance for continuous optimization problems” Parallel Problem Solving from Nature - PPSN XII DE. Springer Berlin Heidelberg. pp: 226-235. DOI: 10.1007/978-3-642-32937-1_23

Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. (2012) “Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code” Jhala, R.; Igarashi, A. (Ed.) 10th Asian Symposium on Programming Languages and Systems (APLAS) DE (Berlin). Springer Berlin Heidelberg. pp: 115-130. DOI: 10.1007/978-3-642-35182-2_9

Nguyen, MV.; Kirley, M.; García-flores, R. (2012) “Community evolution in a scientific collaboration network” IEEE Congress on Evolutionary Computation (CEC) US (California). IEEE. pp: -. DOI: 10.1109/CEC.2012.6256434

Pfau, J.; Kirley, M.; Kashima, Y. (2012) “An agent-based model of stereotype communication” Springer Berlin Heidelberg. pp: 32-47. DOI: 10.1007/978-3-642-35612-4_3

Pfau, J.; Sonenberg, L.; Kashima, Y. (2012) “Towards a computational formalism for a grounding model of cultural transmission” ASE/IEEE International Conference on Privacy, Security, Risk and Trust / ASE/IEEE International Confernece on Social Computing (SocialCom/PASSAT) US (Washington DC). IEEE. pp: 383-391. DOI: 10.1109/SocialCom-PASSAT.2012.81

Schutt, A.; Chu, G.; Stuckey, PJ.; Wallace, MG. (2012) “Maximising the net present value for resource-constrained project scheduling” The 9th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR 2012) DE (Berlin). Springer Berlin Heidelberg. pp: 362-378. DOI: 10.1007/978-3-642-29828-8_24

Wybrow, M.; Marriott, K.; Stuckey, PJ. (2012) “Orthogonal hyperedge routing” 7th International Conference on the Theory and Application of Diagrams DE (Berlin). Springer Berlin Heidelberg. pp: 51-64. DOI: 10.1007/978-3-642-31223-6_10

2011

Journal articles

Baatar, D.; Boland, N.; Brand, S.; Stuckey, PJ. (2011) “CP and IP approaches to cancer radiotherapy delivery optimization” Constraints SPRINGER. pp: 173-194. DOI: 10.1007/s10601-010-9104-1

De La Banda, MG.; Stuckey, PJ.; Chu, G. (2011) “Solving talent scheduling with dynamic programming” INFORMS Journal on Computing INFORMS. pp: 120-137. DOI: 10.1287/ijoc.1090.0378

Gange, G.; Stuckey, PJ.; Szymanek, R. (2011) “MDD propagators with explanation” Constraints SPRINGER. pp: 407-429. DOI: 10.1007/s10601-011-9111-x

Grieser, K.; Baldwin, T.; Bohnert, F.; Sonenberg, L. (2011) “Using ontological and document similarity to estimate museum exhibit relatedness” ACM Journal on Computing and Cultural Heritage Association for Computing Machinery (ACM). pp: 1-20. DOI: 10.1145/1921614.1921617

Konagurthu, AS.; Allison, L.; Stuckey, PJ.; Lesk, AM. (2011) “Piecewise linear approximation of protein structures using the principle of minimum message length” Bioinformatics Oxford University Press (OUP). pp: i43-i51. DOI: 10.1093/bioinformatics/btr240

Netto, MAS.; Vecchiola, C.; Kirley, M.; Varela, CA.; Buyya, R. (2011) “Use of run time predictions for automatic co-allocation of multi-cluster resources for iterative parallel applications” Journal of Parallel and Distributed Computing ACADEMIC PRESS INC ELSEVIER SCIENCE. pp: 1388-1399. DOI: 10.1016/j.jpdc.2011.05.007

Pasquier, P.; Hollands, R.; Rahwan, I.; Dignum, F.; Sonenberg, L. (2011) “An empirical study of interest-based negotiation” Autonomous Agents and Multi-Agent Systems SPRINGER. pp: 249-288. DOI: 10.1007/s10458-010-9125-6

Puchinger, J.; Stuckey, PJ.; Wallace, MG.; Brand, S. (2011) “Dantzig-Wolfe decomposition and branch-and-price solving in G12” Constraints SPRINGER. pp: 77-99. DOI: 10.1007/s10601-009-9085-0

Schutt, A.; Feydy, T.; Stuckey, PJ.; Wallace, MG. (2011) “Explaining the cumulative propagator” Constraints SPRINGER. pp: 250-282. DOI: 10.1007/s10601-010-9103-2

Stivala, A.; Wybrow, M.; Wirth, A.; Whisstock, JC.; Stuckey, PJ. (2011) “Automatic generation of protein structure cartoons with pro-origami” Bioinformatics OXFORD UNIV PRESS. pp: 3315-3316. DOI: 10.1093/bioinformatics/btr575

Zhang, M.; Kirley, M.; Li, X. (2011) “Guest Editorial: Special issue on evolutionary optimisation and learning” Soft Computing Springer Science and Business Media LLC. pp: 1671-1673. DOI: 10.1007/s00500-010-0609-8

Conference Papers

Abedini, M.; Kirley, M. (2011) “Guided rule discovery in XCS for high-dimensional classification problems” Wang, DH.; Reynolds, M. (Ed.) 24th Australasian Joint Conference on Artificial Intelligence (AI) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 1-10. DOI: 10.1007/978-3-642-25832-9_1

Abío, I.; Deters, M.; Nieuwenhuis, R.; Stuckey, PJ. (2011) “Reducing chaos in SAT-like search: Finding solutions close to a given one” Sakallah, KA.; Simon, L. (Ed.) 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) US (New York). SPRINGER-VERLAG BERLIN. pp: 273-286. DOI: 10.1007/978-3-642-21581-0_22

Chiong, R.; Kirley, M. (2011) “Iterated N-player games on small-world networks” Krasnogor, N. (Ed.) 13th Annual Genetic and Evolutionary Computation Conference (GECCO) US (New York). ASSOC COMPUTING MACHINERY. pp: 1123-1130. DOI: 10.1145/2001576.2001728

Chu, G.; Stuckey, PJ.; De La Banda, MG.; Mears, C. (2011) “Symmetries and lazy clause generation” ICJA 2011 US (California). IJCAI Incorporated. pp: 516-521. DOI: 10.5591/978-1-57735-516-8/IJCAI11-094

De Koninck, L.; Brand, S.; Stuckey, PJ. (2011) “Constraints in non-boolean contexts” 27th International Conference on Logic Programming DE (Saarbrucken). Schloss Dagstuhl. pp: 117-127.

Dumesny, J.; Miller, T.; Kirley, M.; Sonenberg, L. (2011) “TATM: A trust mechanism for social traders in double auctions” Wang, DH.; Reynolds, M. (Ed.) 24th Australasian Joint Conference on Artificial Intelligence (AI) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 402-411. DOI: 10.1007/978-3-642-25832-9_41

Feydy, T.; Somogyi, Z.; Stuckey, PJ. (2011) “Half reification and flattening” 17th International Conference on Principles and Practice of Constraint Programming (CP'11) DE (Heidelberg). Springer Berlin Heidelberg. pp: 286-301. DOI: 10.1007/978-3-642-23786-7_23

Gange, G.; Marriott, K.; Moulder, P.; Stuckey, P. (2011) “Optimal automatic table layout” 11th ACM Symposium on Document Engineering (DocEng 2011) US (New York). ASSOC COMPUTING MACHINERY. pp: 23-31. DOI: 10.1145/2034691.2034697

Gange, G.; Stuckey, PJ.; Marriott, K. (2011) “Optimal k-level planarization and crossing minimization” Brandes, U.; Cornelsen, S. (Ed.) 18th International Symposium on Graph Drawing US (New York). SPRINGER-VERLAG BERLIN. pp: 238-249. DOI: 10.1007/978-3-642-18469-7_22

Konagurthu, AS.; Allison, L.; Stuckey, PJ.; Lesk, AM. (2011) “Piecewise linear approximation of protein structures using the principle of minimum message length” 19th Annual International Conference on Intelligent Systems for Molecular Biology/10th European Conference on Computational Biology OXFORD UNIV PRESS. pp: I43-I51. DOI: 10.1093/bioinformatics/btr240

Lipovetzky, N.; Geffner, H. (2011) “Searching for plans with carefully designed probes” Twenty-First International Conference on Automated Planning and Scheduling US. Association for the Advancement of Artificial Intelligence (AAAI). pp: 154-161. DOI: 10.1609/icaps.v21i1.13470

Metodi, A.; Codish, M.; Lagoon, V.; Stuckey, PJ. (2011) “Boolean equi-propagation for optimized SAT encoding” 17th International Conference (CoRR2011) DE (Berlin). Springer Berlin Heidelberg. pp: 621-636. DOI: 10.1007/978-3-642-23786-7_47

Patrizi, F.; Lipovetzky, N.; De Giacomo, G.; Geffner, H. (2011) “Computing Infinite Plans for LTL Goals Using a Classical Planner” Twenty-Second international joint conference on Artificial Intelligence (IJCAI) US. AAAI Press. pp: 2003-2008. DOI: 10.5591/978-1-57735-516-8/IJCAI11-334

Pearce, AR.; Sonenberg, L.; Nixon, P. (2011) “Toward resilient human-robot interaction through situation projection for effective joint action” AAAI Fall Symposium 2011: Robot-Human Teamwork in Dynamic Adverse Environment US (California). Association for the Advancement of Artificial Intelligence. pp: 44-48.

Scheepers, R.; Davis, H.; Sonenberg, L.; Howard, S. (2011) “Consumer health ICT and the patient in the middle: Adopter and/or influencer?” Pacific Asia Conference Information Systems US (New York). AISel.

Schrijvers, T.; Tack, G.; Wuille, P.; Samulowitz, H.; Stuckey, PJ. (2011) “Search combinators” 17th International Conference on Principles and Practice of Constraint Programming DE (Heidelberg). Springer Berlin Heidelberg. pp: 774-788. DOI: 10.1007/978-3-642-23786-7_58

Schutt, A.; Stuckey, PJ.; Verden, AR. (2011) “Optimal carpet cutting” 17th International Conference on Principles and Practice of Constraint Programming DE (Heidelberg). Springer Berlin Heidelberg. pp: 69-84. DOI: 10.1007/978-3-642-23786-7_8

Sonenberg, L. (2011) “From Notions to Models and Back Again, Again” Kinny, D.; Hsu, JYJ.; Governatori, G.; Ghose, A. (Ed.) 14th International Conference on Agents in Principles and Agents in Practice SPRINGER-VERLAG BERLIN. pp: 3-3. DOI: 10.1007/978-3-642-25044-6_3

Wuille, P.; Schrijvers, T.; Samulowitz, H.; Tack, G.; Stuckey, P. (2011) “Memoizing a monadic mixin DSL” Kuchen, H. (Ed.) 20th International Workshop on Functional and Constraint Logic Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 68-85. DOI: 10.1007/978-3-642-22531-4_5

Other

Lipovetzky, N.; Geffner, H. (2011) “Searching with probes: The classical planner probe” pp: 71-71.

2010

Book chapters

Dignum, V.; Dignum, F.; Sonenberg, L. (2010) “Design and Analysis of Organization Adaptation in Agent Systems”. Yilmaz, .; Oren, . (Ed.) Agent Directed Simulation and Systems Engineering. GB (London). Wiley. pp: 237-267. DOI: 10.1002/9783527627783.ch9

Journal articles

Chu, GG.; Harwood, A.; Stuckey, P. (2010) “Cache Conscious Data Structures for Boolean Satisfiability Solvers” Journal of Satisfiability, Boolean Modeling and Computation IOS Press. pp: 99-120. DOI: 10.3233/sat190064

Gaire, RK.; Bailey, J.; Bearfoot, J.; Campbell, IG.; Stuckey, PJ.; Haviv, I. (2010) “MIRAGAA-A methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer” Bioinformatics OXFORD UNIV PRESS. pp: 161-167. DOI: 10.1093/bioinformatics/btp654

Gange, G.; Stuckey, PJ.; Lagoon, V. (2010) “Fast set bounds propagation using a BDD-SAT hybrid” The journal of artificial intelligence research AI ACCESS FOUNDATION. pp: 307-338. DOI: 10.1613/jair.3014

Kelly, RF.; Pearce, AR. (2010) “Property persistence in the situation calculus” Artificial Intelligence ELSEVIER. pp: 865-888. DOI: 10.1016/j.artint.2010.05.003

Konagurthu, AS.; Reboul, CF.; Schmidberger, JW.; Irving, JA.; Lesk, AM.; Stuckey, PJ.; Whisstock, JC.; Buckle, AM. (2010) “MUSTANG-MR structural sieving server: Applications in protein structural analysis and crystallography” Fernandez-fuentes, N. (Ed.) PLoS ONE PUBLIC LIBRARY SCIENCE. pp: -. DOI: 10.1371/journal.pone.0010048

Schutt, A.; Stuckey, PJ. (2010) “Incremental satisfiability and implication for UTVPI constraints” INFORMS Journal on Computing INFORMS. pp: 514-527. DOI: 10.1287/ijoc.1090.0369

Stivala, A.; Stuckey, PJ.; De La Banda, MG.; Hermenegildo, M.; Wirth, A. (2010) “Lock-free parallel dynamic programming” Journal of Parallel and Distributed Computing ACADEMIC PRESS INC ELSEVIER SCIENCE. pp: 839-848. DOI: 10.1016/j.jpdc.2010.01.004

Stivala, AD.; Stuckey, PJ.; Wirth, AI. (2010) “Fast and accurate protein substructure searching with simulated annealing and GPUs” BMC Bioinformatics BMC. pp: -. DOI: 10.1186/1471-2105-11-446

Stuckey, PJ. (2010) “Introduction to the special issue on the fourteenth international conference on principles and practice of constraint programming (CP 2008)” Constraints SPRINGER. pp: 149-150. DOI: 10.1007/s10601-009-9090-3

Stuckey, PJ.; Becket, R.; Fischer, J. (2010) “Philosophy of the MiniZinc challenge” Constraints SPRINGER. pp: 307-316. DOI: 10.1007/s10601-010-9093-0

Wybrow, M.; Marriott, K.; Stuckey, PJ. (2010) “Orthogonal connector routing” Eppstein, D.; Gansner, ER. (Ed.) Lecture Notes in Computer Science SPRINGER-VERLAG BERLIN. pp: 219-231. DOI: 10.1007/978-3-642-11805-0_22

Conference Papers

Abedini, M.; Kirley, M. (2010) “A multiple population XCS: Evolving condition-action rules based on feature space partitions” 2010 IEEE World Congress on Computational Intelligence US (New Jersey). IEEE. pp: -. DOI: 10.1109/CEC.2010.5586521

Berthold, T.; Feydy, T.; Stuckey, PJ. (2010) “Rapid learning for binary programs” Lodi, A.; Milano, M.; Toth, P. (Ed.) 7th International Conference Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 51-55. DOI: 10.1007/978-3-642-13520-0_8

Blom, ML.; Pearce, AR. (2010) “Relaxing regression for a heuristic GOLOG” Agotnes, T. (Ed.) 5th International Symposium for Artificial Intelligence Researchers (STAIRS) NL (Amsterdam). IOS PRESS. pp: 37-49. DOI: 10.3233/978-1-60750-676-8-37

Chiong, R.; Kirley, M. (2010) “Imitation vs evolution: Analysing the effects of strategy update mechanisms in N-player social dilemmas” 2010 IEEE World Congress on Computational Intelligence US (New Jersey). IEEE. pp: -. DOI: 10.1109/CEC.2010.5586328

Chiong, R.; Kirley, M. (2010) “Evolving cooperation in the spatial N-player Snowdrift game” Li, JY. (Ed.) 23rd Australasian Joint Conference on Artificial Intelligence DE (Heidelberg). SPRINGER-VERLAG BERLIN. pp: 263-272. DOI: 10.1007/978-3-642-17432-2_27

Chu, G.; De La Banda, MG.; Stuckey, PJ. (2010) “Automatically exploiting subproblem equivalence in constraint programming” Lodi, A.; Milano, M.; Toth, P. (Ed.) 7th International Conference Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 71-86. DOI: 10.1007/978-3-642-13520-0_10

Davis, HJD.; Scheepers, RS.; Hagger, V.; Howard, SH.; Scibilia, R.; Sonenberg, EAS.; Tidhar, GT. (2010) “Smartpumps: A Negotiated Relative Advantage?” Smart Health '10 AU (Brisbane). Queensland University of Technology.

De Giacomo, G.; Lespérance, Y.; Pearce, AR. (2010) “Situation calculus-based programs for representing and reasoning about game structures” ProInternational Conference on the Principles of Knowledge Representation and Reasoning (KR 2010) US (California). Association for the Advancement of Artificial Intelligence. pp: 445-455.

Downing, N.; Stuckey, PJ.; Wirth, A. (2010) “Improved Consensus Clustering via linear programming” 33rd Australasian Computer Science Conference (ACSC 2010) AU (Sydney). Australian Computer Society. pp: 61-69.

Goschnick, S.; Sonenberg, L.; Balbo, S. (2010) “A composite task meta-model as a reference model” Forbrig, P.; Paterno, F.; Pejtersen, AM. (Ed.) 2nd IFIP TC 13 Symposium on Human-Computer Interaction DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 26-38. DOI: 10.1007/978-3-642-15231-3_4

Pfau, J.; Kirley, MGK.; Kashima, YK. (2010) “Globalization and Cultural Diversity” 3rd World Congress on Social Simulation WCSS2010 DE (Kassel). World Congree on Social Stimulation. pp: 1-8.

Rezaei, G.; Pfau, J.; Kirley, M. (2010) “Distributed advice-seeking on an evolving social network” 2010 IEEE/ACM International Conference on Web Intelligence-Intelligent Agent Technology (WI-IAT) US (California). IEEE. pp: 24-31. DOI: 10.1109/WI-IAT.2010.78

Stuckey, PJ. (2010) “Lazy clause generation: Combining the power of SAT and CP (and MIP?) solving” Lodi, A.; Milano, M.; Toth, P. (Ed.) 7th International Conference Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 5-9. DOI: 10.1007/978-3-642-13520-0_3

Vecchiola, C.; Abedini, M.; Kirley, M.; Chu, X.; Buyya, R. (2010) “Gene expression classification with a novel coevolutionary based learning classifier system on public clouds” 2010 Sixth IEEE International Conference on E-Science Workshops US (New Jersey). IEEE. pp: 92-97. DOI: 10.1109/eScienceW.2010.24

2009

Book chapters

Keogh, K.; Sonenberg, L.; Smith, W. (2009) “Coordination in adaptive organisations: Extending shared plans with knowledge cultivation”. Vouros, G.; Artikis, A.; Stathis, K.; Pitt, J. (Ed.) Lecture Notes in Computer Science. DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 90-107. DOI: 10.1007/978-3-642-02377-4_6

Journal articles

Feydy, T.; Stuckey, PJ. (2009) “Propagating systems of dense linear integer constraints” Constraints SPRINGER. pp: 235-253. DOI: 10.1007/s10601-008-9049-9

Khaled Ahsan Talukder, AKM.; Kirley, M.; Buyya, R. (2009) “Multiobjective differential evolution for scheduling workflow applications on global Grids” Concurrency Computation Practice and Experience WILEY. pp: 1742-1756. DOI: 10.1002/cpe.1417

Kirley, M.; Zhang, M.; Li, X. (2009) “Special issue on simulated evolution and learning” Evolutionary Intelligence Springer Science and Business Media LLC. pp: 149-150. DOI: 10.1007/s12065-009-0033-0

Moss, R.; Kazmierczak, E.; Kirley, M.; Harris, P. (2009) “Discrete network models of interacting nephrons” Physica D : Non-linear phenomena ELSEVIER SCIENCE BV. pp: 2166-2176. DOI: 10.1016/j.physd.2009.08.015

Moss, R.; Kazmierczak, E.; Kirley, M.; Harris, P. (2009) “A computational model for emergent dynamics in the kidney” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences ROYAL SOC. pp: 2125-2140. DOI: 10.1098/rsta.2008.0313

Ohrimenko, O.; Stuckey, PJ.; Codish, M. (2009) “Propagation via lazy clause generation” Constraints SPRINGER. pp: 357-391. DOI: 10.1007/s10601-008-9064-x

Rahwan, I.; Pasquier, P.; Sonenberg, L.; Dignum, F. (2009) “A formal analysis of interest-based negotiation” Annals of Mathematics and Artificial Intelligence SPRINGER. pp: 253-276. DOI: 10.1007/s10472-009-9145-6

Rezaei, G.; Kirley, M. (2009) “The effects of time-varying rewards on the evolution of cooperation” Evolutionary Intelligence Springer Science and Business Media LLC. pp: 207-218. DOI: 10.1007/s12065-009-0032-1

Schrijvers, T.; Stuckey, P.; Wadler, P. (2009) “Monadic constraint programming” Journal of Functional Programming CAMBRIDGE UNIV PRESS. pp: 663-697. DOI: 10.1017/S0956796809990086

Schulte, C.; Stuckey, PJ. (2009) “Erratum: Efficient constraint propagation engines (ACM Transactions on Programming Languages and Systems 31:1 DOI 10.1145/1452044/1452046)” ACM Transactions on Programming Languages and Systems ASSOC COMPUTING MACHINERY. pp: CP2-CP2. DOI: 10.1145/1462166.1462170

Stivala, A.; Wirth, A.; Stuckey, PJ. (2009) “Tableau-based protein substructure search using quadratic programming” BMC Bioinformatics Springer Science and Business Media LLC. pp: 153-. DOI: 10.1186/1471-2105-10-153

Subagdja, B.; Sonenberg, L.; Rahwan, I. (2009) “Intentional learning agent architecture” Autonomous Agents and Multi-Agent Systems SPRINGER. pp: 417-470. DOI: 10.1007/s10458-008-9066-5

Conference Papers

Abedini, M.; Kirley, M. (2009) “CoXCS: A coevolutionary learning classifier based on feature space partitioning” Nicholson, A.; Li, X. (Ed.) 22nd Australian Joint Conference on Artificial Intelligence DE (Heidelberg). SPRINGER-VERLAG BERLIN. pp: 360-369. DOI: 10.1007/978-3-642-10439-8_37

Acay, DL.; Sonenberg, L.; Ricci, A.; Pasquier, P. (2009) “How situated is your agent? a cognitive perspective” Hindriks, KV.; Pokahr, A.; Sardina, S. (Ed.) 6th International Workshop on Programming Multi-Agent Systems US (New York). SPRINGER-VERLAG BERLIN. pp: 136-151. DOI: 10.1007/978-3-642-03278-3_9

Acay, LD.; Sonenberg, E.; Ricci, .; Pasquier, . (2009) “How situated is your agent? a cognitive perspective” ProMAS 2008: Programming Multi-Agent Systems DE. Springer Verlag. pp: 136-151.

Black, J.; Koch, F.; Sonenberg, L.; Scheepers, R.; Khandoker, A.; Charry, E.; Walker, B.; Soe, NL. (2009) “Mobile solutions for front-line health workers in developing countries” 11th International Conference on e-Health Networking, Applications and Services US (New Jersey). IEEE. pp: 89-93. DOI: 10.1109/HEALTH.2009.5406188

Blom, ML.; Pearce, AR. (2009) “An argumentation-based interpreter for Golog programs” Boutilier, C. (Ed.) 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) US (California). IJCAI-INT JOINT CONF ARTIF INTELL. pp: 690-695.

Chiong, R.; Kirley, M. (2009) “Co-evolutionary learning in the N-player iterated prisoner's dilemma with a structured environment” Korb, K.; Randall, M.; Hendtlass, T. (Ed.) 4th Australian Conference on Artificial Life - Borrowing from Biology DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 32-42. DOI: 10.1007/978-3-642-10427-5_4

Chu, G.; Schulte, C.; Stuckey, PJ. (2009) “Confidence-based work stealing in parallel constraint programming” Gent, IP. (Ed.) 15th International Conference on Principles and Practice of Constraint Programming (CP 2009) DE (Heidelberg). SPRINGER-VERLAG BERLIN. pp: 226-241. DOI: 10.1007/978-3-642-04244-7_20

Chu, G.; Stuckey, PJ. (2009) “Minimizing the maximum number of open stacks by customer search” Gent, IP. (Ed.) 15th International Conference on Principles and Practice of Constraint Programming (CP 2009) DE (Heidelberg). SPRINGER-VERLAG BERLIN. pp: 242-257. DOI: 10.1007/978-3-642-04244-7_21

Chu, G.; Stuckey, PJ.; De La Banda, MG. (2009) “Using relaxations in maximum density still life” Gent, IP. (Ed.) 15th International Conference on Principles and Practice of Constraint Programming (CP 2009) DE (Heidelberg). SPRINGER-VERLAG BERLIN. pp: 258-273. DOI: 10.1007/978-3-642-04244-7_22

Codish, M.; Genaim, S.; Stuckey, PJ. (2009) “A declarative encoding of telecommunications feature subscription in SAT” 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 09) US (New York). ASSOC COMPUTING MACHINERY. pp: 255-265. DOI: 10.1145/1599410.1599442

Davis, H.; Hanna, V.; Audehm, R.; Hagger, V.; Howard, S.; Scheepers, R.; Scibilia, R.; Sonenberg, E. (2009) “From Pre-conception to Post-partum : Envisaging ICT support for Women for Type 1 Diabetes.” International Workshop on Smart Healthcare AU (Melbourne). OZCHI 2009. pp: 13-14.

De Koninck, L.; Duck, GJ.; Stuckey, PJ. (2009) “Demand-Driven Normalisation for ACD Term Rewriting” Hill, PM.; Warren, DS. (Ed.) 25th International Conference Logic Programming, ICLP 2009 DE (Berlin). Springer. pp: 484-488. DOI: 10.1007/978-3-642-02846-5_39

Feydy, T.; Stuckey, PJ. (2009) “Lazy Clause Generation Reengineered” Gent, IP. (Ed.) 15th International Conference on Principles and Practice of Constraint Programming (CP 2009) DE (Heidelberg). SPRINGER-VERLAG BERLIN. pp: 352-366. DOI: 10.1007/978-3-642-04244-7_29

Frisch, AM.; Stuckey, PJ. (2009) “n The Proper Treatment of Undefinedness in Constraint Languages” Gent, IP. (Ed.) 15th International Conference on Principles and Practice of Constraint Programming (CP 2009) SPRINGER-VERLAG BERLIN. pp: 367-+.

Frisch, AM.; Stuckey, PJ. (2009) “The Proper Treatment of Undefinedness in Constraint Languages” 15th International Conference of Principles and Practice of Constraint Programming CP2009 DE (Heidelberg). Springer. pp: 367-382. DOI: 10.1007/978-3-642-04244-7_30

Lipovetzky, N.; Geffner, H. (2009) “Inference and decomposition in planning using causal consistent chains” 19th International Conference on Automated Planning and Scheduling US. Association for the Advancement of Artificial Intelligence (AAAI). pp: 217-224. DOI: 10.1609/icaps.v19i1.13376

Reischuk, RM.; Schulte, C.; Stuckey, PJ.; Tack, G. (2009) “Maintaining State in Propagation Solvers” Gent, IP. (Ed.) 15th International Conference of Principles and Practice of Constraint Programming CP2009 DE (Heidelberg). Springer. pp: 692-706. DOI: 10.1007/978-3-642-04244-7_54

Rezaei, G.; Kirley, M.; Pfau, J. (2009) “Evolving cooperation in the N-player prisoner's dilemma: A social network model” Korb, K.; Randall, M.; Hendtlass, T. (Ed.) 4th Australian Conference on Artificial Life - Borrowing from Biology DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 43-52. DOI: 10.1007/978-3-642-10427-5_5

Schutt, A.; Feydy, T.; Stuckey, PJ.; Wallace, MG. (2009) “Why cumulative decomposition is not as bad as it sounds” Gent, IP. (Ed.) 15th International Conference on Principles and Practice of Constraint Programming (CP 2009) DE (Heidelberg). SPRINGER-VERLAG BERLIN. pp: 746-761. DOI: 10.1007/978-3-642-04244-7_58

So, R.; Sonenberg, L. (2009) “The roles of active perception in intelligent agent systems” Lukose, D.; Shi, Z. (Ed.) 8th Pacific Rim International Workshop on Multi-Agents (PRIMA 2005) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 139-152. DOI: 10.1007/978-3-642-03339-1_12

Stuckey, P.; Becket, R.; Brand, S.; Brown, M.; Feydy, T.; Fischer, J.; Garcia De La Banda, .; Marriott, .; Wallace, . (2009) “The Evolving World of MiniZinc” Constraint Modelling and Reformulation (ModRef 09) IT (Padova). The Association for Constraint Programming. pp: 156-170.

Talukder, AKMKA.; Kirley, M.; Buyya, R. (2009) “The pareto-following variation operator as an alternative approximation model” IEEE Congress on Evolutionary Computation US (Piscataway). IEEE. pp: 8-15. DOI: 10.1109/CEC.2009.4982924

Vecchiola, C.; Kirley, M.; Buyya, R. (2009) “Multi-Objective Problem Solving With Offspring on Enterprise Clouds” HPC Asia & APAN 2009 International Conference & Exhibition CN (Taiiwan). National Center for High-Performance Computing. pp: 132-139.

Other

Lipovetzky, N.; Geffner, H. (2009) “Path-based heuristic (preliminary version)”

2008

Books

Stuckey, PJ. (2008) “Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface”. pp: v-vii.

Book chapters

Goschnick, S.; Balbo, S.; Sonenberg, L. (2008) “ShaMAN: An agent meta-model for computer games”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 237-245. DOI: 10.1007/978-3-540-85992-5_22

Goschnick, S.; Balbo, S.; Sonenberg, L. (2008) “From task to agent-oriented meta-models, and back again”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 41-57. DOI: 10.1007/978-3-540-85992-5_4

Keogh, KN.; Sonenberg, E. (2008) “Prospects for e-collaboration with artificial partners”. Encyclopedia of E-Collaboration. US (Hershey, PA). IGI Global. pp: 1-6.

Pasquier, P.; Hollands, R.; Dignum, F.; Rahwan, I.; Sonenberg, L. (2008) “Exploiting hierarchical goals in bilateral automated negotiation: Empirical study”. Collins, J.; Faratin, P.; Parsons, S.; Rodriguezaguilar, JA.; Sadeh, NM.; Shehory, O. (Ed.) Lecture Notes in Business Information Processing. DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 46-61. DOI: 10.1007/978-3-540-88713-3_4

Rahwan, I.; Pasquier, P.; Sonenberg, L.; Dignum, F. (2008) “On the Benefits of Exploiting Hierarchical Goals in Bilateral Automated Negotiation”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 18-30. DOI: 10.1007/978-3-540-78915-4_2

Journal articles

Bohnert, F.; Zukerman, I.; Berkovsky, S.; Baldwin, T.; Sonenberg, L. (2008) “Using interest and transition models to predict visitor locations in museums” AI Communications: the European journal on artificial intelligence IOS PRESS. pp: 195-202. DOI: 10.3233/AIC-2008-0436

Boland, N.; Hughes, BD.; Merlot, LTG.; Stuckey, PJ. (2008) “New integer linear programming approaches for course timetabling” Computers & Operations Research PERGAMON-ELSEVIER SCIENCE LTD. pp: 2209-2233. DOI: 10.1016/j.cor.2006.10.016

Codish, .; Lagoon, V.; Stuckey, P. (2008) “Solving Partial Order Constraints for LPO Termination” Journal of Satisfiability, Boolean Modeling and Computation pp: 193-215.

Codish, M.; Lagoon, V.; Stuckey, PJ. (2008) “Logic programming with satisfiability” Theory and Practice of Logic Programming: 8(1):121-128, 2008 CAMBRIDGE UNIV PRESS. pp: 121-128. DOI: 10.1017/S1471068407003146

Dwyer, T.; Marriott, K.; Schreiber, F.; Stuckey, PJ.; Woodward, M.; Wybrow, M. (2008) “Exploration of networks using overview+detail with constraint-based cooperative layout” IEEE Transactions on Visualization and Computer Graphics IEEE COMPUTER SOC. pp: 1293-1300. DOI: 10.1109/TVCG.2008.130

Kirley, M. (2008) “Complex networks and evolutionary games” Complexity International pp: 1-10.

Konagurthu, AS.; Stuckey, PJ.; Lesk, AM. (2008) “Structural search and retrieval using a tableau representation of protein folding patterns” Bioinformatics OXFORD UNIV PRESS. pp: 645-651. DOI: 10.1093/bioinformatics/btm641

Marriott, K.; Nethercote, N.; Rafeh, R.; Stuckey, PJ.; Garcia De La Banda, M.; Wallace, M. (2008) “The design of the zinc modelling language” Constraints SPRINGER. pp: 229-267. DOI: 10.1007/s10601-008-9041-4

Schulte, C.; Stuckey, PJ. (2008) “Efficient constraint propagation engines” ACM Transactions on Programming Languages and Systems ASSOC COMPUTING MACHINERY. pp: -. DOI: 10.1145/1452044.1452046

Stuckey, PJ. (2008) “Constraint Logic Programming using ECLⁱPS^eKrzysztof Apt and Mark Wallace Cambridge University Press, 2007 Hardback: ISBN 9780521866286, Price: £35, 348 pages.” Theory and Practice of Logic Programming Cambridge University Press (CUP). pp: 242-246. DOI: 10.1017/s1471068408003281

Sulzmann, M.; Stuckey, PJ. (2008) “HM(X) type inference is CLP(X) solving” Journal of Functional Programming CAMBRIDGE UNIV PRESS. pp: 251-283. DOI: 10.1017/S0956796807006569

Wybrow, M.; Marriott, K.; Mciver, L.; Stuckey, PJ. (2008) “Comparing usability of one-way and multi-way constraints for diagram editing” ACM Transactions on Computer-Human Interaction ASSOC COMPUTING MACHINERY. pp: -. DOI: 10.1145/1314683.1314687

Conference Papers

Acay, DL.; Tidhar, G.; Sonenberg, L. (2008) “Extending agent capabilities: Tools vs. agents” 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology US (California). IEEE. pp: 259-265. DOI: 10.1109/WIIAT.2008.247

Becket, R.; Brand, S.; Brown, M.; Duck, G.; Feydy, T.; Fischer, J.; Huang, J.; Marriott, K.; Nethercote, N.; Wallace, M.; Stuckey, P.; Rafeh, R.; Puchinger, J. (2008) “The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers” The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08) IT (Padova). The Association for Constraint Programming. pp: 1-20.

Bohnert, F.; Zukerman, I.; Berkovsky, S.; Baldwin, T.; Sonenberg, L. (2008) “Using collaborative models to adaptively predict visitor locations in museums” Nejdl, W.; Kay, J.; Pu, P.; Herder, E. (Ed.) 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 42-51. DOI: 10.1007/978-3-540-70987-9_7

Codish, M.; Lagoon, V.; Stuckey, PJ. (2008) “Telecommunications feature subscription as a partial order constraint problem” Delabanda, MG.; Pontelli, E. (Ed.) 24th International Conference on Logic Programming (ICLP) DE. SPRINGER-VERLAG BERLIN. pp: 749-753. DOI: 10.1007/978-3-540-89982-2_70

De Koninck, L.; Stuckey, PJ.; Duck, GJ. (2008) “Optimizing compilation of CHR with rule priorities” Garrigue, J.; Hermenegildo, M. (Ed.) LNCS: Functional and Logic Programming: 9th International Symposium, FLOPS 2008 DE (Berlin). Springer. pp: 32-47. DOI: 10.1007/978-3-540-78969-7_5

Duck, GJ.; De Koninck, L.; Stuckey, PJ. (2008) “Cadmium: An implementation of ACD term rewriting” Delabanda, MG.; Pontelli, E. (Ed.) 24th International Conference on Logic Programming (ICLP) DE. SPRINGER-VERLAG BERLIN. pp: 531-545. DOI: 10.1007/978-3-540-89982-2_45

Feydy, T.; Schutt, A.; Stuckey, PJ. (2008) “Global difference constraint propagation for finite domain solvers” PPDP08: Principles and Practice of Declarative Programming US (New York). ACM. pp: 226-235. DOI: 10.1145/1389449.1389478

Foo, C.; Kirley, M. (2008) “An analysis of the effects of clustering in graph-based evolutionary algorithms” IEEE Congress on Evolutionary Computation US (New Jersey). IEEE. pp: 2246-2253. DOI: 10.1109/CEC.2008.4631097

Gange, G.; Lagoon, V.; Stuckey, PJ. (2008) “Fast set bounds propagation using BDDs” Ghallab, M.; Spyropoulos, CD.; Fakotakis, N.; Avouris, N. (Ed.) 18th European Conference on Artificial Intelligence GR (Patras). IOS PRESS. pp: 505-509. DOI: 10.3233/978-1-58603-891-5-505

Gange, G.; Marriott, K.; Stuckey, PJ. (2008) “Smooth linear approximation of non-overlap constraints” Stapleton, G.; Howse, J.; Lee, J. (Ed.) 5th International Conference on Diagrammatic Representation and Inference DE. SPRINGER-VERLAG BERLIN. pp: 45-59. DOI: 10.1007/978-3-540-87730-1_8

Goschnick, S.; Balbo, S.; Sonenberg, L. (2008) “From task to agent-oriented meta-models, and back again” Forbrig, P.; Paterno, F. (Ed.) 2nd Conference on Human-Centered Software Engineering/7th International Workshop on Task Models and Diagrams DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 41-57.

Goschnick, S.; Balbo, S.; Sonenberg, L. (2008) “ShaMAN: An agent meta-model for computer games” Forbrig, P.; Paterno, F. (Ed.) 2nd Conference on Human-Centered Software Engineering/7th International Workshop on Task Models and Diagrams DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 237-245.

Grieser, K.; Baldwin, T.; Bohnert, F.; Sonenberg, L. (2008) “Using collaboratively constructed document collections to simulate real-world object comparisons” 13th Australasian Document Computing Symposium (ADCS 2008) AU (Melbourne). RMIT University. pp: 73-76.

Hassan, MR.; Hossain, MM.; Karmakar, CK.; Kirley, M. (2008) “Phylogeny inference using a multi-objective evolutionary algorithm with indirect representation” Li, X.; Kirley, M.; Zhang, M.; Green, D.; Ciesielski, V.; Abbass, H.; Michalewicz, Z.; Hendtlass, T.; Deb, K.; Tan, KC.; Branke, J.; Shi, Y. (Ed.) 7th International Conference on Simulated Evolution and Learning DE. SPRINGER-VERLAG BERLIN. pp: 41-50. DOI: 10.1007/978-3-540-89694-4_5

Hossain, MM.; Hassan, MR.; Kirley, M. (2008) “Forecasting urban air pollution using HMM-fuzzy model” Washio, T.; Suzuki, E.; Ting, KM.; Inokuchi, A. (Ed.) 12th Pacific-Asia Conference on Knowledge Discovery and Data Mining DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 572-581. DOI: 10.1007/978-3-540-68125-0_52

Huston, S.; Puchinger, J.; Stuckey, P. (2008) “The core concept for 0/1 integer programming” Fourteenth Computing: The Australasian Theory Symposium (CATS 2008) AU (Sydney). Australian Computer Society. pp: 39-47.

Kelly, RF.; Pearce, AR. (2008) “Complex epistemic modalities in the situation calculus” KR 2008 - 11th International Conference on Principles of Knowledge Representation and Reasoning US (California). Association for the Advancement of Artificial Intelligence. pp: 611-620.

Kuo, YT.; Sonenberg, L.; Lonie, A. (2008) “Finding explanations for assisting pattern interpretation” 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) US (California). IEEE. pp: 48-51. DOI: 10.1109/WIIAT.2008.330

Ohrimenko, O.; Stuckey, PJ. (2008) “Modelling for lazy clause generation” Fourteenth Computing: The Australasian Theory Symposium (CATS 2008) AU (Sydney). Australian Computer Society. pp: 27-37.

Puchinger, J.; Stuckey, PJ. (2008) “Automating branch-and-bound for dynamic programs” ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation US (New York). ASSOC COMPUTING MACHINERY. pp: 81-89. DOI: 10.1145/1328408.1328421

Puchinger, J.; Stuckey, PJ.; Wallace, M.; Brand, S. (2008) “From high-level model to branch-and-price solution in G12” Perron, L.; Trick, MA. (Ed.) 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 218-232. DOI: 10.1007/978-3-540-68155-7_18

Rahwan, I.; Pasquier, P.; Sonenberg, L.; Dignum, F. (2008) “On the benefits of exploiting hierarchical goals in bilateral automated negotiation” Rahwan, I.; Parsons, S.; Reed, C. (Ed.) 4th International Workshop on Argumentation in Multiagent Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 18-30. DOI: 10.1007/978-3-540-78915-4_2

Rezaei, G.; Kirley, M. (2008) “Heterogeneous payoffs and social diversity in the spatial prisoner's Dilemma game” Li, X.; Kirley, M.; Zhang, M.; Green, D.; Ciesielski, V.; Abbass, H.; Michalewicz, Z.; Hendtlass, T.; Deb, K.; Tan, KC.; Branke, J.; Shi, Y. (Ed.) 7th International Conference on Simulated Evolution and Learning DE. SPRINGER-VERLAG BERLIN. pp: 585-594. DOI: 10.1007/978-3-540-89694-4_59

Schulte, C.; Stuckey, PJ. (2008) “Dynamic variable elimination during propagation solving” PPDP08: Principles and Practice of Declarative Programming US (New York). ACM. pp: 247-257. DOI: 10.1145/1389449.1389480

Schulte, C.; Stuckey, PJ. (2008) “Dynamic Analysis of Bounds Versus Domain Propagation” Delabanda, MG.; Pontelli, E. (Ed.) 24th International Conference on Logic Programming (ICLP 2008) DE. Springer. pp: 332-346. DOI: 10.1007/978-3-540-89982-2_32

Talukder, AKMKA.; Kirley, M. (2008) “A Pareto following variation operator For evolutionary dynamic multi-objective optimization” IEEE Congress on Evolutionary Computation US (New Jersey). IEEE. pp: 2270-2277. DOI: 10.1109/CEC.2008.4631100

Talukder, AKMKA.; Kirley, M.; Buyya, R. (2008) “A pareto following variation operator for fast-converging multiobjective evolutionary algorithms” GECCO08: Genetic and Evolutionary Computation Conference US (New York). ACM. pp: 721-728. DOI: 10.1145/1389095.1389234

Other

Blom, M. (2008) “An Argumentative Knowledge-Based Model Construction Approach for Bayesian Networks” BATH, ENGLAND. 6th European Workshop on Multi-Agent Systems (EUMAS-2008).

Blom, M. (2008) “Optimising the Interpretation of Golog Programs with Argumentation” BATH, ENGLAND. 6TH EUROPEAN WORKSHOP IN MULTI-AGENT SYSTEMS (EUMAS 2008).

Goschnick, S.; Balbo, S.; Sonenberg, E. (2008) “The ShaMAN Agent Meta-model” US. IFAAMAS : International Conference on Autonomous Agents and Multiagent Systems.

Koster, .; Koch, .; Sonenberg, E.; Dignum, . (2008) “Augmenting BDI with relevance: Supporting agent-based, pervasive applications”

Lipovetzky, N.; Ramirez, M.; Geffner, H. (2008) “Structural Inference in Planning: Scaling up without Heuristic Estimators” Submitted.

Lipovetzky, N.; Ramirez, M.; Geffner, H. (2008) “C3: Planning with consistent causal chains”

2007

Journal articles

Choi, CW.; Lee, JHM.; Stuckey, PJ. (2007) “Removing propagation redundant constraints in redundant modeling” ACM Transactions on Computational Logic ASSOC COMPUTING MACHINERY. pp: -. DOI: 10.1145/1276920.1276925

De La Banda, MG.; Stuckey, PJ. (2007) “Dynamic programming to minimize the maximum number of open stacks” INFORMS Journal on Computing INFORMS. pp: 607-617. DOI: 10.1287/ijoc.1060.0205

Fang, H.; Kilani, Y.; Lee, JHM.; Stuckey, PJ. (2007) “The island confinement method for reducing search space in local search methods” Journal of Heuristics SPRINGER. pp: 557-585. DOI: 10.1007/s10732-007-9020-8

Hassan, MR.; Nath, B.; Kirley, M. (2007) “A fusion model of HMM, ANN and GA for stock market forecasting” Expert Systems with Applications PERGAMON-ELSEVIER SCIENCE LTD. pp: 171-180. DOI: 10.1016/j.eswa.2006.04.007

Hebden, P.; Pearce, A. (2007) “Distributed Asynchronous Clustering for Self-Organisation of Wireless Sensor Networks” International Journal on Information Processing pp: 1-11.

Keogh, K.; Sonenberg, EA. (2007) “Keeping the patient asleep and alive: Towards a computational cognitive model of disturbance management in anaesthesia” Cognitive Systems Research ELSEVIER. pp: 249-261. DOI: 10.1016/j.cogsys.2006.12.001

Keogh, K.; Sonenberg, L. (2007) “Prospects for e-collaboration with artificial partners” IGI Global. pp: 493-498. DOI: 10.4018/978-1-59904-000-4.ch075

Rahwan, I.; Sonenberg, L.; Jennings, NR.; Mcburney, P. (2007) “STRATUM: A methodology for designing heuristic agent negotiation strategies” Applied Artificial Intelligence TAYLOR & FRANCIS INC. pp: 489-527. DOI: 10.1080/08839510701408971

Ronald, N.; Sterling, L.; Kirley, M. (2007) “An agent-based approach to modelling pedestrian behaviour” International Journal of Simulation - Systems, Science and Technology pp: 25-38.

Sulzmann, M.; Duck, GJ.; Peyton-jones, S.; Stuckey, PJ. (2007) “Understanding functional dependencies via constraint handling rules” Journal of Functional Programming CAMBRIDGE UNIV PRESS. pp: 83-129. DOI: 10.1017/S0956796806006137

Conference Papers

Acay, DL.; Pasquier, P.; Sonenberg, L. (2007) “Extrospection: Agents reasoning about the environment” 3rd IET International Conference on Intelligent Environments (IE 07) GB. IEE. pp: 220-227. DOI: 10.1049/cp:20070372

Baatar, D.; Boland, N.; Brand, S.; Stuckey, PJ. (2007) “Minimum cardinality matrix decomposition into consecutive-ones matrices: CP and IP approaches” Vanhentenryck, P.; Wolsey, L. (Ed.) 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 1-15. DOI: 10.1007/978-3-540-72397-4_1

Brand, S.; Duck, GJ.; Puchinger, J.; Stuckey, PJ. (2007) “Flexible, rule-based constraint model linearisation” Hudak, P.; Warren, DS. (Ed.) 10th International Symposium on Practical Aspects of Declarative Languages DE. SPRINGER-VERLAG BERLIN. pp: 68-83. DOI: 10.1007/978-3-540-77442-6_6

Brand, S.; Narodytska, N.; Quimper, CG.; Stuckey, P.; Walsh, T. (2007) “Encodings of the SEQUENCE constraint” Bessiere, C. (Ed.) 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 210-224. DOI: 10.1007/978-3-540-74970-7_17

Duck, GJ.; Stuckey, PJ.; Sulzmann, M. (2007) “Observable confluence for constraint handling rules” Dahl, V.; Niemela, I. (Ed.) 23rd International Conference on Logic Programming (ICLP) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 224-239. DOI: 10.1007/978-3-540-74610-2_16

Dwyer, T.; Marriott, K.; Stuckey, PJ. (2007) “Fast node overlap removal - Correction” Kaufmann, M.; Wagner, D. (Ed.) 14th International Symposium on Graph Drawing SPRINGER-VERLAG BERLIN. pp: 446-447. DOI: 10.1007/978-3-540-70904-6_44

Feydy, T.; Stuckey, PJ. (2007) “Propagating dense systems of integer linear equations” 22nd ACM Symposium on Applied Computing US (New York). ASSOC COMPUTING MACHINERY. pp: 306-310. DOI: 10.1145/1244002.1244075

Francis, K.; Stuckey, PJ. (2007) “Constraint propagation for loose constraint graphs” 22nd ACM Symposium on Applied Computing US (New York). ASSOC COMPUTING MACHINERY. pp: 334-335. DOI: 10.1145/1244002.1244081

Huang, J.; Pearce, AR. (2007) “Collaborative inductive logic programming for path planning” Veloso, MM. (Ed.) 20th International Joint Conference on Artificial Intelligence US (California). IJCAI-INT JOINT CONF ARTIF INTELL. pp: 1327-1332.

Jayasundara, C.; Balbo, S.; Farmer, R.; Kirley, M. (2007) “Speclad: An Online Collaborative Problem-Based Learning Environment” AaeE 2007: Eighteenth Annual Conference of the Australasian Association for Engineering Education AU (Canberra). Australasian Association for Engineering Education. pp: 1-7.

Kelly, RF.; Pearce, AR. (2007) “Knowledge and observations in the situation calculus” AAMAS07: International Conference on Autonomous Agents and Mulitagent Systems US (New York). ACM. pp: 846-848. DOI: 10.1145/1329125.1329278

Kelly, RF.; Pearce, AR. (2007) “Property persistence in the situation calculus” Veloso, MM. (Ed.) 20th International Joint Conference on Artificial Intelligence US (California). IJCAI-INT JOINT CONF ARTIF INTELL. pp: 1948-1953.

Kirley, M.; Stewart, R. (2007) “Multiobjective evolutionary algorithms on complex networks” Obayashi, S.; Deb, K.; Poloni, C.; Hiroyasu, T.; Murata, T. (Ed.) 4th International Conference on Evolutionary Multi-Criterion Optimization (EMO 2007) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 81-95. DOI: 10.1007/978-3-540-70928-2_10

Kirley, M.; Stewart, R. (2007) “An analysis of the effects of population structure on scalable multiobjective optimization problems” Annual Conference of Genetic and Evolutionary Computation Conference US (New York). ASSOC COMPUTING MACHINERY. pp: 845-852. DOI: 10.1145/1276958.1277124

Kuo, YT.; Lonie, A.; Sonenberg, L.; Paizis, K. (2007) “Domain ontology driven data mining: A medical case study” KDD07: The 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining US (New York). ACM. pp: 11-17. DOI: 10.1145/1288552.1288554

Li, X.; Branke, J.; Kirley, M. (2007) “Performance measures and particle swarm methods for dynamic multi-objective optimization problems” GECCO07: Genetic and Evolutionary Computation Conference ACM. pp: 907-. DOI: 10.1145/1276958.1277137

Li, X.; Branke, J.; Kirley, M. (2007) “On performance metrics and particle swarm methods for dynamic multiobjective optimization problems” 2007 IEEE Congress on Evolutionary Computation US (Piscataway). IEEE. pp: 576-583. DOI: 10.1109/CEC.2007.4424522

Nethercote, N.; Stuckey, PJ.; Becket, R.; Brand, S.; Duck, GJ.; Tack, G. (2007) “MiniZinc: Towards a standard CP modelling language” Bessiere, C. (Ed.) 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 529-543. DOI: 10.1007/978-3-540-74970-7_38

Ohrimenko, O.; Stuckey, PJ.; Codish, M. (2007) “Propagation = Lazy clause generation” Bessiere, C. (Ed.) 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 544-558. DOI: 10.1007/978-3-540-74970-7_39

Papasimeon, M.; Pearce, AR.; Goss, S. (2007) “The human agent virtual environment” AAMAS07: International Conference on Autonomous Agents and Mulitagent Systems US (New York). ACM. pp: 1448-1455. DOI: 10.1145/1329125.1329463

Pasquier, P.; Rahwan, I.; Dignum, F.; Sonenberg, L. (2007) “Argumentation and persuasion in the cognitive coherence theory: Preliminary report” Maudet, N. (Ed.) 3rd International Workshop on Argumentation in Multi-Agent Systems SPRINGER-VERLAG BERLIN. pp: 193-210. DOI: 10.1007/978-3-540-75526-5_12

Pasquier, P.; Sonenberg, L.; Rahwan, I.; Dignum, F.; Hollands, R. (2007) “An empirical study of interest-based negotiation” ICEC07: Ninth International Conference on Electronic Commerce US (New York). ACM. pp: 339-348. DOI: 10.1145/1282100.1282163

Rahwan, I.; Pasquier, P.; Sonenberg, L.; Dignum, F. (2007) “On the benefits of exploiting underlying goals in argument-based negotiation” Twenty-Second AAAI Conference on Artificial Intelligence US (California). Association for the Advancement of Artificial Intelligence. pp: 116-121.

Ross, KA.; Stuckey, PJ.; Marian, A. (2007) “Practical preference relations for large data sets” IEEE 23rd International Conference on Data Engineering Workshop TR (Istanbul). IEEE. pp: 229-236. DOI: 10.1109/ICDEW.2007.4400997

Stewart, RL.; Kirley, M. (2007) “Swarming with logic” GECCO07: Genetic and Evolutionary Computation Conference ACM. pp: 184-. DOI: 10.1145/1276958.1276998

Talukder, AKMKA.; Kirley, M.; Buyya, R. (2007) “Multiobjective differential evolution for workflow execution on grids” Middleware07: 8th International Middleware Conference US (New York). ACM. pp: 1-6. DOI: 10.1145/1376849.1376852

Yu, J.; Kirley, M.; Buyya, R. (2007) “Multi-objective planning for workflow execution on Grids” 2007 8th IEEE/ACM International Conference on Grid Computing US (Piscataway). IEEE. pp: 10-17. DOI: 10.1109/GRID.2007.4354110

Yu, J.; Kirley, M.; Buyya, R. (2007) “Multi-objective planning for workflow execution on Grids” 8th IEEE/ACM International Conference on Grid Computing IEEE. pp: 122-129.

2006

Book chapters

Karim, S.; Sonenberg, L.; Tan, A-H. (2006) “A Hybrid Architecture Combining Reactive Plan Execution and Reactive Learning”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 200-211. DOI: 10.1007/978-3-540-36668-3_23

Kirley, M.; Abbass, H.; Mckay, R. (2006) “Diversity mechanisms in Pitt-style classifier systems”. Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques. US (New York). Springer Science+Business Media. pp: 433-457.

Kirley, M.; Abbass, HA.; Mckay, RBI. (2006) “Diversity Mechanisms in Pitt-Style Evolutionary Classifier Systems”. Massive Computing. Springer US. pp: 433-457. DOI: 10.1007/0-387-34296-6_13

Marriott, K.; Stuckey, PJ. (2006) “NP-completeness of minimal width unordered tree layout”. Graph Algorithms and Applications 5. WORLD SCIENTIFIC. pp: 295-312. DOI: 10.1142/9789812773289_0016

Marriott, K.; Stuckey, PJ.; Wallace, M. (2006) “Constraint Logic Programming”. Rossi, F.; Vanbeek, P.; Walsh, T. (Ed.) HANDBOOK OF CONSTRAINT PROGRAMMING. US (New York). ELSEVIER SCIENCE BV. pp: 409-452. DOI: 10.7551/mitpress/5625.003.0008

Muhammad, R.; Stuckey, PJ. (2006) “A Stochastic Non-CNF SAT Solver”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 120-129. DOI: 10.1007/978-3-540-36668-3_15

Subagdja, B.; Rahwan, I.; Sonenberg, L. (2006) “Learning as Abductive Deliberations”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 11-20. DOI: 10.1007/978-3-540-36668-3_4

Journal articles

Boneh, T.; Nicholson, AE.; Sonenberg, EA. (2006) “Matilda: A visual tool for modeling with bayesian networks” International Journal of Intelligent Systems WILEY. pp: 1127-1150. DOI: 10.1002/int.20175

Kirley, M. (2006) “Evolutionary minority games with small-world interactions” Physica A - Statistical and Theoretical Physics ELSEVIER. pp: 521-528. DOI: 10.1016/j.physa.2005.10.002

Konagurthu, AS.; Stuckey, PJ. (2006) “Optimal sum-of-pairs multiple sequence alignment using incremental Carrillo and Lipman bounds” Journal of Computational Biology MARY ANN LIEBERT, INC. pp: 668-685. DOI: 10.1089/cmb.2006.13.668

Konagurthu, AS.; Whisstock, JC.; Stuckey, PJ.; Lesk, AM. (2006) “MUSTANG: A multiple structural alignment algorithm” Proteins: Structure, Function and Bioinformatics WILEY. pp: 559-574. DOI: 10.1002/prot.20921

Marriott, K.; Wallace, M.; Stuckey, PJ. (2006) “Chapter 12 Constraint logic programming” Foundations of Artificial Intelligence Elsevier. pp: 409-452. DOI: 10.1016/S1574-6526(06)80016-7

Pollack, ME.; Hambrusch, SE.; Ellis, CS.; Grosz, BJ.; Hodgins, J.; Bajcsy, R.; Brodley, CE.; Aiello, LC.; Bonacina, MP.; Clarke, LA.; Hirschberg, J.; Veloso, MM.; Amato, N.; Sonenberg, L.; Weyuker, E.; Pollock, L.; Irwin, MJ.; Padgham, L.; Ryder, BG.; Catarci, T.; Mccoy, KF.; Klawe, M.; Carberry, S.; Dillon, L.; Mckeown, K.; Soffa, ML. (2006) “Computing: Report leaps geographical barriers but stumbles over gender [1]” Nature NATURE PUBLISHING GROUP. pp: 25-. DOI: 10.1038/441025a

Schrijvers, T.; Demoen, B.; Duck, G.; Stuckey, P.; Frühwirth, T. (2006) “Automatic implication checking for CHR constraints” Electronic Notes in Theoretical Computer Science ELSEVIER. pp: 93-111. DOI: 10.1016/j.entcs.2005.06.039

Schrijvers, T.; Demoen, B.; Garcia De La Banda, M.; Stuckey, PJ. (2006) “Improving PARMA trailing” Theory and Practice of Logic Programming CAMBRIDGE UNIV PRESS. pp: 609-644. DOI: 10.1017/S1471068405002620

Conference Papers

Choi, CW.; Harvey, W.; Lee, JHM.; Stuckey, PJ. (2006) “Finite domain bounds consistency revisited” Sattar, A.; Kang, BH. (Ed.) 19th Australian Joint Conference on Artificial Intelligence DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 49-58. DOI: 10.1007/11941439_9

Codish, M.; Lagoon, V.; Schachte, P.; Stuckey, PJ. (2006) “Size-change termination analysis in k-bits” Sestoft, P. (Ed.) 15th European Symposium on Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 230-245. DOI: 10.1007/11693024_16

Codish, M.; Lagoon, V.; Stuckey, PJ. (2006) “Solving partial order constraints for LPO termination” Pfenning, F. (Ed.) 17th International Conference on Rewriting Techniques and Applications DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 4-18. DOI: 10.1007/11805618_2

Dignum, F.; Dignum, V.; Sonenberg, L. (2006) “Exploring congruence between organizational structure and task performance: A simulation approach” Boissier, O.; Padget, J.; Dignum, V.; Lindemann, G.; Matson, E.; Ossowski, S.; Sichman, JS.; Vazquezsalceda, J. (Ed.) International Workshop on Agents, Norms and Institutions for Regulated Multi-Agent Systems (ANIREM 2005)/From Organizations to Organization-Oriented Programming in Multi-Agent Systems (OOOP 2005) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 213-230. DOI: 10.1007/11775331_15

Duck, GJ.; Stuckey, PJ.; Brand, S. (2006) “ACD term rewriting” Etalle, S.; Truszczynski, M. (Ed.) 22nd International Conference on Logic Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 117-131. DOI: 10.1007/11799573_11

Dwyer, T.; Marriott, K.; Stuckey, PJ. (2006) “Fast node overlap removal” Healy, P.; Nikolov, NS. (Ed.) 13th International Symposium on Graph Drawing (GD 2005) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 153-164. DOI: 10.1007/11618058_15

Hassan, MR.; Nath, B.; Kirley, M. (2006) “HMM based fuzzy model for time series prediction” IEEE International Conference on Fuzzy Systems US (New Jersey). IEEE. pp: 2120-2126. DOI: 10.1109/FUZZY.2006.1681994

Hassan, MR.; Nath, B.; Kirley, M. (2006) “A data clustering algorithm based on single Hidden Markov Model” International MultiConference on Computer Science and Information Technology 2006 PL. Polish Information Processing Society. pp: 57-66.

Hebden, P.; Pearce, AR. (2006) “Distributed asynchronous clustering for self-organisation of wireless sensor networks” 4th International Conference on Intelligent Sensing and Information Processing US (New Jersey). IEEE. pp: 37-42. DOI: 10.1109/ICISIP.2006.4286056

Hebden, P.; Pearce, AR. (2006) “Data-centric routing using bloom filters in wireless sensor networks” 4th International Conference on Intelligent Sensing and Information Processing US (New Jersey). IEEE. pp: 72-77. DOI: 10.1109/ICISIP.2006.4286065

Huang, J.; Pearce, AR. (2006) “Toward inductive logic programming for collaborative problem solving” Nishida, T.; Klusch, M.; Sycara, K.; Yokoo, M.; Liu, J.; Wah, B.; Cheung, W.; Cheung, YM. (Ed.) IEEE/WIC/ACM International Conference on Intelligent Agent Technology US (California). IEEE COMPUTER SOC. pp: 284-290. DOI: 10.1109/IAT.2006.121

Huang, J.; Pearce, AR. (2006) “Distributed interactive learning in multi-agent systems” The 21st National Conference on Artificial Intelligence US (California). The AAAI Press. pp: 666-671.

Karim, S.; Sonenberg, L.; Tan, AH. (2006) “A hybrid architecture combining reactive plan execution and reactive learning” Yang, Q.; Webb, G. (Ed.) 9th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2006) DE. SPRINGER-VERLAG BERLIN. pp: 200-211. DOI: 10.1007/11801603_23

Karim, S.; Subagdja, B.; Sonenberg, L. (2006) “Plans as products of learning” Nishida, T.; Klusch, M.; Sycara, K.; Yokoo, M.; Liu, J.; Wah, B.; Cheung, W.; Cheung, YM. (Ed.) IEEE/WIC/ACM International Conference on Intelligent Agent Technology US (California). IEEE COMPUTER SOC. pp: 139-145. DOI: 10.1109/IAT.2006.100

Kelly, RF.; Pearce, AR. (2006) “Towards high-level programming for distributed problem solving” Nishida, T.; Klusch, M.; Sycara, K.; Yokoo, M.; Liu, J.; Wah, B.; Cheung, W.; Cheung, YM. (Ed.) IEEE/WIC/ACM International Conference on Intelligent Agent Technology US (California). IEEE COMPUTER SOC. pp: 490-497. DOI: 10.1109/IAT.2006.124

Kirley, M. (2006) “Dominance hierarchies and social diversity in multi-agent systems” Keijzer, M. (Ed.) 8th Annual Genetic and Evolutionary Computation Conference US (New York). ASSOC COMPUTING MACHINERY. pp: 159-166. DOI: 10.1145/1143997.1144026

Kirley, M. (2006) “Supporting casual tutors and demonstrators: A case study in computer science and software engineering” 8th Australasian Computing Education Conference 2006 AU (Sydney). Australian Computer Society. pp: 109-115.

Law, THW.; Pearce, AR. (2006) “A multi-stage graph decomposition algorithm for distributed constraint optimisation” Nishida, T.; Klusch, M.; Sycara, K.; Yokoo, M.; Liu, J.; Wah, B.; Cheung, W.; Cheung, YM. (Ed.) IEEE/WIC/ACM International Conference on Intelligent Agent Technology US (California). IEEE COMPUTER SOC. pp: 506-513. DOI: 10.1109/IAT.2006.18

Muhammad, R.; Stuckey, PJ. (2006) “A stochastic non-CNF SAT solver” Yang, Q.; Webb, G. (Ed.) 9th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2006) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 120-129. DOI: 10.1007/11801603_15

Ni, L.; Harwood, A.; Stuckey, PJ. (2006) “Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware” Middleware06: 7th International Middleware Conference US (New York). ACM. pp: 1186679-. DOI: 10.1145/1186675.1186679

Pasquier, P.; Dignum, F.; Rahwan, I.; Sonenberg, L. (2006) “Interest-based negotiation as an extension of monotonic bargaining in 3APL” Shi, ZZ.; Sadananda, R. (Ed.) 9th Pacific Rim International Workshop on Multi-Agents DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 327-338. DOI: 10.1007/11802372_32

Pasquier, P.; Rahwan, .; Dignum, .; Sonenberg, E. (2006) “Argumentation and Persuasion in the Cognitive Coherence Theory: Preliminary Report.” AAMAS International Workshop on Argumentation in Multi-Agent Systems (ArgMAS) NL (Dordrecht). Springer Verlag. pp: 87-104.

Pasquier, P.; Rahwan, I.; Dignum, F.; Sonenberg, L. (2006) “Argumentation and Persuasion in the Cognitive Coherence Theory” Dunne, PE.; Benchcapon, TJM. (Ed.) 1st International Conference on Computational Models of Argument (COMMA) NL (Amsterdam). IOS PRESS. pp: 223-234.

Ronald, N.; Kirley, M. (2006) “Pedestrian modelling: A comparative study using agent-based cellular automata” Alexandrov, VN.; Vanalbada, GD.; Sloot, PMA.; Dongarra, J. (Ed.) 6th International Conference on Computational Science (ICCS 2006) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 248-255. DOI: 10.1007/11758532_35

Ronald, N.; Sterling, L.; Kirley, M. (2006) “Evaluating JACK sim for agent-based modelling of pedestrians” Nishida, T.; Klusch, M.; Sycara, K.; Yokoo, M.; Liu, J.; Wah, B.; Cheung, W.; Cheung, YM. (Ed.) IEEE/WIC/ACM International Conference on Intelligent Agent Technology US (Los Alamitos). IEEE COMPUTER SOC. pp: 81-87. DOI: 10.1109/IAT.2006.65

Selvaratnam, S.; Kirley, M. (2006) “Predicting stock market time series using evolutionary artificial neural networks with hurst exponent input windows” Sattar, A.; Kang, BH. (Ed.) 19th Australian Joint Conference on Artificial Intelligence DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 617-626. DOI: 10.1007/11941439_66

Soh, H.; Kirley, M. (2006) “moPGA: Towards a new generation of multi-objective genetic algorithms” 2006 IEEE International Conference on Evolutionary Computation US (New Jersey). IEEE. pp: 1702-1709. DOI: 10.1109/cec.2006.1688513

Stuckey, PJ.; Sulzmann, M.; Wazny, J. (2006) “Type processing by constraint reasoning” Kobayashi, N. (Ed.) 4th Asian Symposium on Programming Languages and Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 1-25. DOI: 10.1007/11924661_1

Subagdja, B.; Rahwan, I.; Sonenberg, L. (2006) “Learning as abductive deliberations” Yang, Q.; Webb, G. (Ed.) 9th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2006) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 11-20. DOI: 10.1007/11801603_4

Sulzmann, M.; Schrijvers, T.; Stuckey, PJ. (2006) “Principal type inference for GHC-style multi-parameter type classes” Kobayashi, N. (Ed.) 4th Asian Symposium on Programming Languages and Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 26-43. DOI: 10.1007/11924661_2

Sulzmann, M.; Wazny, J.; Stuckey, PJ. (2006) “A framework for extended algebraic data types” Hagiya, M.; Wadler, P. (Ed.) 8th International Symposium on Functional and Logic Programming DE (Berlin). SPRINGER. pp: 47-64. DOI: 10.1007/11737414_5

Wybrow, M.; Marriott, K.; Stuckey, PJ. (2006) “Incremental connector routing” Healy, P.; Nikolov, NS. (Ed.) 13th International Symposium on Graph Drawing (GD 2005) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 446-457. DOI: 10.1007/11618058_40

Other

Keogh, KN.; Sonenberg, E. (2006) “Agent teamwork and reorganization: exploring selfawareness in dynamic situations”

2005

Book chapters

Perugini, D.; Lambert, D.; Sterling, L.; Pearce, A. (2005) “Provisional Agreement Protocol for Global Transportation Scheduling”. Whitestein Series in Software Agent Technologies. Birkhäuser-Verlag. pp: 17-32. DOI: 10.1007/3-7643-7363-6_2

Journal articles

García De La Banda, M.; Harvey, W.; Marriott, K.; Stuckey, PJ.; Demoen, B. (2005) “Checking modes of HAL programs” Theory and Practice of Logic Programming CAMBRIDGE UNIV PRESS. pp: 623-667. DOI: 10.1017/S1471068404002327

Hawkins, P.; Lagoon, V.; Stuckey, PJ. (2005) “Solving set constraint satisfaction problems using ROBDDs” The journal of artificial intelligence research AI ACCESS FOUNDATION. pp: 109-156. DOI: 10.1613/jair.1638

Holzbaur, C.; De La Banda, MG.; Stuckey, PJ.; Duck, GJ. (2005) “Optimizing compilation of constraint handling rules in HAL” Theory and Practice of Logic Programming CAMBRIDGE UNIV PRESS. pp: 503-531. DOI: 10.1017/S1471068405002413

Marriott, K.; Meyer, B.; Stuckey, PJ. (2005) “Towards flexible graphical communication using adaptive diagrams” Conferences in Research and Practice in Information Technology Series pp: .

Rahwan, I.; Sonenberg, L.; Mcburney, P. (2005) “Bargaining and argument-based negotiation: Some preliminary comparisons” Rahwan, I.; Moraitis, P.; Reed, C. (Ed.) Lecture Notes in Computer Science SPRINGER-VERLAG BERLIN. pp: 176-191. DOI: 10.1007/978-3-540-32261-0_12

Schulte, C.; Stuckey, PJ. (2005) “When do bounds and domain propagation lead to the same search space?” ACM Transactions on Programming Languages and Systems ASSOC COMPUTING MACHINERY. pp: 388-425. DOI: 10.1145/1065887.1065889

Sierra, C.; Sonenberg, L. (2005) “A Real-Time Negotiation Model and A Multi-Agent Sensor Network Implementation” Autonomous Agents and Multi-Agent Systems Springer Science and Business Media LLC. pp: 5-6. DOI: 10.1007/s10458-005-1281-8

Stuckey, PJ.; Sulzmann, M. (2005) “A theory of overloading” ACM Transactions on Programming Languages and Systems ASSOC COMPUTING MACHINERY. pp: 1216-1269. DOI: 10.1145/1108970.1108974

Conference Papers

Bailey, J.; Stuckey, PJ. (2005) “Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization” Hermenegildo, M.; Cabeza, D. (Ed.) 7th International Symposium on Practical Aspects of Declarative Languages (PADL) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 174-186. DOI: 10.1007/978-3-540-30557-6_14

Becket, R.; De La Banda, MG.; Marriott, K.; Somogyi, Z.; Stuckey, PJ.; Wallace, M. (2005) “Adding constraint solving to mercury” Vanhentenryck, P. (Ed.) 8th International Symposium on Practical Aspects of Declarative Languages DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 118-133. DOI: 10.1007/11603023_9

Codish, M.; Lagoon, V.; Stuckey, PJ. (2005) “Testing for termination with monotonicity constraints” Gabbrielli, M.; Gupta, G. (Ed.) 21st International Conference on Logic Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 326-340. DOI: 10.1007/11562931_25

Dignum, V.; Dignum, F.; Furtado, V.; Melo, A.; Sonenberg, L. (2005) “Towards a simulation tool for evaluating dynamic reorganization of agents societies” pp: 153-162.

Hawkins, P.; Stuckey, PJ. (2005) “A hybrid BDD and SAT finite domain constraint solver” Vanhentenryck, P. (Ed.) 8th International Symposium on Practical Aspects of Declarative Languages DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 103-117. DOI: 10.1007/11603023_8

Hebden, P.; Pearce, AR. (2005) “Bloom filters for data aggregation and discovery: A hierarchical clustering approach” Intelligent Sensors, Sensor Networks and Information Processing Conference US (California). IEEE. pp: 175-180. DOI: 10.1109/issnip.2005.1595575

Kirley, M. (2005) “Evolutionary minority games with small-world interactions” 8th Asia Pacific Symposium on Intelligent and Evolutionary Systems 2004 AU (Clayton). Monash University. pp: 93-102.

Kirley, M. (2005) “Competition, cooperation and collective behaviour: Resource utilization in non-stationary environments” Skowron, A.; Barthes, JP.; Jain, L.; Sun, R.; Morizetmahoundeaux, P.; Liu, J.; Zhong, N. (Ed.) International Conference on Intelligent Agent Technology US (California). IEEE COMPUTER SOC. pp: 572-578. DOI: 10.1109/IAT.2005.55

Kshetrapalapuram, KK.; Kirley, M. (2005) “Mining classification rules using evolutionary multi-objective algorithms” Khosla, R.; Howlett, RJ.; Jain, LC. (Ed.) 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 959-965. DOI: 10.1007/11553939_135

Marshall, RGJ.; Bird, SG.; Stuckey, PJ. (2005) “Structuring Documents Efficiently” Australasian Language Technology Workshop AU (Sydney). University of Sydney. pp: 120-126.

Perugini, D.; Lambert, D.; Sterling, L.; Pearce, A. (2005) “From single static to multiple dynamic combinatorial auctions” Skowron, A.; Barthes, JP.; Jain, L.; Sun, R.; Morizetmahoundeaux, P.; Liu, J.; Zhong, N. (Ed.) International Conference on Intelligent Agent Technology US (California). IEEE COMPUTER SOC. pp: 443-446. DOI: 10.1109/IAT.2005.77

Rahwan, I.; Graham, C.; Sonenberg, L. (2005) “Supporting impromptu coordination using automated negotiation” Barley, MW.; Kasabov, N. (Ed.) 7th Pacific Rim International Workshop on Multi-Agents SPRINGER-VERLAG BERLIN. pp: 217-227. DOI: 10.1007/978-3-540-32128-6_17

Rahwan, I.; Graham, CC.; Sonenberg, EA. (2005) “Supporting impromptu coordination using automated negotiation” PRIMA 2004, the 7th Pacific Rim International Workshop on Multi-agents DE (Berlin). Springer Verlag. pp: 115-127.

Rahwan, I.; Koch, F.; Graham, C.; Kattan, A.; Sonenberg, L. (2005) “Goal-directed automated negotiation for supporting mobile user coordination” Dey, A.; Kokinov, B.; Leake, D.; Turner, R. (Ed.) 5th International Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2005) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 382-395. DOI: 10.1007/11508373_29

Ronald, N.; Sterling, L.; Kirley, M. (2005) “A conceptual framework for specifying and developing pedestrian models” Zerger, A.; Argent, RM. (Ed.) International Congress on Modelling and Simulation (MODSIM05) AU (Canberra). MODELLING & SIMULATION SOC AUSTRALIA & NEW ZEALAND INC. pp: 2615-2621.

Schrijvers, T.; Stuckey, PJ.; Duck, GJ. (2005) “Abstract interpretation for constraint handling rules” PPDP05: Principles and Practice of Declarative Programming 2005 US (New York). ACM. pp: 218-229. DOI: 10.1145/1069774.1069795

Stuckey, PJ.; De La Banda, MG.; Maher, M.; Marriott, K.; Slaney, J.; Somogyi, Z.; Wallace, M.; Walsh, T. (2005) “The G12 project: Mapping solver independent models to efficient solutions” Gabbrielli, M.; Gupta, G. (Ed.) 21st International Conference on Logic Programming US (New York). SPRINGER-VERLAG BERLIN. pp: 9-13. DOI: 10.1007/11562931_3

Stuckey, PJ.; De La Banda, MG.; Maher, M.; Marriott, K.; Slaney, J.; Somogyi, Z.; Wallace, M.; Walsh, T. (2005) “The G12 project: Mapping solver independent models to efficient solutions” Vanbeek, P. (Ed.) 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) SPRINGER-VERLAG BERLIN. pp: 13-16. DOI: 10.1007/11564751_4

Subagdja, B.; Sonenberg, L. (2005) “Learning plans with patterns of actions in bounded-rational agents” Khosla, R.; Howlett, RJ.; Jain, LC. (Ed.) 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 30-36. DOI: 10.1007/11553939_5

2004

Book chapters

Demoen, B.; De La Banda, MG.; Harvey, W.; Marriott, K.; Overton, D.; Stuckey, PJ. (2004) “Herbrand constraints in HAL”. Bruynooghe, M.; Lau, KK. (Ed.) Lecture Notes in Computer Science. DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 499-538. DOI: 10.1007/978-3-540-25951-0_15

Kameyama, Y.; Stuckey, PJ. (2004) “Preface”. pp: VI-.

Puebla, G.; Hermenegildo, M.; De La Banda, MG.; Bueno, F.; Marriott, K.; Stuckey, PJ. (2004) “A Generic Framework for Context-Sensitive Analysis of Modular Programs”. Bruynooghe, M.; Lau, KK. (Ed.) Program Development in Computational Logic. DE (Berlin). Springer Verlag. pp: 234-260.

Journal articles

Dignum, F.; Edmonds, B.; Sonenberg, L. (2004) “Editorial: The use of logic in agent-based social simulation” JASSS pp: .

Dignum, F.; Sonenberg, EA. (2004) “A dialogical argument for the usefulness of logic in MASS” Journal of Artifical Societies and Social Simulation DE (Bayreuth). The SimSoc Consortium. pp: 1-2.

Konagurthu, AS.; Whisstock, J.; Stuckey, PJ. (2004) “PROGRESSIVE MULTIPLE ALIGNMENT USING SEQUENCE TRIPLET OPTIMIZATIONS AND THREE-RESIDUE EXCHANGE COSTS” Journal of Bioinformatics and Computational Biology World Scientific Pub Co Pte Lt. pp: 719-745. DOI: 10.1142/s0219720004000831

Konagurthu, AS.; Whisstock, J.; Stuckey, PJ. (2004) “Progressive multiple alignment using sequence triplet optimizations and three-residue exchange costs” Journal of bioinformatics and computational biology pp: 719-745. DOI: 10.1142/S0219720004000831

Marriott, K.; Stuckey, PJ. (2004) “NP-completeness of minimal width unordered tree layout” Journal of Graph Algorithms and Applications Journal of Graph Algorithms and Applications. pp: 295-312. DOI: 10.7155/jgaa.00093

Puebla, G.; Correas, J.; Hermenegildo, MV.; Bueno, F.; De La Banda, MG.; Marriott, K.; Stuckey, PJ. (2004) “A generic framework for context-sensitive analysis of modular programs” Bruynooghe, M.; Lau, KK. (Ed.) Lecture Notes in Computer Science SPRINGER-VERLAG BERLIN. pp: 233-260. DOI: 10.1007/978-3-540-25951-0_8

Conference Papers

Cornforth, D.; Kirley, M. (2004) “Cooperative problem solving using an agent-based market” Deb, K.; Poli, R.; Banzhaf, W.; Beyer, HG.; Burke, E.; Darwen, P.; Dasgupta, D.; Floreano, D.; Foster, O.; Harman, M.; Holland, O.; Lanzi, PL.; Spector, L.; Tettamanzi, A.; Thierens, D.; Tyrrell, A. (Ed.) 6th Annual Genetic and Evolutionary Computation Conference (GECCO 2004) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 60-71. DOI: 10.1007/978-3-540-24854-5_6

Cornforth, D.; Kirley, M.; Bossomaier, T. (2004) “Agent heterogeneity and coalition formation: Investigating market-based cooperative problem solving” Third International Joint Conference on Autonomous Agents & Multi Agent Systems US (New York). ACM Press. pp: 556-563.

Dignum, V.; Sonenberg, EA.; Dignum, F. (2004) “Dynamic reorganization of agent societies” Workshop on Coordination in Emergent Agent Societies, at ECAI 2004 NL (Amsterdam). IOS Press. pp: 1-10.

Duck, GJ.; García De La Banda, M.; Stuckey, PJ. (2004) “Compiling Ask Constraints” Demoen, B.; Lifschitz, V. (Ed.) 20th International Conference on Logic Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 105-119. DOI: 10.1007/978-3-540-27775-0_8

Duck, GJ.; Peyton-jones, S.; Stuckey, PJ.; Sulzmann, M. (2004) “Sound and decidable type inference for functional dependencies” Schmidt, D. (Ed.) 13th European Symposium on Programming (ESOP 2004) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 49-63. DOI: 10.1007/978-3-540-24725-8_5

Duck, GJ.; Stuckey, PJ.; García De La Banda, M.; Holzbaur, C. (2004) “The Refined Operational Semantics of Constraint Handling Rules” Demoen, B.; Lifschitz, V. (Ed.) 20th International Conference on Logic Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 90-101. DOI: 10.1007/978-3-540-27775-0_7

Hawkins, P.; Lagoon, V.; Stuckey, PJ. (2004) “Set bounds and (Split) set domain propagation using ROBDDs” Webb, GI.; Yu, X. (Ed.) 17th Annual Australian Conference on Artificial Intelligence DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 706-717. DOI: 10.1007/978-3-540-30549-1_61

Kirley, MG. (2004) “Complex Networks and Evolutionary Games” 7th Asia-Pacific Complex Systems Conference AU (Rockhampton). Central Queensland University. pp: 237-246.

Koch, F.; Sonenberg, L. (2004) “Using multimedia content in intelligent mobile services” WebMedia and LA-Web, 2004. Proceedings US (California). IEEE. pp: 41-43. DOI: 10.1109/WEBMED.2004.1348144

Lagoon, V.; Stuckey, PJ. (2004) “Set domain propagation using ROBDDs” Wallace, M. (Ed.) 10th International Conference on the Principles and Practice of Constraint Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 347-361. DOI: 10.1007/978-3-540-30201-8_27

Marriott, K.; Meyer, B.; Stuckey, PJ. (2004) “Towards flexible graphical communication using adaptive diagrams” Maher, JM. (Ed.) 9th Asian Computing Science Conference DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 380-394. DOI: 10.1007/978-3-540-30502-6_28

Norling, EJ.; Sonenberg, EA. (2004) “Creating interactive characters with BDI agents” Australian Workshop on Interactive Entertainment AU (Sydney). Creativity & Cognition Studio Press. pp: 69-76.

Perugini, D.; Lambert, D.; Sterling, L.; Pearce, A. (2004) “Agent-based global transportation scheduling in military logistics” Third International Joint Conference on Autonomous Agents & Multi Agent Systems US (New York). Association for Computing Machinery Inc.. pp: 1278-1279.

Rahwan, I.; Sonenberg, L.; Dignum, FPM. (2004) “On interest-based negotiation” Dignum, F. (Ed.) International Workshop on Agent Communication Languages DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 383-401. DOI: 10.1007/978-3-540-24608-4_22

Sagonas, K.; Stuckey, PJ. (2004) “Just enough tabling” PPDP04: Principles and Practice of Declarative Programming 2004 US (New York). ACM. pp: 78-89. DOI: 10.1145/1013963.1013975

Schulte, C.; Stuckey, PJ. (2004) “Speeding up constraint propagation” Wallace, M. (Ed.) 10th International Conference on the Principles and Practice of Constraint Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 619-633. DOI: 10.1007/978-3-540-30201-8_45

So, R.; Sonenberg, L. (2004) “Situation awareness in intelligent agents: Foundations for a theory of proactive agent behavior” International Conference on Intelligent Agent Technology (IAT 2004) US (Los Alamitos). IEEE COMPUTER SOC. pp: 86-92. DOI: 10.1109/iat.2004.1342928

So, WCR.; Sonenberg, EA. (2004) “Agents with initiative: A preliminary report” 1st International Workshop on Computational Autonomy: Potential, Risks, Solutions (AUTONOMY 2003) DE (Berlin). Springer Verlag. pp: 237-248.

Soon, S.; Pearce, A.; Noble, M. (2004) “Adaptive teamwork coordination using graph matching over hierarchical intentional structures” Third International Joint Conference on Autonomous Agents & Multi Agent Systems US (New York). ACM Press. pp: 294-301.

Soon, S.; Pearce, A.; Noble, M. (2004) “A teamwork coordination strategy using hierarchical role relationship matching” Nickles, M.; Rovatsos, M.; Weiss, G. (Ed.) 1st International Workshop on Computational Autonomy DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 249-260. DOI: 10.1007/978-3-540-25928-2_20

Stuckey, PJ.; Sulzmann, M.; Wazny, J. (2004) “Improving type error diagnosis” HW04: Haskell Workshop 2004 US (New York). ACM. pp: 80-91. DOI: 10.1145/1017472.1017486

Other

So, R.; Sonenberg, L. (2004) “Agents with initiative: A preliminary report” Nickles, M.; Rovatsos, M.; Weiss, G. (Ed.) AU (Melbourne). SPRINGER-VERLAG BERLIN. pp: 237-248. DOI: 10.1007/978-3-540-25928-2_19

2003

Book chapters

Goss, S.; Pearce, AR. (2003) “Learning Action Plans in a Virtual Environment”. Hettinger, LJ.; Haas, MW. (Ed.) Virtual and Adaptive Environments: Applications, Implications, and Human Performance Issues. US (New Jersey). Lawrence Erlbaum Associates. pp: 199-217.

Journal articles

Barker, S.; Stuckey, PJ. (2003) “Flexible access control policy specification with constraint logic programming” ACM Transactions on Information and System Security Association for Computing Machinery (ACM). pp: 501-546. DOI: 10.1145/950191.950194

Harvey, W.; Stuckey, PJ. (2003) “Improving linear constraint propagation by changing constraint representation” Constraints KLUWER ACADEMIC PUBL. pp: 173-207. DOI: 10.1023/A:1022323717928

Marriott, K.; Stuckey, P.; Tam, V.; He, W. (2003) “Removing node overlapping in graph layout using constrained optimization” Constraints SPRINGER. pp: 143-171. DOI: 10.1023/A:1022371615202

Rahwan, I.; Ramchurn, SD.; Jennings, NR.; Mcburney, P.; Parsons, S.; Sonenberg, L. (2003) “Argumentation-based negotiation” Knowledge Engineering Review CAMBRIDGE UNIV PRESS. pp: 343-375. DOI: 10.1017/S0269888904000098

Yoshimura, K.; Barnes, N.; Rönnquist, R.; Sonenberg, L. (2003) “Towards real-time strategic teamwork: A RoboCup case study” Kaminka, GA.; Lima, PU.; Rojas, R. (Ed.) Lecture Notes in Computer Science SPRINGER-VERLAG BERLIN. pp: 342-350. DOI: 10.1007/978-3-540-45135-8_29

Conference Papers

Cheng, CK.; Lee, JHM.; Stuckey, PJ. (2003) “Box constraint collections for adhoc constraints” Rossi, F. (Ed.) 9th International Conference on Principles and Practice of Constraint Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 214-228. DOI: 10.1007/978-3-540-45193-8_15

Cheng, KCK.; Lee, JHM.; Stuckey, PJ. (2003) “Efficient representation of Adhoc constraints” pp: 1368-1369.

Choi, CW.; Lee, JHM.; Stuckey, PJ. (2003) “Propagation redundancy in redundant modelling” Rossi, F. (Ed.) 9th International Conference on Principles and Practice of Constraint Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 229-243. DOI: 10.1007/978-3-540-45193-8_16

Choi, CW.; Lee, JHM.; Stuckey, PJ. (2003) “Propagation redundancy for permutation channels” pp: 1370-1371.

Duck, GJ.; Stuckey, PJ.; De La Banda, MG.; Holzbaur, C. (2003) “Extending Arbitrary Solvers with Constraint Handling Rules” PPDP03: 5th International Conference on Principles and Practice of Declarative Programming 2003 US (New York). ACM. pp: 79-90. DOI: 10.1145/888251.888260

Garcia De La Banda, M.; Stuckey, PJ.; Wazny, J. (2003) “Finding All Minimal Unsatisfiable Subsets” PPDP03: 5th International Conference on Principles and Practice of Declarative Programming 2003 US (New York). ACM. pp: 32-43. DOI: 10.1145/888251.888256

Lagoon, V.; Mesnard, F.; Stuckey, PJ. (2003) “Termination analysis with types is more accurate” Palamidessi, C. (Ed.) 19th International Conference on Logic Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 254-268. DOI: 10.1007/978-3-540-24599-5_18

Ly, TC.; Greenhill, S.; Venkatesh, S.; Pearce, A. (2003) “Multiple hypotheses situation assessment” 6th International Conference on Information Fusion US (Ohio). INT SOC INFORMATION FUSION. pp: 972-978. DOI: 10.1109/ICIF.2003.177345

Marriott, K.; Stuckey, PJ.; Sulzmann, M. (2003) “Resource usage verification” Ohori, A. (Ed.) 1st Asian Symposium on Programming Languages and Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 212-229. DOI: 10.1007/978-3-540-40018-9_15

Menzies, T.; Pearce, A.; Heinze, C.; Goss, S. (2003) “What is an agent and why should i care?” Hinchey, MG.; Rash, JL.; Truszkowski, WE.; Rouff, C.; Gordonspears, D. (Ed.) 2nd International Workshop on Formal Approaches to Agent-Based Systems (FAABS 2002) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 1-14. DOI: 10.1007/978-3-540-45133-4_1

Merlot, LTG.; Boland, N.; Hughes, BD.; Stuckey, PJ. (2003) “A hybrid algorithm for the examination timetabling problem” Burke, E.; Decausmaecker, P. (Ed.) 4th International Conference on Practice and Theory of Automated Timetabling DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 207-231. DOI: 10.1007/978-3-540-45157-0_14

Perugini, D.; Lambert, D.; Sterling, L.; Pearce, A. (2003) “A distributed agent approach to global transportation scheduling” Liu, J.; Faltings, B.; Zhong, N.; Lu, R.; Nishida, T. (Ed.) IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003) US (California). IEEE COMPUTER SOC. pp: 18-24. DOI: 10.1109/IAT.2003.1241043

Perugini, D.; Lambert, D.; Sterling, L.; Pearce, A. (2003) “Distributed information fusion agents” 6th International Conference on Information Fusion US (Ohio). INT SOC INFORMATION FUSION. pp: 86-93. DOI: 10.1109/ICIF.2003.177431

Perugini, D.; Perugini, D.; Wark, S.; Zschorn, A.; Lambert, D.; Sterling, LS.; Pearce, AR. (2003) “Agents in Logistics Planning - Experiences with the Coalition Agents Experiment Project” Agents at Work: Deployed Applications of Autonomous Agents and Multi-Agent Systems AU (Melbourne). Agent Oriented Software Group. pp: 1-6.

Rahwan, I.; Sonenberg, L.; Dignum, F. (2003) “Towards interest-based negotiation” AAMAS03: Second International Conference on Autonomous Agents and Multiagent Systems ACM. pp: 773-780. DOI: 10.1145/860575.860699

Rahwan, I.; Sonenberg, L.; Dignum, F. (2003) “Towards Interest-Based Negotiation” the second international joint conference US (New York). ACM Press. pp: 773-780. DOI: 10.1145/860695.860699

Soon, S.; Pearce, A.; Noble, M. (2003) “Modelling the collaborative mission planning process using dynamic teamwork structures” the second international joint conference ACM Press. DOI: 10.1145/860722.860827

Soon, S.; Pearce, A.; Noble, M. (2003) “Modelling the Collaborative Mission Planning Process using Dynamic Teamwork Structures” AAMAS03: Second International Conference on Autonomous Agents and Multiagent Systems US (New York). ACM. pp: 1124-1125. DOI: 10.1145/860722.860827

Stacey, K.; Sonenberg, E.; Nicholson, A.; Boneh, T.; Steinle, V. (2003) “A teaching model exploiting cognitive conflict driven by a bayesian network” Brusilovsky, P.; Corbett, A.; Derosis, F. (Ed.) 9th International Conference on User Modeling DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 352-362. DOI: 10.1007/3-540-44963-9_48

Stuckey, PJ.; Sulzmann, M.; Wazny, J. (2003) “Interactive Type Debugging in Haskell” HW03: Haskell Workshop 2003 ( co-located with ICFP 2003 and PPDP 2003 Conferences) US (New York). ACM. pp: 72-83. DOI: 10.1145/871895.871903

Stuckey, PJ.; Sulzmann, M.; Wazny, JR. (2003) “The Chameleon Type Debugger” Fifth International Workshop on Automated Debugging BE (Ghent). Ghent University. pp: 247-260.

Stuckey, PJ.; Zheng, L. (2003) “Improving Nogood Recording using 2SAT” Werner, B. (Ed.) 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003) US (New Jersey). IEEE COMPUTER SOC. pp: 94-99. DOI: 10.1109/TAI.2003.1250175

Wybrow, M.; Marriott, K.; Mciver, L.; Stuckey, PJ. (2003) “The Usefulness of Constraints for Diagram Editing” 2003 Australasian Computer Human Interaction Conference AU (Canberra). The Ergonomics Society of Australia. pp: 192-201.

Other

Rahwan, I.; Mcburney, P.; Sonenberg, EA. (2003) “Towards a theory of negotiation strategy (a preliminary report)” AU (Melbourne). AAMAS-03.

2002

Book chapters

García De La Banda, M.; Demoen, B.; Marriott, K.; Stuckey, PJ. (2002) “To the Gates of HAL: A HAL Tutorial”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 47-66. DOI: 10.1007/3-540-45788-7_3

Stuckey, PJ. (2002) “Preface”. pp: .

Teague, V.; Sonenberg, L. (2002) “Investigating Commitment Flexibility in Multi-Agent Contracts”. Parsons, S.; Gmytrasiewicz, P.; Wooldridge, M. (Ed.) Multiagent Systems, Artificial Societies, and Simulated Organizations. US. Springer US. pp: 267-291. DOI: 10.1007/978-1-4615-1107-6_13

Journal articles

Davey, B.; Boland, N.; Stuckey, PJ. (2002) “Efficient intelligent backtracking using linear programming” INFORMS Journal on Computing INFORMS. pp: 373-386. DOI: 10.1287/ijoc.14.4.373.2823

Dignum, F.; Kinny, DN.; Sonenberg, EA. (2002) “From desires, obligations and norms to goals'” Cognitive Science Quarterly FR (Paris). Lavoisier. pp: 407-427.

Hansen, T.; Marriott, K.; Meyer, B.; Stuckey, PJ. (2002) “Flexible graph layout for the web” Journal of Visual Languages and Computing ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD. pp: 35-60. DOI: 10.1006/jvlc.2001.0226

Harvey, W.; Stuckey, PJ.; Borning, A. (2002) “Fourier elimination for compiling constraint hierarchies” Constraints Springer Science and Business Media LLC. pp: 199-219. DOI: 10.1023/A:1015161716072

Kirley, M. (2002) “A cellular genetic algorithm with disturbances: Optimisation using dynamic spatial interactions” Journal of Heuristics SPRINGER. pp: 321-342. DOI: 10.1023/A:1015009818589

Conference Papers

Cornforth, .; Green, .; Newth, .; Kirley, M. (2002) “Do Artificial Ants March in Step? Ordered Asynchronous Processes and Modularity in Biological Systems” Artificial Life VIII US (Massachusetts). MIT Press. pp: 28-38.

De La Banda, MG.; Demoen, B.; Marriott, K.; Stuckey, PJ. (2002) “To the gates of HAL: A HAL tutorial” Hu, Z.; Rodríguez-artalejo, M. (Ed.) Sixth International Symposium on Functional and Logic Programming DE (Berlin). Springer Berlin Heidelberg. pp: 47-66. DOI: 10.1007/3-540-45788-7

Dignum, F.; Kinny, D.; Sonenberg, L. (2002) “Motivational attitudes of agents: On desires, obligations, and norms” Keplicz, BD.; Nawarecki, E. (Ed.) 2nd International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS 2001) SPRINGER-VERLAG BERLIN. pp: 83-. DOI: 10.1007/3-540-45941-3_9

Fang, H.; Kilani, Y.; Lee, JHM.; Stuckey, PJ. (2002) “Reducing search space in local search for constraint satisfaction” 18th National Conference on Artificial Intelligence/14th Conference on Innovative Applications of Artificial Intelligence US (California). MIT PRESS. pp: 28-33.

Glynn, K.; Stuckey, P.; Sulzmann, M.; Sondergaard, H. (2002) “Exception analysis for non-strict languages” 7th ACM SIGPLAN International Conference on Functional Programming (ICFP) US (New York). ACM Press. pp: 98-109. DOI: 10.1145/581478.581488

Juan, T.; Pearce, A.; Sterling, L. (2002) “ROADMAP: Extending the Gaia methodology for complex open systems” AAMAS02: The First International Joint Conference on Autonomous Agents and Multi-Agent Systems ( formerly known as Autonomous Agents ) US (New York). ACM. pp: 3-10. DOI: 10.1145/544741.544744

Keogh, KN.; Sonenberg, EA. (2002) “Analysis and visualisation of complex behavioural data: A case study of disturbance management in anesthesia” HF2002 Human Factors Conference AU (Canberra). The Ergonomics Society of Australia. pp: 1-9.

Lagoon, V.; Stuckey, PJ. (2002) “Precise pair-sharing analysis of logic programs” PPDP02: Principles and Practice of Declarative Programming 2002 US (New York). ACM. pp: 99-108. DOI: 10.1145/571157.571168

Li, X.; Kirley, M. (2002) “The effects of varying population density in a fine-grained parallel genetic algorithm” 2002 World Congress on Computational Intelligence - WCCI'02 IEEE. pp: 1709-1714. DOI: 10.1109/CEC.2002.1004500

Norling, EJ.; Sonenberg, EA. (2002) “An approach to evaluating human characteristics in agents” RASTA'02 DE (Hamburg). Fachbefeich Informatik. pp: 51-60.

Overton, D.; Somogyi, Z.; Stuckey, PJ. (2002) “Constraint-based mode analysis of mercury” PPDP02: Principles and Practice of Declarative Programming 2002 US (New York). ACM. pp: 109-120. DOI: 10.1145/571157.571169

Perugini, D.; Lambert, D.; Sterling, LS.; Pearce, AR. (2002) “Agents for military logistic planning” 15th European Conference on Artificial Intelligence NL (Amsterdam). IOS Press. pp: 35-44.

Sitzmann, I.; Stuckey, PJ. (2002) “Compacting discriminator information for spatial trees” Thirteenth Australasian Database Conference AU (Sydney). Australian Computer Society. pp: 167-176.

Somogyi, Z.; Stuckey, PJ. (2002) “Using the heap to eliminate stack accesses” PPDP02: Principles and Practice of Declarative Programming 2002 US (New York). ACM. pp: 121-132. DOI: 10.1145/571157.571170

Stuckey, PJ.; Sulzmann, M. (2002) “A theory of overloading” 7th International Conference on Functional Programming US (New York). ASSOC COMPUTING MACHINERY. pp: 167-178. DOI: 10.1145/581478.581495

Stuckey, PJ.; Zheng, L. (2002) “Improving GSAT using 2SAT” 8th International Conference on Principles and Practice of Constraint Programming 2002 DE (Berlin). Springer Berlin Heidelberg. pp: 691-695. DOI: 10.1007/3-540-46135-3_47

Yoshimura, K.; Barnes, NM.; Ronnquist, R.; Sonenberg, EA. (2002) “Towards a real-time strategic teamwork: A RoboCup case study” RoboCup-2002 Robot Soccer World Cup VI JP (Tokyo). Springer Verlag. pp: 332-339.

Zheng, L.; Stuckey, PJ. (2002) “Improving SAT using 2SAT” 25th Australasian Computer Science Conference 2002 AU (Sydney). Australian Computer Society. pp: 331-340.

Other

Glynn, K.; Stuckey, PJ.; Sulzmann, M.; Søndergaard, H. (2002) “Exception analysis for non-strict languages” AU (Melbourne). ASSOC COMPUTING MACHINERY. pp: 98-109. DOI: 10.1145/581478.581488

Greenhill, S.; Venkatesh, S.; Pearce, A.; Ly, T. (2002) “Situation Description Language” AU (Sydney). DSTO.

2001

Journal articles

Badros, GJ.; Borning, A.; Stuckey, PJ. (2001) “The Cassowary Linear Arithmetic Constraint Solving Algorithm” Association for Computing Machinery. Communications Association for Computing Machinery (ACM). pp: 267-306. DOI: 10.1145/504704.504705

Boland, N.; Krishnamoorthy, M.; Stuckey, P. (2001) “Untitled - Preface” ANNALS OF OPERATIONS RESEARCH KLUWER ACADEMIC PUBL. pp: 13-17.

Glynn, K.; Stuckey, PJ.; Sulzmann, M. (2001) “Effective strictness analysis with HORN constraints” Cousot, P. (Ed.) Lecture Notes in Computer Science SPRINGER-VERLAG BERLIN. pp: 73-92. DOI: 10.1007/3-540-47764-0_5

Conference Papers

Au, G.; Goss, S.; Heinze, C.; Pearce, AR. (2001) “Rescue-model: A multi-agent simulation of bushfire disaster management” Fourth Robot World Cup Soccer Games and Conferences DE (Berlin). Springer Berlin Heidelberg. pp: 285-290. DOI: 10.1007/3-540-45324-5_27

Bonollo, U.; Van Der Mayden, R.; Sonenberg, EA. (2001) “Knowledge-based Specification: Investigating Distributed Mutual Exclusion” The Seventh Biennial Bar-Ilan International Symposium on theFoundations of Artificial Intelligence IL (Ramat-Gan). Bar-Ilan University. pp: 1-14.

Bueno, F.; De La Banda, MG.; Hermenegildo, M.; Marriott, K.; Puebla, G.; Stuckey, PJ. (2001) “A model for inter-module analysis and optimizing compilation” Lau, KK. (Ed.) 10th International Workshop on Logic Based Program Synthesis and Transformation DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 86-102. DOI: 10.1007/3-540-45142-0_6

Codish, M.; Genaim, S.; Søndergaard, H.; Stuckey, PJ. (2001) “Higher-precision groundness analysis” Codognet, P. (Ed.) Seventeenth International Conference on Logic Programming (LP) DE (Berlin). Springer Berlin Heidelberg. pp: 135-149. DOI: 10.1007/3-540-45635-x_17

De La Banda, MG.; Jeffery, D.; Marriott, K.; Nethercote, N.; Stuckey, PJ.; Holzbaur, C. (2001) “Building constraint solvers with HAL” 17th International Conference on Logic Programmin DE (Berlin). Springer Berlin Heidelberg. pp: 90-104. DOI: 10.1007/3-540-45635-x_14

Dignum, F.; Kinny, DN.; Sonenberg, EA. (2001) “Motivational attiudes of agents: On desires, obligations and norms” Second International Workshop of Central & Eastern Europe on Multi-Agent Systems PL (Krakow). University of Mining and Metallurgy, Krakow, Poland. pp: 61-70.

Glynn, K.; Stuckey, PJ.; Sulzmann, M. (2001) “Efficient Strictness Analysis with HORN Constraints” Eighth International Static Analysis Symposium DE (Berlin). Springer Verlag. pp: 73-92.

Glynn, K.; Stuckey, PJ.; Sulzmann, M.; Sondergaard, HC. (2001) “Boolean Constraints for Binding-Time Analysis” Danvy, O.; Filinksi, A. (Ed.) Second Symposium on Programs as Data Objects (PADO) DE (Berlin). Springer Berlin Heidelberg. pp: 39-62. DOI: 10.1007/3-540-44978-7_4

Heinze, C.; Pearce, A.; Sterling, L.; Goss, S. (2001) “Designing perception modules to shape information for agents” Pacific Rim International Conference on Artificial Intelligence DE (Berlin). Springer Berlin Heidelberg. pp: 239-248. DOI: 10.1007/3-540-45408-x_24

Holzbaur, C.; De La Banda, MG.; Jeffery, D.; Stuckey, PJ. (2001) “Optimizing compilation of constraint handling rules” 17th International Conference on Logic Programming DE (Berlin). Springer Berlin Heidelberg. pp: 74-89. DOI: 10.1007/3-540-45635-x_13

Kirley, M. (2001) “MEA: A metapopulation evolutionary algorithm for multi-objective optimisation problems” 2001 Congress on Evolutionary Computation IEEE. pp: 949-956. DOI: 10.1109/cec.2001.934292

Lagoon, V.; Stuckey, PJ. (2001) “A framework for analysis of typed logic programs” Kuchen, H.; Ueda, K. (Ed.) 5th International Symposium on Functional and Logic Programming DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 296-310. DOI: 10.1007/3-540-44716-4_19

Marriott, K.; Moulder, P.; Stuckey, PJ.; Borning, A. (2001) “Solving disjunctive constraints for interactive graphical applications” Seventh International Conference on Principles and Practice of Constraint Programming DE (Berlin). Springer Berlin Heidelberg. pp: 361-376. DOI: 10.1007/3-540-45578-7_25

Morley, D.; Sonenberg, EA. (2001) “Compositional semantics for reasoning about concurrent events” Seventeenth International Joint Conference on Artificial Intellignece US (California). IJCAI Incorporated. pp: 51-57.

Nicholson, A.; Boneh, T.; Wilkin, T.; Stacey, KC.; Sonenberg, EA.; Steinle, VA. (2001) “A case study in knowledge discovery and elicitation in an intelligent tutoring application.” Seventeenth Conference on Uncertainty in Artificial Intelligence US (San Francisco). Morgan Kaufmann Publishers. pp: 386-394.

Norling, E.; Sonenberg, L.; Rönnquist, R. (2001) “Enhancing multi-agent based simulation with human-like decision making strategies” Moss, S.; Davidsson, P. (Ed.) 2nd International Workshop on Multi-Agent-Based Simulation (MABS 2000) DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 214-228. DOI: 10.1007/3-540-44561-7

Ross, KA.; Sitzmann, I.; Stuckey, PJ. (2001) “Cost-based unbalanced R-trees” Kerschberg, L.; Kafatos, M. (Ed.) 13th International Conference on Scientific and Statistical Database Management (SSDBM 2001) IEEE COMPUTER SOC. pp: 203-212. DOI: 10.1109/SSDM.2001.938552

Ross, KA.; Sitzmann, I.; Stuckey, PJ. (2001) “Cost-based unbalanced R-trees” 28th Annual International Symposium on Computer Architecture US (California). IEEE Comput. Soc. pp: 203-212. DOI: 10.1109/ISCA.2001.937444

Schulte, C.; Stuckey, PJ. (2001) “When do bounds and domain propagation lead to the same search space” PPDP01: Principles and Practice of Declarative Programming US (New York). ACM. pp: 115-126. DOI: 10.1145/773184.773197

Other

Glynn, K.; Stuckey, PJ.; Sulzmann, M. (2001) “A General Type Class Framework” AU (Melbourne). Department of Computer Science and Software Engineering.

Glynn, K.; Stuckey, PJ.; Sulzmann, M. (2001) “The HM(CHR) Framework” AU (Melbourne). Department of Computer Science and Software Engineering.

Stuckey, PJ.; Sulzmann, M. (2001) “A Systematic Approach in Type System Design based on Constraint Handling Rules” AU (Melbourne). Department of Computer Science and Software Engineering.

2000

Book chapters

Lloyd, J.; Dahl, V.; Furbach, U.; Kerber, M.; Lau, KK.; Palamidessi, C.; Pereira, LM.; Sagiv, Y.; Stuckey, PJ. (2000) “Preface”. pp: V-VI.

Norling, E.; Sonenberg, L.; Rönnquist, R. (2000) “Enhancing Multi-Agent Based Simulation with Human-Like Decision Making Strategies”. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp: 214-228. DOI: 10.1007/3-540-44561-7_16

Journal articles

Choi, KMF.; Lee, JHM.; Stuckey, PJ. (2000) “Lagrangian reconstruction of GENET” Artificial Intelligence ELSEVIER. pp: 1-39. DOI: 10.1016/S0004-3702(00)00053-9

Hermenegildo, M.; Puebla, G.; Marriott, K.; Stuckey, PJ. (2000) “Incremental analysis of constraint logic programs” ACM Transactions on Programming Languages and Systems ASSOC COMPUTING MACHINERY. pp: 187-223. DOI: 10.1145/349214.349216

Osman, E.; Pearce, AR.; Jüttner, M.; Rentschler, I. (2000) “Reconstructing mental object representations: A machine vision approach to human visual recognition” Multisensory Research VSP BV. pp: 277-286. DOI: 10.1163/156856800741090

Conference Papers

Clapham, NT.; Green, DG.; Kirley, M. (2000) “Distributed data warehouses - The role of adaptive information agents” 2000 IEEE International Conference on Industrial Electronics, Control and Instrumentation IEEE. pp: 2792-2797. DOI: 10.1109/IECON.2000.972440

De La Banda, MG.; Stuckey, PJ.; Harvey, W.; Marriott, K. (2000) “Mode checking in HAL” Lloyd, J.; Dahl, V.; Furbach, U.; Kerber, M.; Lau, KK.; Palamidessi, C.; Pereira, LM.; Sagiv, Y.; Stuckey, PJ. (Ed.) 1st International Conference on Computational Logic (CL 2000) SPRINGER-VERLAG BERLIN. pp: 1270-1284. DOI: 10.1007/3-540-44957-4_85

Dignum, F.; Morley, D.; Sonenberg, EA.; Cavedon, L. (2000) “Towards socially sophisticated BDI agents” Fourth International Conference on MultiAgent Systems IEEE Comput. Soc. pp: 111-118. DOI: 10.1109/ICMAS.2000.858442

Lloyd, J.; Dahl, V.; Furbach, U.; Kerber, M.; Lau, KK.; Palamidessi, C.; Pereira, LM.; Sagiv, Y.; Stuckey, PJ. (2000) “Preface” DE GRUYTER. pp: V-VI. DOI: 10.1515/9781614512745.v

Newth, D.; Kirley, M.; Green, DG. (2000) “An investigation of the use of local search in N P-hard problems” 2000 26th Annual Conference of the IEEE Industrial Electronics Society. IECON 2000. 2000 IEEE International Conference on Industrial Electronics, Control and Instrumentation. 21st Century Technologies and Industrial Opportunities (Cat. No.00CH37141) Institute of Electrical and Electronics Engineers (IEEE). pp: 2710-2715. DOI: 10.1109/iecon.2000.972426

Newth, D.; Kirley, M.; Green, DG. (2000) “An investigation of the use of local search in NP-hard problems” 2000 IEEE International Conference on Industrial Electronics, Control and Instrumentation IEEE. pp: 2710-2715. DOI: 10.1109/IECON.2000.972426

Pearce, AR.; Heinze, C.; Goss, S. (2000) “Enabling perception for plan recognition in multi-agent air mission simulations” 4th International Conference on MultiAgent Systems IEEE COMPUTER SOC. pp: 427-428. DOI: 10.1109/ICMAS.2000.858508

Sitzmann, I.; Stuckey, P. (2000) “O-trees: A constraint-based index structure” 11th Australasian Database Conference. ADC 2000 IEEE Comput. Soc. pp: 127-134. DOI: 10.1109/ADC.2000.819823

Sitzmann, I.; Stuckey, PJ. (2000) “Improving temporal joins using histograms” Springer Berlin Heidelberg. pp: 488-498. DOI: 10.1007/3-540-44469-6_46

Tidhar, G.; Sonenberg, EA. (2000) “Organized distributed systems (extended abstract)” Etzion, O.; Scheuermann, P. (Ed.) 7th International Conference on Cooperative Information Systems (CoopIS 2000) SPRINGER-VERLAG BERLIN. pp: 126-131. DOI: 10.1007/10722620_12

Yoshimura, K.; Rönnquist, R.; Sonenberg, L. (2000) “An approach to specifying coordinated agent behaviour” Springer Berlin Heidelberg. pp: 115-127. DOI: 10.1007/3-540-44594-3_9

1999

Journal articles

Kirley, M. (1999) “Coevolutionary genetic algorithm for job shop scheduling problems” International Conference on Knowledge Based Intelligent Electronic Systems Proceedings KES pp: 84-87.

Loke, SW.; Sterling, L.; Sonenberg, L. (1999) “A knowledge-based approach to domain-specialized information agents” Internet Research MCB UNIV PRESS LTD. pp: 140-152. DOI: 10.1108/10662249910264909

Pearce, AR.; Caelli, T. (1999) “Interactively Matching Hand-Drawings Using Induction” Computer Vision and Image Understanding ACADEMIC PRESS INC. pp: 391-403. DOI: 10.1006/cviu.1998.0742

Conference Papers

Dettmann, E.; Nicholson, A.; Sonenberg, L.; Stacey, K.; Steinle, V. (1999) “Bayesian reasoning for diagnosing student misconceptions about decimals (Extended summary)” Springer Berlin Heidelberg. pp: 486-487. DOI: 10.1007/3-540-46695-9_49

Kirley, M.; Li, X.; Green, DG. (1999) “Investigation of a cellular genetic algorithm that mimics landscape ecology” Springer Berlin Heidelberg. pp: 90-97. DOI: 10.1007/3-540-48873-1_13

1998

Conference Papers

Cavedon, L.; Sonenberg, L. (1998) “On social commitment, roles and preferred goals” International Conference on Multi Agent Systems IEEE Comput. Soc. pp: 80-87. DOI: 10.1109/ICMAS.1998.699035

Pearce, AR.; Caelli, T. (1998) “The CLARET algorithm” Wu, XD.; Kotagiri, R.; Korb, KB. (Ed.) 2nd Pacific-Asia Conference on Research and Development in Knowledge Discovery and Data Mining (PAKDD-98) SPRINGER-VERLAG BERLIN. pp: 407-408. DOI: 10.1007/3-540-64383-4_46

Tidhar, G.; Sonenberg, EA.; Rao, AS. (1998) “On team knowledge and common knowledge” Demazeau, Y. (Ed.) 3rd International Conference on Multi-Agent Systems (ICMAS'98) IEEE COMPUTER SOC. pp: 301-308. DOI: 10.1109/ICMAS.1998.699072

1997

Book chapters

Pearce, AR.; Caelli, T. (1997) “Relational Evidence Theory and Interpreting Schematics”. Caelli, T.; Bischof, WF. (Ed.) Machine Learning and Image Interpretation. New York. Springer US. pp: 67-118. DOI: 10.1007/978-1-4899-1816-1_3

Journal articles

Dart, P.; Johnston, L.; Schmidt, C.; Sonenberg, L. (1997) “Developing an accredited software engineering program” IEEE Software Institute of Electrical and Electronics Engineers (IEEE). pp: 66-70. DOI: 10.1109/52.636671

Conference Papers

Cavedon, L.; Rao, A.; Sonenberg, L.; Tidhart, G. (1997) “Teamwork via team plans in intelligent autonomous agent systems” Masuda, T.; Masunaga, Y.; Tsukamoto, M. (Ed.) International Conference on Worldwide Computing and Its Applications (WWCA 97) SPRINGER-VERLAG BERLIN. pp: 106-121. DOI: 10.1007/3-540-63343-x_41

Grinton, C.; Sonenberg, L.; Sterling, L. (1997) “Exploring agent cooperation: Studies with a simple pursuit game” Springer Berlin Heidelberg. pp: 96-105. DOI: 10.1007/3-540-63797-4_62

Pearce, A.; Caelli, T. (1997) “Schematic recognition and the CLARET consolidated learning algorithm” 1st International Conference on Conventional and Knowledge Based Intelligent Electronic Systems. KES '97 IEEE. pp: 64-71. DOI: 10.1109/kes.1997.616853

Pearce, AR.; Caelli, T.; Goss, S. (1997) “On learning spatio-temporal relational structures in two different domains” Springer Berlin Heidelberg. pp: 551-558. DOI: 10.1007/3-540-63931-4_261

Pearce, AR.; Caelli, T.; Goss, S. (1997) “Adaptive curvature-based topography for learning symbolic descriptions of terrain maps” Springer Berlin Heidelberg. pp: 282-289. DOI: 10.1007/3-540-63797-4_81

1996

Conference Papers

Morley, D.; Sonenberg, L. (1996) “A logic for concurrent events and action failure” Springer Berlin Heidelberg. pp: 483-494. DOI: 10.1007/3-540-61532-6_41

Sonenberg, L. (1996) “Calculating first: A better curriculum?” the first Australasian conference ACM Press. pp: 202-208. DOI: 10.1145/369585.369620

1995

Conference Papers

Burton, CA.; Johnston, LJ.; Sonenberg, EA. (1995) “Empirical investigation of thumbnail image recognition” pp: 115-121.

Burton, CA.; Johnston, LJ.; Sonenberg, EA. (1995) “Case study: an empirical investigation of thumbnail image recognition” Visualization 1995 Conference IEEE Comput. Soc. Press. pp: 115-121,. DOI: 10.1109/infvis.1995.528695

Mansell, T.; Sonenberg, E.; Smith, G. (1995) “AI planning for hazard action response” pp: 705-710.

1994

Journal articles

Pearce, A.; Caelli, T.; Bischof, WF. (1994) “Rulegraphs for graph matching in pattern recognition” Pattern Recognition PERGAMON-ELSEVIER SCIENCE LTD. pp: 1231-1247. DOI: 10.1016/0031-3203(94)90007-8

Pearce, AR.; Caelli, T.; Bischof, WF. (1994) “Learning relational structures: Applications in computer vision” Applied Intelligence KLUWER ACADEMIC PUBL. pp: 257-268. DOI: 10.1007/BF00872092

Conference Papers

Kinny, D.; Sonenberg, E.; Ljungberg, M.; Tidhar, G.; Rao, A.; Werner, E. (1994) “Planned team activity” Castelfranchi, C.; Werner, E. (Ed.) Springer Berlin Heidelberg. pp: 227-256. DOI: 10.1007/3-540-58266-5_13

1992

Journal articles

Rao, AS.; Georgeff, MP.; Sonenberg, EA. (1992) “Social plans: a preliminary report (abstract)” ACM SIGOIS Bulletin Association for Computing Machinery (ACM). pp: 10-10. DOI: 10.1145/152683.152689

Sonenberg, EA.; Lawrence, JA.; Zelcer, J. (1992) “Modeling disturbance management in anesthesia: A preliminary report” Artificial Intelligence in Medicine Elsevier BV. pp: 447-461. DOI: 10.1016/0933-3657(92)90012-E

1990

Conference Papers

Berger, RA.; Sonenberg, EA.; Zelcer, J. (1990) “A knowledge based simulation of critical incidents in anaesthesia” Springer Berlin Heidelberg. pp: 75-89. DOI: 10.1007/3-540-52062-7_72

1988

Book chapters

Topor, RW.; Sonenberg, EA. (1988) “On Domain Independent Databases”. Foundations of Deductive Databases and Logic Programming. Elsevier. pp: 217-240. DOI: 10.1016/b978-0-934613-40-8.50010-5

Conference Papers

Sonenberg, EA.; Topor, RW. (1988) “On domain independent disjunctive databases” Springer Berlin Heidelberg. pp: 281-291. DOI: 10.1007/3-540-50171-1_18

1987

Journal articles

Lloyd, JW.; Sonenberg, EA.; Topor, RW. (1987) “Integrity constraint checking in stratified databases” The Journal of Logic and Algebraic Programming Elsevier BV. pp: 331-343. DOI: 10.1016/0743-1066(87)90009-4

1982

Journal articles

Lassez, JL.; Nguyen, VL.; Sonenberg, EA. (1982) “Fixed point theorems and semantics: a folk tale” Information Processing Letters Elsevier BV. pp: 112-116. DOI: 10.1016/0020-0190(82)90065-5