×

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

匹配和泛化模接近和容差关系。 (英语) Zbl 1530.68055号

奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13206, 323-342 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解邻近约束。 (英语) 兹比尔1502.68069

Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042, 107-122 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

描述逻辑中的近似统一{FL}_0(飞行高度层)\). (英语) Zbl 1483.68364号

Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10021, 49-63 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段