×

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

支持具有广义原子的逻辑程序的稳定答案集。 (英语) Zbl 1365.68147号

Cate,Balder(编辑)等人,《Web推理和规则系统》。2015年8月4日至5日在德国柏林举行的2015年RR第九届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-22001-7/pbk;978-3-3169-22002-4/电子书)。《计算机科学讲义》9209,30-44(2015)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

DLV的智能接地器。 (英语) Zbl 1357.68032号

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

标准形式的嵌套程序。 (英语) Zbl 1178.68131号

Hölldobler,Steffen(编辑)等人,《人工智能中的逻辑》。第11届欧洲会议,JELIA 2008,德国德累斯顿,2008年9月28日至10月1日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87802-5/pbk)。计算机科学讲义5293。人工智能课堂讲稿,76-88(2008)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

全部的 前3名

软件