Modelling virtual bargaining using logical representation change

Alan Bundy, Eugene Philalithis, Xue Li

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

2 results

Filter

Finished
Toward Human-Machine Virtual Bargaining
Bundy, A.
EPSRC
1/04/20 → 31/12/20
Project: Research
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.
EPSRC
1/11/15 → 31/10/19
Project: Research