Time Aspects of Transparent Intensional Logic in Communication and Decision-Making of Agents. - Jakub Macek; Tomás Frydrych (RASLAN, 2010)

Modelling Dynamic Aspects of a Multi-Agent System Using Transparent Intensional Logic. - Jakub Macek; Tomás Frydrych (EJC, 2011)