Follow
Pierre Le Bras
Title
Cited by
Cited by
Year
Visualising COVID-19 Research
P Le Bras, A Gharavi, DA Robb, A F Vidal, S Padilla, MJ Chantler
arXiv preprint arXiv:2005.06380, 2020
272020
Improving user confidence in concept maps: Exploring data driven explanations
P Le Bras, DA Robb, TS Methven, S Padilla, MJ Chantler
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems …, 2018
242018
Visualising COVID-19 Research
P Le Bras, A Gharavi, DA Robb, A F. Vidal, S Padilla, MJ Chantler
https://arxiv.org/abs/2005.06380, 2020
182020
Developing and debugging proof strategies by tinkering
Y Lin, P Le Bras, G Grov
International Conference on Tools and Algorithms for the Construction and …, 2016
72016
Challenges in Collaborative HRI for Remote Robot Teams
H Hastie, DA Robb, J Lopes, M Ahmad, P Le Bras, X Liu, RPA Petrick, ...
https://arxiv.org/abs/1905.07379, 2019
62019
PlanCurves: An Interface for End-Users to Visualise Multi-Agent Temporal Plans
P Le Bras, Y Carreno, A Lindsay, RPA Petrick, MJ Chantler
ICAPS 2020 Workshop on Knowledge Engineering for Planning and Scheduling …, 2020
42020
Issues Affecting User Confidence in Explanation Systems.
DA Robb, S Padilla, TS Methven, Y Liang, P Le Bras, T Howden, ...
SICSA ReaLX, 2018
22018
The Tinker GUI for Graphical Proof Strategies (tool demo)
G Grov, Y Lin, P Le Bras
Third Workshop on Formal Integrated Development Environment, 98-101, 2016
12016
An Integrated Framework for Remote Planning
Y Carreno, P Le Bras, È Pairet, P Ardón, MJ Chantler, RPA Petrick
ICAPS 2021 Workshop on Integrated Planning, Acting, and Execution (IntEx 2021), 2021
2021
Enhancing Reading Strategies by Exploring A Theme-based Approach to Literature Surveys
T Howden, P Le Bras, TS Methven, S Padilla, MJ Chantler
arXiv preprint arXiv:2102.05374, 2021
2021
PlanCurves: A Visualization Interface for Multi-Agent Temporal Plans
P Le Bras, Y Carreno, RPA Petrick, MJ Chantler
2020
Automated strategic visualisations and user confidence
P Le Bras
Heriot-Watt University, 2019
2019
Tinker: A Graph Based Proof Strategy System
P Le Bras, Y Lin, G Grov
In AI4FM 2015 (extended abstract), 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–13