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

Documents

Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence
Subtitle of host publicationJSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
EditorsTsuyoshi Murata, Koji Mineshima, Daisuke Bekki
PublisherSpringer
Pages172-183
Number of pages12
ISBN (Electronic)978-3-662-48119-6
ISBN (Print)978-3-662-48118-9
DOIs
Publication statusE-pub ahead of print - 25 Aug 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9067
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 24726953