@书籍{zbMATH06380111，编辑＝｛Aranda Corral，Gonzalo A.和Calmet，Jacques和Mart｛\'｛\i｝n-Mateos，Francisco J.｝，标题={人工智能和符号计算。第十二届国际会议，{AISC}2014，{塞维利亚}，{西班牙}，12月}11-13日，2014。｛诉讼程序｝｝，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={8884}，国际标准图书编号={978-3-319-13769-8}，年份={2014}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-13770-4}，关键词={68-06,68Txx，68W30,00B25}，zbMATH={6380111}，Zbl={1302.68009}}