Now showing items 1-2 of 2
Towards a richer model of deliberation dialogue : closure problem and change of circumstances
(2016-11-26) - Journal article,
Models of deliberative dialogue are fundamental for developing autonomous systems that support human practical reasoning. The question discussed in this paper is whether existing models are able to capture the complexity ...
Automatically improving constraint models in Savile Row
(2017-10) - Journal article,
When solving a combinatorial problem using Constraint Programming (CP) or Satisfiability (SAT), modelling and formulation are vital and difficult tasks. Even an expert human may explore many alternatives in modelling a ...