If you made any changes in Pure these will be visible here soon.

Research Output 2016 2018

  • 3 Conference contribution
  • 1 Conference article
2018

Improving User Confidence in Concept Maps: Exploring Data Driven Explanations

Le Bras, P., Robb, D., Methven, T., Padilla, S. & Chantler, M. J., 21 Apr 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. ACM, 404

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

Open Access
File
Strategic planning
Decision making

Issues affecting user confidence in explanation systems

Robb, D. A., Padilla, S., Methven, T. S., Liang, Y., Le Bras, P., Howden, T., Gharavi, A., Chantler, M. J. & Chalkiadakis, I., 30 Jul 2018, In : CEUR Workshop Proceedings. 2151

Research output: Contribution to journalConference article

Open Access
File
Artificial intelligence
Learning systems
Catalysts
Deep learning
2017

The Tinker GUI for graphical proof strategies (tool demo)

Grov, G., Lin, Y. & Le Bras, P., 27 Jan 2017, Proceedings of the Third Workshop on Formal Integrated Development Environment. Open Publishing Association, p. 98-101 4 p. (Electronic Proceedings in Theoretical Computer Science; vol. 240).

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

Open Access
Graphical user interfaces
Visualization
2016

Developing and Debugging Proof Strategies by Tinkering

Lin, Y., Le Bras, P. & Grov, G., 2016, Tools and Algorithms for the Construction and Analysis of Systems. Chechik, M. & Raskin, J-F. (eds.). Springer, p. 573-579 7 p. (Lecture Notes in Computer Science; vol. 9636).

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

Debugging
Inspection
Maintenance
Chemical analysis
User Experience