Eliminating the impossible, whatever remains must be true: On extracting and applying background knowledge in the context of formal explanations

Search results

• Active

  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