×

找到7个文档(结果1-7)

情感软件规划的动作语言中的情感推理。 (英语) Zbl 07671882号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416103-116(2022)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拆分混合ASP程序。 (英语) Zbl 07455702号

Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)325,21-34(2020年)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

动作语言在认知机器人中的应用。 (英语) Zbl 1357.68218号

Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,229-246(2012)。
MSC公司:68T27型 68T40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

全部的 前3名

软件