编辑配置文件（在新选项卡中打开） 洛丽斯·波萨托 合著者距离 作者ID： 波萨托·洛里斯 发布日期： 洛丽斯·波萨托 已编制索引的文档： 8出版物自2009年起 合著者： 7合著者具有7联合出版物 192位合作作者 全部的 前5名合著者 1 单作者的 5 托马斯·艾特 4 卢西亚诺·塞拉菲尼 2 毛罗·法拉利 1 佛罗伦萨，卡米洛 1 吉多·菲奥里诺 1 拉斐尔·基塞尔 1 维拉，保罗 系列 2 计算机基础理论 2 逻辑程序设计理论与实践 1 人工智能 领域 8 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物被引用20中的次17文件 引用人▼ 年份▼ 使用合理的例外增强上下文知识库。 兹比尔1444.68196 洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 9 2018 描述逻辑的构造语义上的操作。 Zbl 1209.68524号 洛丽斯·波萨托;毛罗·法拉利;维拉，保罗 4 2009 在\（\mathcal中有合理例外的推理{标高}_\bot）情境化知识库。 Zbl 1443.68181号 洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 三 2019 一种可判定的构造性描述逻辑。 兹比尔1306.68184 洛丽斯·波萨托;毛罗·法拉利;佛罗伦萨，卡米洛;吉多·菲奥里诺 2 2010 通过带有代数测度的答案集编程对多关系上下文层次进行推理。 Zbl 1522.68101号 洛丽斯·波萨托;托马斯·艾特;拉斐尔·基塞尔 2 2021 通过带有代数测度的答案集编程对多关系上下文层次进行推理。 Zbl 1522.68101号 洛丽斯·波萨托;托马斯·艾特;拉斐尔·基塞尔 2 2021 在\（\mathcal中有合理例外的推理{标高}_\bot）上下文化知识库。 Zbl 1443.68181号 洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 三 2019 使用合理的例外增强上下文知识库。 Zbl 1444.68196号 洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 9 2018 一种可判定的构造性描述逻辑。 Zbl 1306.68184号 洛丽斯·波萨托;毛罗·法拉利;佛罗伦萨，卡米洛;吉多·菲奥里诺 2 2010 描述逻辑的构造语义上的操作。 Zbl 1209.68524号 洛丽斯·波萨托;毛罗·法拉利;别墅，保拉 4 2009 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 5 佐丹奴，劳拉 三 洛丽斯·波萨托 三 托马斯·艾特 2 瓦莱里亚·德·佩瓦 2 毛罗·法拉利 2 佛罗伦萨，卡米洛 2 吉多·菲奥里诺 2 瓦伦蒂娜·格里奥齐 2 卢西亚诺·塞拉菲尼 2 塞塞迪尔·杜普雷，丹尼尔 1 马里奥·阿尔维亚诺 1 马蒂奥·巴多尼 1 托本·布吕纳 1 格哈德·布鲁卡 1 卡塔琳娜·布里茨 1 蒂齐亚诺·达尔蒙特 1 詹姆斯·德尔格兰德。 1 保罗·福多 1 爱德华·赫尔曼·海尔 1 拉斐尔·基塞尔 1 安德烈亚·马祖洛 1 马可·蒙塔利 1 安娜·奥扎基 1 亚历山大·雷德梅克 1 哈维尔·罗梅罗 1 肯·佐藤 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 尼古拉斯·特罗夸德 1 伊万·约瑟·瓦尔津扎克 全部的 前5名6篇连载文章中引用 4 逻辑程序设计理论与实践 2 人工智能 2 自动推理杂志 1 信息与计算 1 数学与人工智能年鉴 1 计算机基础理论 在3个字段中引用 15 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的引文