Using Signatures in Type Theory to Represent Situations. / Chatzikyriakidis, Stergios; Luo, Zhaohui.

JSAI International Symposium on Artificial Intelligence. 2014. p. 172-183.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Original languageEnglish
Title of host publicationJSAI International Symposium on Artificial Intelligence
Number of pages12
ISBN (Electronic)978-3-662-48119-6
Publication statusPublished - 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 23230671