Stergios Chatzikyriakidis, Zhaohui Luo. Using Signatures in Type Theory to Represent Situations. In Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki, editors, New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Volume 9067 of Lecture Notes in Computer Science, pages 172-183, Springer, 2014.
Abstract is missing.