×

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

支持具有广义原子的逻辑程序的稳定答案集。 (英语) 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格式引用
全文: 内政部

使用多上下文系统和默认逻辑保护隐私。 (英语) Zbl 1357.68216号

Erdem,Esra(编辑)等人,《正确的推理》。关于基于逻辑的人工智能的论文,以纪念Vladimir Lifschitz。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学讲义7265195-210(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

全部的 前3名

软件