LINT is a collaborative research project aimed at developing mathematical foundations for interaction. Intelligent interaction involves agents in complex scenarios like conversation, teamwork, or games. Contours of a broad mathematical description are starting to emerge today, based on several individual research developments that now need to be brought together.
LINT gathers logicians, computer scientists and philosophers from six European countries in an effort to lay the grounds for a unified account of the logic of interaction.
)