Projects per year
Search results
-
Active
Formal Explainability: Formal Explainability for Neuro-Symbolic Artificial Intelligence
Australian Research Council (ARC)
12/02/25 → 11/02/28
Project: Research
-
Development of OPTIMA MicroCert.: Development of OPTIMA MicroCert.
Smith-Miles, K. & Stuckey, P.
25/11/24 → 25/11/27
Project: Research
-
HARNESS: Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems
Rezatofighi, H., Garcia De La Banda Garcia, M., Li, Y., Stuckey, P., Gasevic, D., Gutierrez, J., Qu, L., Ignatiev , A., Swiecki, Z., Vered, M., Chen, G., Haffari, R. & Say, B.
20/06/23 → 20/02/27
Project: Research
-
Detecting Threats in Temporal Networks
Stuckey, P., Betts, J., Wilson, C. & Dalins, J.
30/05/23 → 30/08/26
Project: Research
-
Predict‐and‐Optimise through Time at Water Recycling Treatment Plants
Stuckey, P., Bailey, J., Leckie, C., Crook, J. & Bergmann, D.
8/12/21 → 8/12/26
Project: Research
-
Spatiotemporal Object Detection/Segmentation from Multi-Spectral Time Sequence Data
Stuckey, P., Rezatofighi, H. & Meehan, A.
18/10/21 → 18/10/26
Project: Research
-
ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA)
Smith-Miles, K., Stuckey, P., Taylor, P. G., Ernst, A., Aickelin, U., Garcia De La Banda Garcia, M., Pearce, A., Wallace, M., Bondell, H., Hyndman, R., Alpcan, T., Thomas, D. A., Anjomshoa, H., Kirley, M. G., Tack, G., Costa, A., Fackrell, M., Zhang, L., Glazebrook, K., Branke, J., O'Sullivan, B., O'Shea, N., Cheah, A., Meehan, A., Wetenhall, P., Bowly, D., Bridge, J., Faka, S., Mareels, I., Coleman, R. A., Crook, J., Liebman, A. & Aleti, A.
Equans Services Australia Pty Limited
23/09/21 → 23/09/26
Project: Research
-
Optimising multi-item retail inventories
Betts, J., Stuckey, P. & Wetenhall, P.
14/09/21 → 14/09/26
Project: Research
-
RACE for 2030: Reliable Affordable Clean Energy for 2030 Cooperative Research Centre (RACE for 2030 CRC)
Beins, D., Bahrani, B., Leroux, A., Kraal, D., Razzaghi, R., Strengers, Y., Goodwin, S., Pink, S., Rudolph, C., Raven, R., Bergmeir, C., Saunderson, J., Leslie, G., Gangadharan, L., Islam, A., Wang, L. C., Ward, M., Xiao, E., Wallace, M., Tack, G., Stuckey, P., Li, Y., Pan, S., de Nijs, F., Buckingham, E., Denis-Ryan, A., Ens, B., Dargaville, R., Chang, X., Yu, J., White, S., Zlatanov, N., Hyndman, R., Panagiotelis, A. & Athanasopoulos, G.
1/07/20 → 30/06/31
Project: Research
-
Finished
Stemly Forecasting and Optimisation Project
Tan, C. W., Bergmeir, C., Stuckey, P. & de Nijs, F.
22/04/22 → 5/08/22
Project: Research
-
Fitting AI technology to complex policy problems
Vered, M., Bolton, M., Pearson, R., Stuckey, P., Senthooran, I., O'Connor, R., Chan, T. & Mascaro, S.
1/01/22 → 31/12/22
Project: Research
-
AMPL 2: New AMPL-Gurobi Solver Interface
Belov, G., Stuckey, P. & Wallace, M.
1/03/21 → 31/08/21
Project: Research
-
Virtual Power Plant Optimisation Project - Stage 1
Liebman, A., Stuckey, P., de Nijs, F., Salehi, M. & Bergmeir, C.
1/08/20 → 30/06/21
Project: Research
-
Modelling, synthesis and testing of potential agents against COVID-19 main protease
Konagurthu, A., Lesk, A. M., Garcia De La Banda Garcia, M., Stuckey, P., Allison, L. & Abramson, D.
15/07/20 → 31/05/21
Project: Research
-
Scalable Parallelization of Learning Solvers
Gange, G. & Stuckey, P.
30/03/20 → 29/03/21
Project: Research
-
Improved Constraint Reasoning for Robust Multi-agent Path Planning
Stuckey, P., Harabor, D., Le Bodic, P., Gange, G. & Koenig, S.
1/01/20 → 31/12/24
Project: Research
-
AMPL: Direct Solver Interfaces and Automatic Reformulations
Belov, G., Stuckey, P. & Wallace, M.
15/12/19 → 15/06/20
Project: Research
-
Next-generation Protein Structural comparison using Information Theory
Konagurthu, A., Garcia De La Banda Garcia, M., Stuckey, P. & Lesk, A. M.
4/02/15 → 30/09/19
Project: Research
-
Supporting adaptive, interactive documents
Marriott, K., Stuckey, P. & Bos, B.
Australian Research Council (ARC), Monash University, University of Melbourne
5/01/09 → 31/12/13
Project: Research
-
Supporting adaptive diagrammatic communication
Marriott, K., Meyer, B. & Stuckey, P.
Australian Research Council (ARC), University of Melbourne, Monash University
1/05/04 → 31/12/09
Project: Research
-
Improving the integrity of complex software systems
Garcia De La Banda Garcia, M., Schachte, P., Somogyi, Z., Sondergaard, H. & Stuckey, P.
Australian Research Council (ARC)
1/01/03 → 30/06/06
Project: Research
-
Solver-independent Modeling and Efficient Constraint Solving
Garcia De La Banda Garcia, M., Marriott, K. & Stuckey, P.
Australian Research Council (ARC)
1/01/00 → 31/12/02
Project: Research