Now showing items 1-3 of 3
A probabilistic model of Ancient Egyptian writing
(2017-07-01) - Journal article,
This article offers a formalization of how signs form words in Ancient Egyptian writing, for either hieroglyphic or hieratic texts. The formalization is in terms of a sequence of sign functions, which concurrently produce ...
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 ...
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 ...