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
Accepted author manuscript, 106 KB, PDF document
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 | |
Publication status | E-pub ahead of print - 25 Aug 2015 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 9067 |
ID: 24726953