Publications

2022

Journal articles

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

2021

Book chapters

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.) Lecture Notes in Computer Science. SPRINGER-VERLAG BERLIN. pp: 235-250. DOI: 10.1007/978-3-662-63958-0_21

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

Baillie, E.; Howe, PDL.; Perfors, A.; Miller, T.; Kashima, Y.; Beger, A. (2021) “Explainable models for forecasting the emergence of political instability” PLoS One PUBLIC LIBRARY SCIENCE. pp: -. DOI: 10.1371/journal.pone.0254350

Coghlan, S.; Miller, T.; Paterson, J. (2021) “Good Proctor or "Big Brother"? Ethics of Online Exam Supervision Technologies.” Philosophy and Technology Springer Science and Business Media LLC. pp: 1-26. DOI: 10.1007/s13347-021-00476-1

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: 717003-. DOI: 10.3389/frai.2021.717003

Fuentes, S.; Gonzalez Viejo, C.; 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

Le, T.; Singh, R.; Miller, T. (2021) “Goal recognition for deceptive human agents through planning and gaze” Journal of Artificial Intelligence Research AI Access Foundation. pp: 697-732. DOI: 10.1613/JAIR.1.12518

Lyons, H.; Velloso, E.; Miller, T. (2021) “Conceptualising Contestability” Proceedings of the ACM on Human-Computer Interaction Association for Computing Machinery (ACM). pp: 1-25. DOI: 10.1145/3449180

Miller, T. (2021) “Contrastive explanation: A structural-model approach” The Knowledge Engineering Review Cambridge University Press (CUP). pp: e14-. DOI: 10.1017/S0269888921000102

Munoz, MA.; Kirley, M. (2021) “Sampling Effects on Algorithm Selection for Continuous Black-Box Optimization” Algorithms MDPI. pp: -. DOI: 10.3390/a14010019

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

Conference Papers

Amadini, R.; Gange, G.; Schachte, P.; Søndergaard, H.; Stuckey, PJ. (2021) “Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study” Springer International Publishing. 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

Jacovi, A.; Marasović, A.; Miller, T.; Goldberg, Y. (2021) “Formalizing trust in artificial intelligence: Prerequisites, causes and goals of human trust in AI” FAccT '21: 2021 ACM Conference on Fairness, Accountability, and Transparency ACM. pp: 624-635. DOI: 10.1145/3442188.3445923

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

Liu, Z.; Yang, Y.; Miller, T.; Masters, P. (2021) “Deceptive reinforcement learning for privacy-preserving planning” pp: 818-826.

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.

Masters, P.; Vered, M. (2021) “What’s the Context? Implicit and Explicit Assumptions in Model-Based Goal Recognition” Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21} International Joint Conferences on Artificial Intelligence Organization. pp: 4516-4523. DOI: 10.24963/ijcai.2021/615

Rogerson, MJ.; Newn, J.; Singh, R.; Baillie, E.; Papasimeon, M.; Benke, L.; Miller, T. (2021) “Observing multiplayer boardgame play at a distance” CHI PLAY '21: The Annual Symposium on Computer-Human Interaction in Play ACM. pp: 262-267. DOI: 10.1145/3450337.3483485

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

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

Blom, M.; Shekh, S.; Gossink, D.; Miller, T.; Pearce, AR. (2020) “Inventory routing for defense: Moving supplies in adversarial and partially observable environments” The Journal of Defense Modeling and Simulation Applications Methodology Technology 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” Diversity MDPI AG. pp: -. DOI: 10.3390/s20185108

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 Association for the Advancement of Artificial Intelligence (AAAI). pp: 2493-2500. DOI: 10.1609/aaai.v34i03.5631

Miller, T.; Weber, R.; Magazzeni, D. (2020) “Report on the 2019 International Joint Conferences on Artificial Intelligence Explainable Artificial Intelligence Workshop” AI Magazine AMER ASSOC ARTIFICIAL INTELL. pp: 103-105. DOI: 10.1609/aimag.v41i1.5302

Payrovnaziri, SN.; Chen, Z.; Rengifo-moreno, P.; Miller, T.; Bian, J.; Chen, JH.; Liu, X.; He, Z. (2020) “Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review.” Journal of the American Medical Informatics Association Oxford University Press (OUP). pp: 1173-1185. DOI: 10.1093/jamia/ocaa053

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

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

Demirovic, E.; Stuckey, PJ.; Bailey, J.; Chan, J.; Leckie, C.; Ramamohanarao, K.; Guns, T. (2020) “Dynamic Programming for Predict plus 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.; 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

Engesser, T.; Miller, T. (2020) “Implicit Coordination Using FOND Planning” 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: 7151-7159.

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

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.

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

Ronald, N.; Sterling, L.; Kirley, M. (2020) “A conceptual framework for specifying and developing pedestrian models” pp: 2615-2621.

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

Spratley, S.; Ehinger, K.; Miller, T. (2020) “A Closer Look at Generalisation in RAVEN” Computer Vision – ECCV 2020 16th European Conference Glasgow, UK Springer. pp: 601-616. DOI: 10.1007/978-3-030-58583-9_36

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” Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20} International Joint Conferences on Artificial Intelligence Organization. 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

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

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

Gunning, D.; Stefik, M.; Choi, J.; Miller, T.; Stumpf, S.; Yang, G-Z. (2019) “XAI-Explainable artificial intelligence” Science Robotics Washington DC, United States. American Association for the Advancement of Science. pp: -. DOI: 10.1126/scirobotics.aay7120

Gurevitch, L.; Miller, T.; Fraser, S. (2019) “Designing educational experiences: Resurrecting the archive through collaborative exhibition: Augmented reality, virtual reality and the National library of New Zealand” Encounters in Theory and History of Education Queen's University Library. pp: 137-157. DOI: 10.24908/encounters.v20i1.13407

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.” Methods in molecular biology (Clifton, N.J.) Springer New York. pp: 123-131. DOI: 10.1007/978-1-4939-9161-7_6

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

Miller, T. (2019) “Explanation in artificial intelligence: Insights from the social sciences” Artificial Intelligence Netherlands. ELSEVIER SCIENCE BV. pp: 1-38. DOI: 10.1016/j.artint.2018.07.007

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

Aineto, D.; Jimenez, S.; Onaindia, E.; Ramirez Javega, M. (2019) “Model Recognition as Planning” International Conference on Automated Planning and Scheduling The AAAI Press. pp: 13-21.

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

Burrows, R.; Lopez-lorca, A.; Sterling, L.; Miller, T.; Mendoza, A.; Pedell, S. (2019) “Motivational modelling in software for homelessness: Lessons from an industrial study” Damian, D.; Perini, A.; Lee, SW. (Ed.) 27th International Requirements Engineering Conference (RE) IEEE. pp: 297-307. DOI: 10.1109/RE.2019.00039

Burrows, R.; Mendoza, A.; Sterling, L.; Miller, T. (2019) “Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness” 17th European Conference on Computer-Supported Cooperative Work Springer. DOI: 10.18420/ecscw2019_ep17

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” 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” International Joint Conference on Artificial Intelligence International Joint Conference on Artificial Intelligence. pp: 1078-1085. DOI: 10.24963/ijcai.2019/151

Fraga Pereira, R.; Vered, M.; Meneguzzi, F.; Ramírez, M. (2019) “Online Probabilistic Goal Recognition over Nominal Models” Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19} International Joint Conferences on Artificial Intelligence Organization. pp: 5547-5553. DOI: 10.24963/ijcai.2019/770

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.

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.

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

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.

Mendoza, A.; Burrows, R.; Pedell, S.; Sterling, L.; Miller, T.; Lopez-lorca, A. (2019) “Co-Creating Technology for Societal Change: A Mobile App addressing Homelessness” European Network of Living Labs OLLD'19 European Network of Living Labs.

Newn, J.; Singh, R.; Allison, F.; Madumal, P.; Velloso, E.; Vetere, F. (2019) “Designing Interactions with Intention-Aware Gaze-Enabled Artificial Agents” Lamas, D.; Loizides, F.; Nacke, L.; Petrie, H.; Winckler, M.; Zaphiris, P. (Ed.) Human-Computer Interaction – INTERACT 2019 Springer International Publishing. pp: 255-281. DOI: 10.1007/978-3-030-29384-0_17

Newn, J.; Singh, R.; Velloso, E.; Vetere, F. (2019) “Combining implicit gaze and AI for real-time intention projection” the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the 2019 ACM International Symposium ACM Press. pp: 324-327. DOI: 10.1145/3341162.3343786

Newn, J.; Tag, B.; Singh, R.; Velloso, E.; Vetere, F. (2019) “AI-mediated gaze-based intention recognition for smart eyewear” the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the 2019 ACM International Symposium ACM Press. pp: 637-642. DOI: 10.1145/3341162.3348387

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.; Niu, J.; Chapman, M.; Mcburney, P. (2018) “An overview and evaluation of the cat market design competition”. Chen, S-H.; Kaboudan, M.; Du, Y-R. (Ed.) The Oxford Handbook of Computational Economics and Finance. New York, NY, United States. Oxford University Press. pp: 468-489. DOI: 10.1093/oxfordhb/9780199844371.013.18

Miller, T.; Pearce, AR.; Sonenberg, L. (2018) “Social Planning for Trusted Autonomy”. Abbass, HA.; Scholz, J.; Reid, DJ. (Ed.) FOUNDATIONS OF TRUSTED AUTONOMY. New York. SPRINGER INTERNATIONAL PUBLISHING AG. pp: 67-86. DOI: 10.1007/978-3-319-64816-3_4

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

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

Hoffman, R.; Miller, T.; Mueller, ST.; Klein, G.; Clancey, WJ. (2018) “Explaining Explanation, Part 4: A Deep Dive on Deep Nets” IEEE Intelligent Systems IEEE COMPUTER SOC. pp: 87-95. DOI: 10.1109/MIS.2018.033001421

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

Alatawi, E.; Mendoza, A.; Miller, T. (2018) “Psychologically-Driven Requirements Engineering: A Case Study in Depression Care” 25th Australasian Software Engineering Conference (ASWEC) IEEE. pp: 41-50. DOI: 10.1109/ASWEC.2018.00014

Alatawi, E.; Miller, T.; Sondergaard, H. (2018) “Symbolic execution with invariant inlay: Evaluating the potential” 25th Australasian Software Engineering Conference IEEE Conference Publishing Services. pp: 26-30. DOI: 10.1109/ASWEC.2018.00012

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) “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) “Sweep-based propagation for string constraint solving” 2018 AAAI Conference on Artificial Intelligence Association for the Advancement of Artificial Intelligence. pp: 6557-6564.

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” 2018 IEEE 30th 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) “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

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

Burrows, R.; Pedell, S.; Sterling, L.; Miller, T.; Mendoza, A. (2018) “Motivational Goals for using Electronic Health Record Applications” Conference: European Network of Living Labs OLLD'18 European Network of Living Labs (ENoLL). DOI: 10.5281/zenodo.1434908

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” 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” 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” 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” 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.

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

Kaminka, GA.; Vered, M.; Agmon, N. (2018) “Plan Recognition in Continuous Domains” 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 6202-6210.

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.

Madumal, P.; Singh, R.; Newn, J.; Vetere, F. (2018) “Interaction Design for Explainable AI Workshop Proposal” Mckay, D.; Waycott, J.; Morrison, A.; Choi, JHJ.; Lugmayr, A.; Billinghurst, M.; Kelly, R.; Buchanan, G.; Stevenson, D. (Ed.) 30th Australian Conference on Computer-Human Interaction (OzCHI) ASSOC COMPUTING MACHINERY. pp: 607-608. DOI: 10.1145/3292147.3293450

Molloy, I.; Miller, T. (2018) “Digital dexterity: Freeform 3d printing through direct toolpath manipulation for crafted artifacts” pp: 266-275.

Musliu, N.; Schutt, A.; Stuckey, PJ. (2018) “Solver independent rotating workforce scheduling” 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.

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

Vered, M.; Pereira, RF.; Magnaguagno, MC.; Kaminka, GA.; Meneguzzi, F. (2018) “Towards Online Goal Recognition Combining Goal Mirroring and Landmarks” 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 2112-2114.

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

Other

Miller, T.; Oren, N.; Sakurai, Y.; Noda, I.; Savarimuthu, BTR.; Son, TC. (2018) “Preface” pp: V-VI.

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

Abushark, Y.; Miller, T.; Thangarajah, J.; Winikoff, M.; Harland, J. (2017) “Requirements specification via activity diagrams for agent-based systems” Autonomous Agents and Multi-Agent Systems SPRINGER. pp: 423-468. DOI: 10.1007/s10458-016-9327-7

Abushark, Y.; Thangarajah, J.; Harland, J.; Miller, T. (2017) “A framework for automatically ensuring the conformance of agent designs” Journal of Systems and Software ELSEVIER SCIENCE INC. pp: 266-310. DOI: 10.1016/j.jss.2017.05.098

Collier, JH.; Allison, L.; Lesk, AM.; Stuckey, PJ.; De La Banda, MG.; Konagurthu, AS. (2017) “Statistical inference of protein structural alignments using information and compression” 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

Pedell, S.; Keirnan, A.; Priday, G.; Miller, T.; Mendoza, A.; Lopez-lorca, A.; Sterling, L. (2017) “Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project” Technology Innovation Management Review Carleton University. pp: 7-19. DOI: 10.22215/timreview/1053

Pedell, S.; Keirnan, A.; Priday, G.; Miller, T.; Mendoza, A.; Lopez-lorca, A.; Sterling, L. (2017) “Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project” Technology Innovation Management Review Carleton University. pp: 7-19. DOI: 10.22215/timreview1053

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

Alatawi, E.; Sondergaard, H.; Miller, T. (2017) “Leveraging abstract interpretation for efficient dynamic symbolic execution” Rosu, G.; Di Penta, M.; Nguyen, TN. (Ed.) 32nd IEEE/ACM International Conference on Automated Software Engineering IEEE Press. pp: 619-625. DOI: 10.1109/ASE.2017.8115672

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” 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.

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” 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” 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.

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.

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.

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

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

Vered, M. (2017) “Intent Recognition Through Goal Mirroring” 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 1867-1868.

Vered, M.; Kaminka, GA. (2017) “Heuristic online goal recognition in continuous domains” Twenty-Sixth International Joint Conference on Artificial Intelligence International Joint Conferences on Artificial Intelligence Organization. pp: 4447-4454. DOI: 10.24963/ijcai.2017/621

Vered, M.; Kaminka, GA. (2017) “Online Recognition of Navigation Goals Through Goal Mirroring” 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 1748-1750.

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

Winfree, T.; Goldacre, P.; Sherkat, M.; Graham, P.; Mendoza, A.; Miller, T. (2017) “Learning for Low Carbon Living: The potential of mobile learning applications for built environment trades and professionals in Australia” Ding, L.; Fiorito, F.; Osmond, P. (Ed.) International High- Performance Built Environment Conference – A Sustainable Built Environment Conference 2016 Series (SBE16) Elsevier. pp: 1773-1783. DOI: 10.1016/j.proeng.2017.04.340

Other

Miller, T.; Howe, P.; Sonenberg, L. (2017) “Explainable AI: Beware of Inmates Running the Asylum” IJCAI.

2016

Books

De Hosson, JTM.; Ali, N.; Fierro, G.; Aliofkhazraei, M.; Chipara, M. (2016) “Preface”. ELSEVIER SCIENCE BV. pp: 1-1. DOI: 10.1016/j.apsusc.2016.04.127

Tsuda, A.; Kogure, K.; Watanabe, S. (2016) “Preface”. SPRINGER. pp: 1-2. DOI: 10.1007/s10872-016-0349-1

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

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

Alatawi, E.; Miller, T.; Sondergaard, H. (2016) “Generating source inputs for metamorphic testing using dynamic symbolic execution” 1st International Workshop on Metamorphic Testing (MET) New York NY. Association for Computing Machinery (ACM). pp: 19-25. DOI: 10.1145/2896971.2896980

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) “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

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.

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.

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

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

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

Li, S.; Sun, W.; Miller, T. (2016) “Communication in human-agent teams for tasks with joint action” International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems (COIN@IJCAI) AAAI Press. pp: 224-241. DOI: 10.1007/978-3-319-42691-4_13

Lin, Y.; Miller, T.; Sondergaard, H. (2016) “Compositional Symbolic Execution: Incremental Solving Revisited” Potanin, A.; Murphy, G. (Ed.) 23rd Asia-Pacific Software Engineering Conference (APSEC) IEEE. pp: 273-280. DOI: 10.1109/APSEC.2016.49

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.

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.

Miller, T.; Muise, C. (2016) “Belief Update for Proper Epistemic Knowledge Bases” Kambhampati, S. (Ed.) 25th International Joint Conference on Artificial Intelligence (IJCAI) Palo Alto, CA, USA. AAAI Press. pp: 1209-1215.

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

Ping, TP.; Verspoor, K.; Miller, T. (2016) “Rev at SemEval-2016 task 2: Aligning chunks by lexical, part of speech and semantic equivalence” pp: 777-782.

Scala, E.; Haslum, P.; Thiebaux, S.; Ramirez, M. (2016) “Interval-Based Relaxation for General Numeric Planning” 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: 655-663. DOI: 10.3233/978-1-61499-672-9-655

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

Sherkat, M.; Miller, T.; Mendoza, A. (2016) “Does It Fit Me Better? User Segmentation in Requirements Engineering” Potanin, A.; Murphy, GC.; Reeves, S.; Dietrich, J. (Ed.) 23rd Asia-Pacific Software Engineering Conference (APSEC) IEEE. pp: 65-72. DOI: 10.1109/APSEC.2016.020

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.org. pp: -.

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

Other

Abushark, Y.; Thangarajah, J.; Miller, T.; Winikoff, M.; Harland, J. (2016) “Requirements Specification in The Prometheus Methodology via Activity Diagrams” ASSOC COMPUTING MACHINERY. pp: 1247-1248.

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-fornes, 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 SPRINGER. 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

Miller, T.; Pedell, S.; Lopez-lorca, AA.; Mendoza, A.; Sterling, L.; Keirnan, A. (2015) “Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems” Journal of Systems and Software Elsevier. pp: 54-71. DOI: 10.1016/j.jss.2015.03.044

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

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

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

Reu, PL.; Sweatt, W.; Miller, T.; Fleming, D. (2015) “Camera System Resolution and its Influence on Digital Image Correlation” Experimental Mechanics Springer Science and Business Media LLC. pp: 9-25. DOI: 10.1007/s11340-014-9886-y

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” 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.

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

Abushark, Y.; Thangarajah, J.; Miller, T.; Harland, J.; Winikoff, M. (2015) “Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models” 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS) Association for Comp. pp: 1071-1079.

Alatawi, E.; Miller, T.; Sondergaard, H. (2015) “Using metamorphic testing to improve dynamic symbolic execution” 24th Australasian Software Engineering Conference (ASWEC) IEEE. pp: 38-47. DOI: 10.1109/ASWEC.2015.16

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.

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

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.

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

Clarke, DAW.; Miller, T.; Mendoza, A. (2015) “Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct” ASWEC ' 15 Vol. II: ASWEC 2015 24th Australasian Software Engineering Conference ACM. pp: 64-68. DOI: 10.1145/2811681.2811694

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.

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

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

Lin, Y.; Miller, T.; Sondergaard, H. (2015) “Compositional symbolic execution using fine-grained summaries” 24th Australasian Software Engineering Conference (ASWEC) IEEE. pp: 213-222. DOI: 10.1109/ASWEC.2015.32

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: 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.

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.

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

Ping, T.; Verspoor, C.; Miller, T. (2015) “Structural Alignment as the Basis to Improve Significant Change Detection in Versioned Sentences” Hachey, B.; Webster, K. (Ed.) 13th Annual Workshop of the Australian Language Technology Association (ALTA) ACL. pp: 101-109.

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

Vered, M.; Kaminka, GA. (2015) “Towards Sketch Recognition by Mirroring” 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 1867-1868.

Other

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

Lin, Y.; Miller, T. (2015) “Looking Closer at Compositional Symbolic Execution” DOI: 10.1145/2811681.2817758

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

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

Pedell, S.; Lopez-lorca, A.; Miller, T.; Sterling, L. (2014) “Don't Leave Me Untouched: Considering Emotions in Personal Alarm Use and Development”. Tavana, M.; Ghapanchi, A.; Talaei-khoei, A. (Ed.) Australia. Medical Info Science Reference. pp: 96-127. DOI: 10.4018/978-1-4666-6316-9

Pedell, S.; Lopez-lorca, AA.; Miller, T.; Sterling, L. (2014) “Don't leave me untouched: Considering emotions in personal alarm use and development”. Healthcare Informatics and Analytics: Emerging Issues and Trends. IGI Global. pp: 96-127. DOI: 10.4018/978-1-4666-6316-9.ch006

Pedell, S.; Miller, T.; Vetere, F.; Sterling, L.; Howard, S. (2014) “Socially-oriented requirements engineering: Software engineering meets ethnography”. Dignum, V.; Dignum, F. (Ed.) Perspectives on Culture and Agent-Based Simulations: Integrating Cultures. Switzerland. Springer International Publishing. pp: 191-210. DOI: 10.1007/978-3-319-01952-9_11

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.; Ramirez, M.; Lancelotti, C.; Torrano, A.; Salpeteur, M.; Lipovetzky, N.; Reyes-garcia, V.; Montanola, 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.; De La Banda, MG.; 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, Y-T.; 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

Miller, T.; Lu, B.; Sterling, L.; Beydoun, G.; Taveter, K. (2014) “Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator” IEEE Transactions on Software Engineering IEEE COMPUTER SOC. pp: 1007-1024. DOI: 10.1109/TSE.2014.2339827

Pedell, S.; Vetere, F.; Miller, T.; Howard, S.; Sterling, L. (2014) “Tools for Participation: Intergenerational Technology Design for the Home” International Journal of Design NATL TAIWAN UNIV SCI & TECHNOL. pp: 1-14.

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 PUBLISHING GROUP. pp: -. 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 and 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

Abushark, Y.; Thangarajah, J.; Miller, T.; Harland, J. (2014) “Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location” International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) US (New York). ACM Press. pp: 933-940.

Abushark, Y.; Winikoff, M.; Miller, T.; Harland, J.; Thangarajah, J. (2014) “Checking The Correctness of Agent Designs Against Model-Based Requirements” Schaub, T.; Friedrich, G.; Osullivan, B. (Ed.) 21st European Conference on Artificial Intelligence (ECAI) IOS PRESS. pp: 953-+. DOI: 10.3233/978-1-61499-419-0-953

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.

Davis, H.; Pedell, S.; Lorca, AL.; Miller, T.; Sterling, L. (2014) “Researchers As Proxies for Informal Carers: Photo Sharing with Older Adults to Mediate Wellbeing” 26th Australian Computer-Human Interaction Conference (OzCHI) ACM. pp: 270-279. DOI: 10.1145/2686612.2686652

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) “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

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

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.

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

Lopez-lorca, AA.; Miller, T.; Pedell, S.; Mendoza, A.; Keirnan, A.; Sterling, L. (2014) “One size doesn't fit all: diversifying "the user" using personas and emotional scenarios” Lanubile, F.; Ali, R. (Ed.) 6th International Workshop on Social Software Engineering (SSE) ACM Press. pp: 25-32. DOI: 10.1145/2661685.2661691

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.

Miller, TJ.; Quintana, EC. (2014) “Stereo X-ray system calibration for three-dimensional measurements” Springer International Publishing. pp: 201-207. DOI: 10.1007/978-3-319-00768-7_25

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.; Munoz, 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, M.; Miller, T. (2014) “Robust Anticipatory Stigmergic Collision Avoidance in Multi-Agent Systems” International Conference on Autonomous Agents and Multiagent Systems (AAMAS) ASSOC COMPUTING MACHINERY. pp: 1403-1404.

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.) Computational Intelligence in Intelligent Data Analysis. 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.) Logic-Based Program Synthesis and Transformation. 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

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 Scitechnol Biosoft Pvt. Ltd.. pp: . DOI: 10.21767/amj.2013.1641

Albert, E.; Garcia De La Banda, M.; Gomez-zamalloa, M.; Miguel Rojas, J.; 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

Haidry, S-E-Z.; Miller, T. (2013) “Using Dependency Structures for Prioritization of Functional Test Suites” IEEE Transactions on Software Engineering IEEE COMPUTER SOC. pp: 258-275. DOI: 10.1109/TSE.2012.26

Hassan, MR.; Nath, B.; Kirley, M.; Kamruzzaman, J. (2013) “A hybrid of multiobjective Evolutionary Algorithm and HMM-Fuzzy model for time series prediction (vol 81, pg 1, 2012)” Neurocomputing ELSEVIER SCIENCE BV. pp: 545-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

Miller, T.; Mcburney, P. (2013) “Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies” Multiagent and Grid Systems IOS Press. pp: 101-134. DOI: 10.3233/mgs-130202

Padgham, L.; Zhang, Z.; Thangarajah, J.; Miller, T. (2013) “Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems” IEEE Transactions on Software Engineering IEEE COMPUTER SOC. pp: 1230-1244. DOI: 10.1109/TSE.2013.10

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

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.; Sondergaard, H.; Stuckey, PJ. (2013) “Abstract Interpretation over Non-Lattice Abstract Domains” Logozzo, F.; Fahndrich, M. (Ed.) 20th Static Analysis Symposium DE (Berlin). Springer Berlin Heidelberg. 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

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

Mendoza, A.; Miller, T.; Pedell, S.; Sterling, L. (2013) “The role of users' emotions and associated quality goals on appropriation of systems: two case studies” 24th Australasian Conference on Information Systems (ACIS) US (New York). AISel. pp: -.

Mendoza, A.; Miller, T.; Pedell, S.; Sterling, L. (2013) “The role of users' emotions and associated quality goals on appropriation of systems: two case studies” 24th Australasian Conference on Information Systems US (New York). AISel. pp: -.

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) “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

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

Singh, R.; Lal, S.; Vanualailai, J. (2013) “Obstacle Avoidance via Social Mediation in Cooperative Payload Transportation” IEEE Intelligent Vehicles Symposium IEEE. pp: 352-357. DOI: 10.1109/IVS.2013.6629494

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) “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. (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.; 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-+. DOI: 10.4028/www.scientific.net/KEM.558.1

Vered, M.; Kaminka, GA. (2013) “A computational cognitive model of mirroring processes: A position statement” pp: 67-68.

2012

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) “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

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

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

Hassan, MR.; 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

Miller, T.; Niu, J. (2012) “An assessment of strategies for choosing between competitive marketplaces” Electronic Commerce Research and Applications ELSEVIER SCIENCE BV. pp: 14-23. DOI: 10.1016/j.elerap.2011.07.009

Miller, T.; Pedell, S.; Sterling, L.; Vetere, F.; Howard, S. (2012) “Understanding socially oriented roles and goals through motivational modelling” Journal of Systems and Software ELSEVIER SCIENCE INC. pp: 2160-2170. DOI: 10.1016/j.jss.2012.04.049

Miller, T.; Strooper, P. (2012) “A case study in model-based testing of specifications and implementations” Software Testing, Verification and Reliability WILEY. pp: 33-63. DOI: 10.1002/stvr.431

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

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” Functional and Logic Programming 11th International Symposium, FLOPS 2012 DE (Berlin). Springer Berlin Heidelberg. 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

Cole, J.; Linsenmeier, RA.; Miller, T.; Glucksberg, MR. (2012) “Using instruction to improve mathematical modeling in capstone design”

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” the 2012 ACM symposium AU (Melbourne). ACM Press. 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-+. DOI: 10.3233/978-1-61499-098-7-540

Minh, VN.; Kirley, M.; Garcia-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

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

Pedell, S.; Miller, T.; Sterling, L.; Vetere, F.; Howard, S. (2012) “Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems” Dechesne, F.; Hattori, H.; Termors, A.; Such, JM.; Weyns, D.; Dignum, F. (Ed.) 10th International Conference on Autonomous Agents and Multiagent Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 80-+. DOI: 10.1007/978-3-642-27216-5_7

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

Reu, PL.; Miller, TJ. (2012) “Experimental validation of equations for 2D DIC uncertainty quantification” pp: 299-305.

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

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

Garcia De La Banda, M.; 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

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

Miller, T.; Mcburney, P. (2011) “PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS” Computational Intelligence WILEY. pp: 422-457. DOI: 10.1111/j.1467-8640.2011.00387.x

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

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

Wang, YQ.; Sutton, MA.; Ke, XD.; Schreier, HW.; Reu, PL.; Miller, TJ. (2011) “On Error Assessment in Stereo-based Deformation Measurements” Experimental Mechanics Springer Science and Business Media LLC. pp: 405-422. DOI: 10.1007/s11340-010-9449-9

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” 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011) US (New York). Springer Berlin Heidelberg. pp: 273-286. DOI: 10.1007/978-3-642-21581-0_22

Blom, ML.; Pearce, AR. (2011) “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. (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-+. 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

Gangel, 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-+. 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. AAAI Press. pp: 154-161.

Lopez-lorca, AA.; Beydoun, G.; Sterling, L.; Miller, T. (2011) “Ontology-mediated validation of software models” 19th International Conference on Information Systems US (New York). Springer New York. pp: 455-467. DOI: 10.1007/978-1-4419-9790-6_36

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

Miller, T.; Padgham, L.; Thangarajah, J. (2011) “Test Coverage Criteria for Agent Interaction Testing” Weyns, D.; Gleizes, MP. (Ed.) 11th International Workshop on Agent-Oriented Software Engineering DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 91-+. DOI: 10.1007/978-3-642-22636-6_6

Miller, T.; Pedell, S.; Sterling, L.; Lu, B. (2011) “Engaging Stakeholders with Agent-Oriented Requirements Modelling” Weyns, D.; Gleizes, MP. (Ed.) 11th International Workshop on Agent-Oriented Software Engineering US (New York). SPRINGER-VERLAG BERLIN. pp: 62-+. DOI: 10.1007/978-3-642-22636-6_4

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.

Pedell, S.; Miller, T.; Sterling, L.; Vetere, F.; Howard, S.; Paay, J. (2011) “Substantiating quality goals with field data for socially-oriented requirements engineering” Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011) US. IFAAMAS : International Conference on Autonomous Agents and Multiagent Systems. pp: 1117-1118.

Reumann, M.; Holt, KE.; Inouye, M.; Stinear, T.; Goudey, B.; Abraham, G.; Wang, Q.; Shi, F.; Kowalczyk, A.; Pearce, A.; Isaac, A.; Pope, BJ.; Butzkueven, H.; Wagner, J.; Moore, S.; Downton, M.; Church, PC.; Turner, SJ.; Field, J.; Southey, M.; Bowtell, D.; Schmidt, D.; Makalic, E.; Zobel, J.; Hopper, J.; Petrovski, S.; O'brien, T. (2011) “Precision Medicine: Dawn of Supercomputing in ‘omics Research” 5th eResearch Australasia Conference (eResearch) eResearch Australasia. pp: -.

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

Wuille, P.; Schrijvers, T.; Samulowitz, H.; Tack, G.; Stuckey, P. (2011) “Memoizing a monadic mixin DSL” Functional and Constraint Logic Programming DE (Berlin). Springer Berlin Heidelberg. 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

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” 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” 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.; Garcia De La Banda, M.; 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” Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer Berlin Heidelberg. 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-+. DOI: 10.1007/978-3-642-13520-0_8

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-+. DOI: 10.1007/978-3-642-13520-0_10

Cooper, MA.; Reu, PL.; Miller, TJ. (2010) “Observations in explosive systems with high-speed digital image correlation” pp: 464-473.

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.

Fraser, SB.; Lyons, M.; Miller, TJ.; Barnard, M.; Henning, HK.; Looser, J.; Seichter, H.; Billinghurst, M. (2010) “New perspectives on form: Real-time, virtual modeling in networked 3D environments” pp: 543-549.

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-+. DOI: 10.1007/978-3-642-15231-3_4

Lopez-lorca, A.; Beydoun, G.; Sterling, L.; Miller, T. (2010) “Ontology-based validation of agent oriented modelling”

Miller, T.; Mcburney, P. (2010) “Characterising and matching iterative and recursive agent interaction protocols” AAMAS 2010 Toronto CA (Toronto). IFAAMAS International Foundation for Autonomous Agents and Multiagent Systems. pp: 1207-1214.

Miller, TJ. (2010) “Digital technologies and the potential for CNC texturing the built environment” pp: 665-670.

Pedell, S.; Vetere, F.; Howard, S.; Miller, T.; Sterling, L. (2010) “Shared artefacts as participatory Babel fish” the 11th Biennial Participatory Design Conference AU (Melbourne). ACM Press. pp: 167-170. DOI: 10.1145/1900441.1900468

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.

Ramirez, M.; Geffner, H. (2010) “Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners” 24th AAAI Conference on Artificial Intelligence (AAAI) ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. pp: 1121-1126.

Reu, PL.; Miller, TJ. (2010) “Experimental validation of equations for 2D DIC uncertainty quantification” pp: 1784-1790.

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.) Organized Adaption in Multi-Agent Systems. DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 90-+. 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

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) “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

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

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

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 Association for Computing Machinery (ACM). pp: . 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

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

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

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-+. 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.

Bragdon, A.; Zeleznik, R.; Williamson, B.; Miller, T.; Laviola, JJ. (2009) “GestureBar: Improving the approachability of gesture-based interfaces” CHI '09: CHI Conference on Human Factors in Computing Systems ACM. pp: 2269-2278. DOI: 10.1145/1518701.1519050

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-+. 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-+. 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” the 11th ACM SIGPLAN conference US (New York). ACM Press. pp: 255-265. DOI: 10.1145/1599410.1599442

De Koninck, L.; Duck, GJ.; Stuckey, PJ. (2009) “Demand-driven normalisation for ACD term rewriting” 25th International Conference Logic Programming, ICLP 2009 DE (Berlin). Springer Berlin Heidelberg. 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) “The proper treatment of undefinedness in constraint languages” 15th International Conference of Principles and Practice of Constraint Programming CP2009 DE (Heidelberg). Springer Berlin Heidelberg. 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. AAAI Press. pp: 217-224.

Miller, T.; Mcburney, P. (2009) “Annotation and Matching of First-Class Agent Interaction Protocols” Rahwan, I.; Moraitis, P. (Ed.) 5th International Workshop on Argumentation in Multi-Agent Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 141-+. DOI: 10.1007/978-3-642-00207-6_9

Miller, TJ.; Romeroa, EF.; Schreierb, HW.; Valleya, MT. (2009) “Extending digital image correlation to moving field of view application: Error assessment using outdoor centrifuge” pp: 2743-2751.

O'connell, T.; Li, C.; Miller, TS.; Zeleznik, RC.; Laviola, JJ. (2009) “A usability evaluation of algosketch: A pen-based application for mathematics” the 6th Eurographics Symposium US (New York). ACM Press. pp: 149-158. DOI: 10.1145/1572741.1572767

Pedell, S.; Miller, T.; Vetere, F.; Sterling, L.; Howard, S.; Paay, J. (2009) “Having fun at home: Interleaving fieldwork and goal models” the 21st Annual Conference of the Australian Computer-Human Interaction Special Interest Group US (New York). ACM Press. pp: 309-312. DOI: 10.1145/1738826.1738882

Ramirez, M.; Geffner, H. (2009) “Plan Recognition as Planning” Boutilier, C. (Ed.) 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) IJCAI-INT JOINT CONF ARTIF INTELL. pp: 1778-1783.

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

Reu, PL.; Miller, TJ. (2009) “Synchronization errors in high-speed digital image correlation” pp: 1846-1851.

Reu, PL.; Sutton, M.; Wang, Y.; Miller, TJ. (2009) “Uncertainty quantification for digital image correlation” pp: 368-374.

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

Romero, E.; Miller, T.; Brown, T.; Paez, T. (2009) “Centrifuge based laser tracker uncertainty quantification and capability development, a two part series” pp: 2735-2742.

Romero, E.; Paez, T.; Brown, T.; Miller, T. (2009) “Laser tracker TSPI uncertainty quantification via centrifuge trajectory” SPIE Optical Engineering + Applications SPIE. pp: 74630h-74630h-9-. DOI: 10.1117/12.824385

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-+. DOI: 10.1007/978-3-642-04244-7_58

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.

Wang, YQ.; Sutton, MA.; Reu, PL.; Miller, TJ. (2009) “Image matching error assessment in digital image correlation” pp: 1003-1007.

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”.

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 plus 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.; De La Banda, MG.; Wallace, M. (2008) “The design of the zinc modelling language” Constraints SPRINGER. pp: 229-267. DOI: 10.1007/s10601-008-9041-4

Reu, PL.; Miller, TJ. (2008) “The application of high-speed digital image correlation” The Journal of Strain Analysis for Engineering Design SAGE Publications. pp: 673-688. DOI: 10.1243/03093247JSA414

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

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-+. DOI: 10.1007/978-3-540-70987-9_7

Brand, S.; Duck, GJ.; Puchinger, J.; Stuckey, PJ. (2008) “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.

Codish, M.; Lagoon, V.; Stuckey, PJ. (2008) “Telecommunications feature subscription as a partial order constraint problem” 24th International Conference on Logic Programming (ICLP 2008) DE. Springer Berlin Heidelberg. 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” Functional and Logic Programming 9th International Symposium, FLOPS 2008 DE (Berlin). Springer Berlin Heidelberg. 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-+. 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

Fraser, S.; Lyons, M.; Looser, J.; Seichter, H.; Miller, T.; Barnard, M.; Henning, K.; Billinghurst, M. (2008) “"Chinese whispers" Mediating oscillations between physical form and digital space” ACM SIGGRAPH ASIA 2008 educators programme ACM Press. pp: 17-. DOI: 10.1145/1507713.1507733

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-+. 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-+. DOI: 10.1007/978-3-540-87730-1_8

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.

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.

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-+. 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.

Laviola, JJ.; Leal, A.; Miller, TS.; Zeleznik, RC. (2008) “Evaluation of techniques for visualizing mathematical expression recognition results” pp: 131-138.

Li, C.; Zeleznik, R.; Miller, T.; Laviola, JJ. (2008) “Online recognition of handwritten mathematical expressions with support for matrices” 2008 19th International Conference on Pattern Recognition (ICPR) IEEE. pp: 1-4. DOI: 10.1109/icpr.2008.4761825

Miller, T.; Mcburney, P. (2008) “On illegal composition of first-class agent interaction protocols” 31st Australasian Computer Science Conference AU (Sydney). Australian Computer Society. pp: 127-136.

Miller, T.; Mcburney, P. (2008) “Annotation and matching of first-class agent interaction protocols” 7th International Conference on Autonomous Agents and Multi-Agent Systems US (California). IEEE Computer Society. pp: 789-796.

Miller, T.; Mcginnis, J. (2008) “Amongst first-class protocols” Engineering Societies in the Agents World VIII (ESAW'07) DE (Berlin). Springer Berlin Heidelberg. pp: 208-223. DOI: 10.1007/978-3-540-87654-0_11

Miller, TJ.; Romero, EF.; Schreier, HW.; Valley, MT. (2008) “Application of stereo laser tracking methods for quantifying night dynamics - II” Optical Engineering + Applications SPIE. pp: 709003-709003-12-. DOI: 10.1117/12.795959

Miller, TJ.; Schreier, HW.; Valley, MT.; Brown, TL. (2008) “Extending digital image correlation to moving field of view application: A feasibility study” pp: 807-813.

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-+. DOI: 10.1007/978-3-540-68155-7_18

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” 24th International Conference on Logic Programming (ICLP 2008) DE. Springer Berlin Heidelberg. 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” the 10th annual conference US (New York). ACM Press. pp: 721-728. DOI: 10.1145/1389095.1389234

Zeleznik, R.; Miller, T.; Li, C.; Laviola, JJ. (2008) “MathPaper: Mathematical sketching with fluid support for interactive computation” Springer Berlin Heidelberg. pp: 20-32. DOI: 10.1007/978-3-540-85412-8_3

Other

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

Blom, M. (2008) “An Argumentative Knowledge-Based Model Construction Approach for Bayesian Networks” BATH, ENGLAND. 6th European Workshop on 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.

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

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

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.

Miller, T.; Mcburney, P. (2007) “A formal semantics for Gaia liveness rules and expressions” International Journal of Agent-Oriented Software Engineering Inderscience Publishers. pp: 435-476. DOI: 10.1504/ijaose.2007.016268

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

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-+. DOI: 10.1007/978-3-540-72397-4_1

Brand, S.; Narodytska, N.; Quimper, CG.; Stuckey, P.; Walsh, T. (2007) “Encodings of the SEQUENCE constraint” the 13th International Conference on Principles and Practice of Constraint Programming DE (Berlin). Springer Berlin Heidelberg. 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-+. 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-+. 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-+. 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” the 6th international joint conference US (New York). ACM Press. 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-+. 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

Krishnan, V.; Miller, T.; Paraison, H. (2007) “Dolphin express: A transparent approach to enhancing PCI express” 2007 IEEE International Conference on Cluster Computing (CLUSTER) IEEE. pp: 464-467. DOI: 10.1109/CLUSTR.2007.4629266

Li, X.; Branke, J.; Kirley, M. (2007) “Performance measures and particle swarm methods for dynamic multi-objective optimization problems” the 9th annual conference ACM Press. 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

Miller, T.; Mcburney, P. (2007) “Using constraints and process algebra for specification of first-class agent interaction protocols” Engineering Societies in the Agents World VII DE (Berlin). Springer Berlin Heidelberg. pp: 245-264. DOI: 10.1007/978-3-540-75524-1_14

Miller, T.; Mcburney, P.; Mcginnis, J.; Stathis, K. (2007) “First-class protocols for agent-based coordination of scientific instruments” 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007) US (Los Alamitos). IEEE. pp: 41-46. DOI: 10.1109/WETICE.2007.4407124

Miller, TJ.; Schreier, HW.; Reut, PL. (2007) “High-speed DIC data analysis from a shaking camera system” pp: 1306-1313.

Nethercote, N.; Stuckey, PJ.; Becket, R.; Brand, S.; Duck, GJ.; Tack, G. (2007) “MiniZinc: Towards a standard CP modelling language” the 13th International Conference on Principles and Practice of Constraint Programming DE (Berlin). Springer Berlin Heidelberg. 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-+. DOI: 10.1007/978-3-540-74970-7_39

Papasimeon, M.; Pearce, AR.; Goss, S. (2007) “The human agent virtual environment” the 6th international joint conference US (New York). ACM Press. pp: 1448-1455. DOI: 10.1145/1329125.1329463

Ramirez, M.; Geffner, H. (2007) “Structural relaxations by variable renaming and their compilation for solving MinCostSAT” Bessiere, C. (Ed.) 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) SPRINGER-VERLAG BERLIN. pp: 605-+. DOI: 10.1007/978-3-540-74970-7_43

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

Schreier, HW.; Miller, TJ.; Valley, MT.; Brown, TL. (2007) “Application of stereo laser tracking methods for quantifying flight dynamics” Optical Engineering + Applications SPIE. pp: 67080j-67080j-11-. DOI: 10.1117/12.735065

Stewart, RL.; Kirley, M. (2007) “Swarming with logic” the 9th annual conference ACM Press. pp: 184-. DOI: 10.1145/1276958.1276998

Talukder, AKMKA.; Kirley, M.; Buyya, R. (2007) “Multiobjective differential evolution for workflow execution on grids” the 5th international workshop US (New York). ACM Press. pp: 3-. 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

Zeleznik, R.; Miller, T.; Li, C. (2007) “Designing UI techniques for handwritten mathematics” the 4th Eurographics workshop ACM Press. pp: 91-98. DOI: 10.1145/1384429.1384450

2006

Book chapters

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.

Journal articles

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” Elsevier. pp: 409-452. DOI: 10.1016/S1574-6526(06)80016-7

Munroe, S.; Miller, T.; Belechean, RA.; Pechoucek, M.; Mcburney, P.; Luck, M. (2006) “Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents” Knowledge Engineering Review CAMBRIDGE UNIV PRESS. pp: 345-392. DOI: 10.1017/S0269888906001020

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

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 BV. pp: 93-111. DOI: 10.1016/j.entcs.2005.06.039

Conference Papers

Becket, R.; De La Banda, MG.; Marriott, K.; Somogyi, Z.; Stuckey, PJ.; Wallace, M. (2006) “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

Belecheanu, RA.; Munroe, S.; Luck, M.; Payne, T.; Miller, T.; Mcburney, P.; Pěchouček, M. (2006) “Commercial applications of agents: Lessons, experiences and challenges” the fifth international joint conference US (New York). ACM Press. pp: 1549-1555. DOI: 10.1145/1160633.1160932

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

Codish, M.; Lagoon, V.; Schachte, P.; Stuckey, PJ. (2006) “Size-change termination analysis in kappa-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

Dominguez, D.; Grasso, F.; Miller, T.; Serafin, R. (2006) “PIPS: An Integrated Environment for Health Care Delivery and Healthy Lifestyle Support” ECAI 2006 - 4th Workshop on Agents Applied in Health Care NL (Amsterdam). IOS Press. pp: 1-7.

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-+. 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.

Hawkins, P.; Stuckey, PJ. (2006) “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. (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-+. DOI: 10.1109/ICISIP.2006.4286065

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-+. DOI: 10.1109/ICISIP.2006.4286056

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-+. 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.

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-+. 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, TH-W.; 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-+. DOI: 10.1109/IAT.2006.18

Miller, TJ.; Reu, PL.; Hinnerichs, TD.; Lo, CS. (2006) “High-speed multi-camera DIC for finite element model validation, part 2” pp: 1276-1282.

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” the 4th international workshop US (New York). ACM Press. pp: 1186679-. DOI: 10.1145/1186675.1186679

Reu, PL.; Miller, TJ. (2006) “High-speed multi-camera DIC for finite element model validation, part 1” pp: 1269-1275.

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-+. 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-+. 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-+. DOI: 10.1007/11924661_1

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

Zeleznik, R.; Miller, T. (2006) “Fluid inking: Augmenting the medium of free-form inking with gestures” pp: 155-162.

2005

Book chapters

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

Journal articles

De La Banda, MG.; 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” 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

Laidlaw, DH.; Kirby, RM.; Jackson, CD.; Davidson, JS.; Miller, TS.; Da Silva, M.; Warren, WH.; Tarr, MJ. (2005) “Comparing 2D vector field visualization methods: a user study.” IEEE Transactions on Visualization and Computer Graphics Institute of Electrical and Electronics Engineers (IEEE). pp: 59-70. DOI: 10.1109/TVCG.2005.4

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

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

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

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

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) “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

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.

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.

Miller, T.; Freitas, L.; Malik, P.; Utting, M. (2005) “CZT support for Z extensions” 5th International Conference on Integrated Formal Methods DE. Springer Berlin Heidelberg. pp: 227-245. DOI: 10.1007/11589976_14

Miller, T.; Mcburney, P. (2005) “Multi-agent system specification using TCOZ” MATES '05 - Conference on Multiagent System Technologies DE. Springer Berlin Heidelberg. pp: 216-221. DOI: 10.1007/11550648_20

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

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” the 7th ACM SIGPLAN international conference US (New York). ACM Press. 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

2004

Books

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

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.) Program Development in Computational Logic. DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 499-538. DOI: 10.1007/978-3-540-25951-0_15

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

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

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

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) SPRINGER-VERLAG BERLIN. pp: 233-260. DOI: 10.1007/978-3-540-25951-0_8

Conference Papers

Brown, TL.; Patrick, DL.; Shamblin, DL.; Miller, TJ. (2004) “Next generation laser tracker concepts” Optical Science and Technology, the SPIE 49th Annual Meeting SPIE. pp: 133-146. DOI: 10.1117/12.561712

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.

Duck, GJ.; De La Banda, MG.; 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.; De La Banda, MG.; 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-104. DOI: 10.1007/978-3-540-27775-0_7

Duke, R.; Miller, T.; Strooper, P. (2004) “Integrating formal specification and software verification and validation” Symposium on Teaching Formal Methods DE. Springer Berlin Heidelberg. pp: 124-139. DOI: 10.1007/978-3-540-30472-2_8

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.

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

Miller, T.; Strooper, P. (2004) “A case study in specification and implementation testing” 11th Asia-Pacific Software Engineering Conference US (Los Alamitos). IEEE. pp: 130-139. DOI: 10.1109/APSEC.2004.1

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.

Sagonas, K.; Stuckey, PJ. (2004) “Just enough tabling” the 6th ACM SIGPLAN international conference US (New York). ACM Press. 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

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” the ACM SIGPLAN workshop US (New York). ACM Press. pp: 80-91. DOI: 10.1145/1017472.1017486

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, WQ. (2003) “Removing node overlapping in graph layout using constrained optimization” Constraints SPRINGER. pp: 143-171. DOI: 10.1023/A:1022371615202

Miller, T.; Strooper, P. (2003) “A framework and tool support for the systematic testing of model-based specifications” ACM Transactions on Software Engineering and Methodology ASSOC COMPUTING MACHINERY. pp: 409-439. DOI: 10.1145/990010.990012

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” the 5th ACM SIGPLAN international conference US (New York). ACM Press. pp: 79-90. DOI: 10.1145/888251.888260

Garcia De La Banda, M.; Stuckey, PJ.; Wazny, J. (2003) “Finding All Minimal Unsatisfiable Subsets” Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming US (New York). ACM Press. pp: 32-43.

Goss, S.; Heinze, C.; Papasimeon, M.; Pearce, A.; Sterling, L. (2003) “Towards reuse in agent oriented information systems: The importance of being purposive” Giorgini, P.; Hendersonsellers, B.; Winikoff, M. (Ed.) 5th International Bi-Conference Workshop on Agent-Oriented Informationl Systems DE (Berlin). SPRINGER-VERLAG BERLIN. pp: 110-125. DOI: 10.1007/978-3-540-25943-5_8

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

Miller, T.; Strooper, P. (2003) “Supporting the software testing process through specification animation” 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 US (Los Alamitos). IEEE. pp: 14-23. DOI: 10.1109/SEFM.2003.1236203

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.

Soon, S.; Pearce, A.; Noble, M. (2003) “Modelling the Collaborative Mission Planning Process using Dynamic Teamwork Structures” the second international joint conference US (New York). ACM Press. pp: 1124-1125. DOI: 10.1145/860722.860827

Stuckey, PJ.; Sulzmann, M.; Wazny, J. (2003) “Interactive Type Debugging in Haskell” the ACM SIGPLAN workshop US (New York). ACM Press. 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.

2002

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

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

Spalter, AM.; Stone, PA.; Meier, BJ.; Miller, TS.; Simpson, RM. (2002) “Interaction in an IVR museum of color: Constructivism meets virtual reality” Leonardo MIT Press - Journals. pp: 87-90. DOI: 10.1162/002409402753689380

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” Sixth International Symposium on Functional and Logic Programming DE (Berlin). Springer Berlin Heidelberg. pp: 47-66. DOI: 10.1007/3-540-45788-7

Fang, H.; Kilani, Y.; Lee, JHM.; Stuckey, PJ. (2002) “Reducing search space in local search for constraint satisfaction” The Eighteenth National Conference on Artificial Intelligence US (California). The AAAI 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” the first international joint conference US (New York). ACM Press. pp: 3-10. DOI: 10.1145/544741.544744

Lagoon, V.; Stuckey, PJ. (2002) “Precise pair-sharing analysis of logic programs” the 4th ACM SIGPLAN international conference US (New York). ACM Press. 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

Miller, T.; Strooper, P. (2002) “Model-based specification animation using testgraphs” 4th International Conference on Formal Engineering Methods (ICFEM'02) DE. Springer Berlin Heidelberg. pp: 192-203. DOI: 10.1007/3-540-36103-0_21

Overton, D.; Somogyi, Z.; Stuckey, PJ. (2002) “Constraint-based mode analysis of mercury” the 4th ACM SIGPLAN international conference US (New York). ACM Press. 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” the 4th ACM SIGPLAN international conference US (New York). ACM Press. 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/583852.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

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.; Sondergaard, H. (2002) “Exception analysis for non-strict languages” AU (Melbourne). ASSOC COMPUTING MACHINERY. pp: 98-109. DOI: 10.1145/583852.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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 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

Bueno, R.; 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.; Sondergaard, HC.; Stuckey, PJ. (2001) “Higher-Precision Groudness Analysis” Codognet, P. (Ed.) Seventeenth International Conference on Logic Programming (LP) DE (Berlin). Springer Verlag. 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

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

Laidlaw, DH.; Kirby, RM.; Scott Davidson, J.; Miller, TS.; Da Silva, M.; Warren, WH.; Tarr, M. (2001) “Quantitative comparative evaluation of 2D vector field visualization methods” pp: 143-150.

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

Miller, T.; Strooper, P. (2001) “Animation can show only the presence of errors, never their absence” 2001 Australian Software Engineering Conference IEEE Comput. Soc. pp: 76-85. DOI: 10.1109/ASWEC.2001.948500

Miller, T.; Strooper, P. (2001) “Combining the animation and testing of abstract data types” Second Asia-Pacific Conference on Quality Software IEEE Comput. Soc. pp: 249-258. DOI: 10.1109/APAQS.2001.990027

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” the 3rd ACM SIGPLAN international conference US (New York). ACM Press. pp: 115-126. DOI: 10.1145/773184.773197

Zeleznik, R.; Miller, T.; Forsberg, A. (2001) “Pop through mouse button interactions” pp: 195-196. DOI: 10.1145/502380.502384

Other

Glynn, K.; Stuckey, PJ.; Sulzmann, M. (2001) “The HM(CHR) Framework” AU (Melbourne). Department of Computer Science and Software Engineering.

Glynn, K.; Stuckey, PJ.; Sulzmann, M. (2001) “A General Type Class 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

Journal articles

Choi, KMF.; Lee, JHM.; Stuckey, PJ. (2000) “Lagrangian reconstruction of GENET” Artificial Intelligence Elsevier BV. 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 Association for Computing Machinery (ACM). pp: 187-223. DOI: 10.1145/349214.349216

Osman, E.; Pearce, AR.; Juttner, 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

Zeleznik, B.; Holden, L.; Capps, M.; Abrams, H.; Miller, T. (2000) “Scene-Graph-As-Bus: collaboration between heterogeneous stand-alone 3-D graphical applications” Computer Graphics Forum Wiley. pp: 91-98. DOI: 10.1111/1467-8659.00401

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” Springer Berlin Heidelberg. pp: 1270-1284. DOI: 10.1007/3-540-44957-4_85

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

Maher, MJ.; Rock, A.; Antoniou, G.; Billington, D.; Miller, T. (2000) “Efficient defeasible reasoning systems” Twelfth Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000 IEEE Comput. Soc. pp: 384-392. DOI: 10.1109/TAI.2000.889898

Newth, D.; Kirley, M.; Green, DG. (2000) “An investigation of the use of local search in N P-hard problems” 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

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

Miller, T.; Zeleznik, R. (1999) “Design of 3D haptic widgets” Proceedings of the 1999 symposium on Interactive 3D graphics - SI3D '99 ACM Press. pp: 97-102. DOI: 10.1145/300523.300534

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

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

Miller, T.; Zeleznik, R. (1998) “Insidious haptic invasion: Adding force feedback to the X desktop” pp: 59-64.

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.; Tidhar, 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

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