Edinburgh Research Explorer

Machine Learning for Automated Inductive Theorem Proving

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Machine Learning for Automated Inductive Theorem Proving. / Jiang, Yaqing; Papapanagiotou, Petros; Fleuriot, Jacques.

Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Suzhou, China : Springer, Cham, 2018. p. 87-103.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Jiang, Y, Papapanagiotou, P & Fleuriot, J 2018, Machine Learning for Automated Inductive Theorem Proving. in Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Springer, Cham, Suzhou, China, pp. 87-103, 13th International Conference on Artificial Intelligence and Symbolic Computation, Suzhou, China, 16/09/18. DOI: 10.1007/978-3-319-99957-9_6

APA

Jiang, Y., Papapanagiotou, P., & Fleuriot, J. (2018). Machine Learning for Automated Inductive Theorem Proving. In Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018 (pp. 87-103). Suzhou, China: Springer, Cham. DOI: 10.1007/978-3-319-99957-9_6

Vancouver

Jiang Y, Papapanagiotou P, Fleuriot J. Machine Learning for Automated Inductive Theorem Proving. In Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Suzhou, China: Springer, Cham. 2018. p. 87-103. Available from, DOI: 10.1007/978-3-319-99957-9_6

Author

Jiang, Yaqing ; Papapanagiotou, Petros ; Fleuriot, Jacques. / Machine Learning for Automated Inductive Theorem Proving. Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Suzhou, China : Springer, Cham, 2018. pp. 87-103