Game dialogue with first-order logic

Just a link to a recent paper that some might enjoy reading:

Representing game dialogue as expressions in first-order logic