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

Published

Standard

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

Harvard

APA

Vancouver

Author

Chatzikyriakidis, Stergios ; Luo, Zhaohui. / Using Signatures in Type Theory to Represent Situations. JSAI International Symposium on Artificial Intelligence. 2014. pp. 172-183

BibTeX

@inbook{fe6b31f394364972807b357d0440ddfb,
title = "Using Signatures in Type Theory to Represent Situations",
author = "Stergios Chatzikyriakidis and Zhaohui Luo",
year = "2014",
doi = "10.1007/978-3-662-48119-6_13",
language = "English",
isbn = "978-3-662-48118-9",
pages = "172--183",
booktitle = "JSAI International Symposium on Artificial Intelligence",

}

RIS

TY - CHAP

T1 - Using Signatures in Type Theory to Represent Situations

AU - Chatzikyriakidis, Stergios

AU - Luo, Zhaohui

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-662-48119-6_13

DO - 10.1007/978-3-662-48119-6_13

M3 - Chapter (peer-reviewed)

SN - 978-3-662-48118-9

SP - 172

EP - 183

BT - JSAI International Symposium on Artificial Intelligence

ER -