Using Signatures in Type Theory to Represent Situations

Stergios Chatzikyriakidis, Zhaohui Luo

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

76 Downloads (Pure)
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

Cite this