×

推理web。Web逻辑规则。2015年7月31日至8月4日,德国柏林,第11所国际暑期学校。辅导讲座。 (英语) Zbl 1358.68011号

计算机科学课堂讲稿9203.查姆:施普林格(ISBN 978-3-319-21767-3/pbk;978-3-3169-21768-0/ebook)。ix,第333页。(2015).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。有关上一所暑期学校,请参阅[兹伯利1316.68017].
索引文章:
翁贝托·斯特拉契亚,关于模糊描述逻辑和应用,1-31[Zbl 1358.68279号]
克里斯托夫·本兹穆勒;布鲁诺沃尔岑洛格尔古,高阶模态逻辑:自动化和应用,32-74[Zbl 1358.68273号]
格奥尔格·戈特洛布;迈克尔·莫拉克(Michael Morak);安德烈亚斯·皮耶利斯《数据日志的最新进展》,193-217[Zbl 1358.68054号]
梅亨·班文努(Meghyn Bienvenu);马格达莱娜·奥尔蒂斯,本体中介的具有数据可处理描述逻辑的查询应答,218-307[Zbl 1358.68086号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
68英里11 互联网主题
68N17号 逻辑编程
第68页,共15页 数据库理论
68T27型 人工智能中的逻辑
68立方英尺 知识表示
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部