The integration and interaction of multiple mathematical Reasoning Processes

  • Bundy, Alan (Principal Investigator)
  • Aspinall, David (Co-Investigator (External))
  • Colton, Simon (Co-Investigator (External))
  • Fleuriot, Jacques (Co-Investigator (External))
  • Gow, Jeremy (Co-Investigator (External))
  • Grov, Gudmund (Co-Investigator (External))
  • Ireland, Andrew (Co-Investigator (External))
  • Jackson, Paul (Co-Investigator (External))
  • Mcneill, Fiona (Co-Investigator (External))
  • Michaelson, Greg (Co-Investigator (External))
  • Smaill, Alan (Co-Investigator (External))
Filter
Conference contribution

Search results

  • 2021

    Signature Entrenchment and Conceptual Changes in Automated Theory Repair

    Li, X., Bundy, A. & Philalithis, E., 18 Nov 2021, Proceedings of the Ninth Annual Conference on Advances in Cognitive Systems. Cognitive Systems Foundation, 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2020

    The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

    Urbonas, M., Bundy, A., Casanova, J. & Li, X., 8 Dec 2020, Artificial Intelligence XXXVII (SGAI 2020). Bramer, M. & Ellis, R. (eds.). Springer, Cham, p. 49-63 15 p. (Lecture Notes in Computer Science; vol. 12498)(Lecture Notes in Artificial Intelligence ; vol. 12498).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Using Domain Lexicon and Grammar for Ontology Matching

    Quesada Real, F., Bella, G., Mcneill, F. & Bundy, A., 3 Nov 2020, Proceedings of the 15th International Workshop on Ontology Matching. Shvaiko, P., Euzenat, J., Jiménez-Ruiz, E., Hassanzadeh, O. & Trojahn, C. (eds.). CEUR-WS.org, p. 1-12 12 p. (CEUR Workshop Proceedings; vol. 2788).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2018

    ABC Repair System for Datalog-like Theories

    Li, X., Bundy, A. & Smaill, A., Sept 2018, 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Seville, Spain: SCITEPRESS, Vol. 2. p. 335-342 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2017

    WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition

    Papapanagiotou, P. & Fleuriot, J., 11 Jul 2017, Automated Deduction – CADE 26. Springer, Cham, p. 357-370 14 p. (Lecture Notes in Computer Science ; vol. 10395).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Step Towards the Standardisation of HIV Care Practices

    Alexandru, C-A., Clutterbuck, D., Papapanagiotou, P., Fleuriot, J. & Manataki, A., 23 Feb 2017, Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - (Volume 5). SCITEPRESS, Vol. 5. p. 457-462 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Mechanised Verification Patterns for Dafny

    Grov, G., Lin, Y. & Tumas, V., 8 Nov 2016, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Cham, p. 326-343 18 p. (Lecture Notes in Computer Science ; vol. 9995).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Functional Inferences Over Heterogeneous Data

    Nuamah, K., Bundy, A. & Lucas, C., 26 Aug 2016, Web Reasoning and Rule Systems: International Conference on Web Reasoning and Rule Systems (RR 2016). Aberdeen, United Kingdom: Springer International Publishing, p. 159-166 8 p. (Lecture Notes in Computer Science (LNCS); vol. 9898).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Typed meta-interpretive learning for proof strategies

    Farquhar, C., Grov, G., Cropper, A., Muggleton, S. & Bundy, A., 13 Jul 2016, Late-breaking papers proceedings of ILP 2015 (LBP-ILP 2015). CEUR Workshop Proceedings (CEUR-WS.org), p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Super Industrial Application of PSGraph

    Lin, Y., Grov, G., O'Halloran, C. & G., P., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 319-325 7 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Use of Reformation to Repair Faulty Analogical Blends

    Bundy, A. & Maclean, E., 14 Apr 2016, UK Ontology Network 2016. Newcastle, 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2015

    Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit

    Gkaniatsou, A., McNeill, F., Bundy, A., Steel, G., Focardi, R. & Bozzato, C., 5 Dec 2015, ACSAC 2015 Proceedings of the 31st Annual Computer Security Applications Conference. New York: ACM, p. 441-450 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A., 2015, Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Springer International Publishing, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9150).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2014

    Automating inductive proof

    Bundy, A., 9 Jul 2014, Perspectives on Induction: Special session of the Logic Colloquium at the Vienna Summer of Logic. Baaz, M. & Hetzl, S. (eds.). Vienna, Austria: Vienna Summer of Logic, p. 19 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File