Sciweavers

EACL
2003
ACL Anthology
14 years 25 days ago
A Dynamic Logic Formalisation of the Dialogue Gameboard
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
Raquel Fernández