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

New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. ed. / Tsuyoshi Murata; Koji Mineshima; Daisuke Bekki. Springer, 2015. p. 172-183 (Lecture Notes in Computer Science; Vol. 9067).

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

E-pub ahead of print

Standard

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

New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. ed. / Tsuyoshi Murata; Koji Mineshima; Daisuke Bekki. Springer, 2015. p. 172-183 (Lecture Notes in Computer Science; Vol. 9067).

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

Harvard

Chatzikyriakidis, S & Luo, Z 2015, Using Signatures in Type Theory to Represent Situations. in T Murata, K Mineshima & D Bekki (eds), New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9067, Springer, pp. 172-183. https://doi.org/10.1007/978-3-662-48119-6_13

APA

Chatzikyriakidis, S., & Luo, Z. (2015). Using Signatures in Type Theory to Represent Situations. In T. Murata, K. Mineshima, & D. Bekki (Eds.), New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers (pp. 172-183). (Lecture Notes in Computer Science; Vol. 9067). Springer. https://doi.org/10.1007/978-3-662-48119-6_13

Vancouver

Chatzikyriakidis S, Luo Z. Using Signatures in Type Theory to Represent Situations. In Murata T, Mineshima K, Bekki D, editors, New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Springer. 2015. p. 172-183. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-662-48119-6_13

Author

Chatzikyriakidis, Stergios ; Luo, Zhaohui. / Using Signatures in Type Theory to Represent Situations. New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. editor / Tsuyoshi Murata ; Koji Mineshima ; Daisuke Bekki. Springer, 2015. pp. 172-183 (Lecture Notes in Computer Science).

BibTeX

@inbook{91ab2a4d924248a3bf947f42d00a48f1,
title = "Using Signatures in Type Theory to Represent Situations",
author = "Stergios Chatzikyriakidis and Zhaohui Luo",
year = "2015",
month = aug,
day = "25",
doi = "10.1007/978-3-662-48119-6_13",
language = "English",
isbn = "978-3-662-48118-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "172--183",
editor = "Murata, {Tsuyoshi } and Mineshima, {Koji } and Bekki, {Daisuke }",
booktitle = "New Frontiers in Artificial Intelligence",

}

RIS

TY - CHAP

T1 - Using Signatures in Type Theory to Represent Situations

AU - Chatzikyriakidis, Stergios

AU - Luo, Zhaohui

PY - 2015/8/25

Y1 - 2015/8/25

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

T3 - Lecture Notes in Computer Science

SP - 172

EP - 183

BT - New Frontiers in Artificial Intelligence

A2 - Murata, Tsuyoshi

A2 - Mineshima, Koji

A2 - Bekki, Daisuke

PB - Springer

ER -