Using Signatures in Type Theory to Represent Situations

Stergios Chatzikyriakidis; Zhaohui Luo

doi:10.1007/978-3-662-48119-6_13

Using Signatures in Type Theory to Represent Situations

Stergios Chatzikyriakidis, Zhaohui Luo

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

111 Downloads (Pure)

Original language	English
Title of host publication	New Frontiers in Artificial Intelligence
Subtitle of host publication	JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
Editors	Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki
Publisher	Springer
Pages	172-183
Number of pages	12
ISBN (Electronic)	978-3-662-48119-6
ISBN (Print)	978-3-662-48118-9
DOIs	https://doi.org/10.1007/978-3-662-48119-6_13
Publication status	E-pub ahead of print - 25 Aug 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9067

Access to Document

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

Accepted ManuscriptAccepted author manuscript, 106 KB

Cite this

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. Advance online publication. https://doi.org/10.1007/978-3-662-48119-6_13

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).

@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",

}

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

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 proceeding › Chapter (peer-reviewed) › peer-review

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 -

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). Epub 2015 Aug 25. doi: 10.1007/978-3-662-48119-6_13