Using Signatures in Type Theory to Represent Situations - Research

Home > Computer Science home > Research > Profile > Publications > Using Signatures in Type Theory to Represent Situations

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)

E-pub ahead of print

Documents

Accepted Manuscript
Accepted author manuscript, 106 KB, PDF document

Department of Computer Science

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