编辑配置文件(在新选项卡中打开) 家长,Xavier 合著者距离 作者ID: 父母.xavier 发布日期: 家长,Xavier;父母X。 编入索引的文档: 26出版物自2001年以来,包括1本书和1个附加arXiv预打印 6作为编辑的贡献 审查活动: 17评论 合著者: 24位合著者具有23联合出版物 566联合作者 全部的 前5名合著者 9 单作者的 14 范德托雷,Leendert W.N。 8 克里斯托夫·埃瓦尔德·本兹穆勒 5 Dov M.加巴伊。 4 阿里·法贾米 2 大卫·格罗西 2 约翰·霍蒂。 2 Meheus,笑话 2 弗朗西斯科·里卡 2 保罗·图里尼 2 罗恩·范德梅登 1 迭戈·阿古斯汀·安布罗西奥 1 布罗森,Jan M。 1 法布里奇奥·卡里亚尼 1 科伦坡托萨托,西尔瓦诺 1 斯蒂芬·克雷菲尔德 1 马蒂杰斯·德·波尔 1 叶希亚·埃尔拉凯比 1 埃米利亚诺·洛里尼 1 保罗·麦德 1 玛雅·奥什维斯基 1 罗马人、杜米特鲁 1 弗朗索瓦州施瓦岑特鲁伯 1 马里亚·斯拉夫科维奇 1 卢卡·图莫利尼 全部的 前5名系列 3 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 2 计算机科学课堂讲稿 1 人工智能 1 哲学逻辑杂志 1 合成 1 逻辑与计算杂志 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 1 符号逻辑述评 1 逻辑与推理中的文本 领域 29 数学逻辑和基础(03-XX) 10 计算机科学(68至XX) 6 总体主题;集合(00-XX) 2 历史和传记(01-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用83中的次48文件 引用人▼ 年份▼ 道义逻辑和规范系统手册。 Zbl 1309.03001号 22 2013 二元道义逻辑中的最大性与最优性。汉森传统中系统的完整性。 Zbl 1321.03032号 家长,Xavier 7 2014 输入/输出逻辑的直觉基础。 Zbl 1311.03041号 家长,Xavier;Dov Gabbay公司;范德托雷、伦德特 5 2014 带有一致性检查的I/O逻辑。 Zbl 1418.03098号 家长,Xavier;范德托雷、伦德特 5 2018 关于奥奎斯特二元道义逻辑的强完备性。 Zbl 1144.03016号 家长,Xavier 5 2008 输入/输出逻辑。 Zbl 1367.03044号 家长,Xavier;范德托雷、伦德特 4 2013 为伦理和法律推理设计规范理论:LogiKEy公司框架、方法和工具支持。 兹比尔1493.68286 克里斯托夫·本兹穆勒;家长,Xavier;范德托雷、伦德特 4 2020 “唱歌跳舞!”。输入/输出逻辑不减弱。 Zbl 1321.03033号 家长,Xavier;范德托雷、伦德特 4 2014 汉森道义逻辑DSDL2的完整公理集。 Zbl 1218.03021号 家长,Xavier 4 2010 道义逻辑和规范系统简介。 Zbl 1431.03034号 家长,Xavier;范德托雷、伦德特 3 2018 Au qvist系统\(\mathbf E\)和\(\mathbf F\)的完整性。 Zbl 1371.03027号 家长,Xavier 3 2015 二维标准道义逻辑[包括对1985年Jones-Pörn道义逻辑系统的详细分析]。 兹比尔1275.03093 马蒂杰斯·德·波尔;Dov M.加巴伊。;家长,Xavier;马里亚·斯拉夫科维奇 3 2012 补救互换、逆税义务和减刑。 Zbl 1181.03019号 父母X。 3 2003 HOL中的I/O逻辑。 Zbl 1513.03040号 克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长Xavier 3 2019 HOL中的二元道义逻辑。 Zbl 1418.03069号 克里斯托夫·本兹穆勒;阿里·法贾米;家长,Xavier 2 2018 带有一致性检查的输入/输出逻辑–权限情况。 Zbl 07655717号 玛雅·奥什维斯基;家长,Xavier;范德托雷、伦德特 2 2021 道义逻辑推理基础设施。 Zbl 1509.68327号 克里斯托夫·本兹穆勒;家长Xavier;范德托雷、伦德特 1 2018 规范推理和结果。 Zbl 1482.68227号 简·布罗森;斯蒂芬·克雷菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长,Xavier;范德托雷,Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯 1 2013 道义逻辑和规范系统手册。第2卷。 Zbl 1505.03006号 1 2021 直观I/O操作的模式特征。 Zbl 1515.03103号 家长,Xavier 1 2021 带有一致性检查的输入/输出逻辑–权限情况。 Zbl 07655717号 Olszewski,玛雅;家长,Xavier;范德托雷、伦德特 2 2021 道义逻辑和规范系统手册。第2卷。 Zbl 1505.03006号 1 2021 直观I/O操作的模式特征。 Zbl 1515.03103号 家长,Xavier 1 2021 为伦理和法律推理设计规范理论:LogiKEy公司框架、方法和工具支持。 Zbl 1493.68286号 克里斯托夫·本兹穆勒;家长,Xavier;范德托雷、伦德特 4 2020 HOL中的I/O逻辑。 Zbl 1513.03040号 克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长,Xavier 3 2019 具有一致性检查的I/O逻辑。 Zbl 1418.03098号 家长,Xavier;范德托雷、伦德特 5 2018 道义逻辑和规范系统简介。 Zbl 1431.03034号 家长,Xavier;范德托雷、伦德特 3 2018 HOL中的二元道义逻辑。 Zbl 1418.03069号 克里斯托夫·本兹穆勒;阿里·法贾米;家长,Xavier 2 2018 道义逻辑推理基础设施。 Zbl 1509.68327号 克里斯托夫·本兹穆勒;家长,Xavier;范德托雷、伦德特 1 2018 Au qvist系统\(\mathbf E\)和\(\mathbf F\)的完整性。 Zbl 1371.03027号 家长,Xavier 3 2015 二元道义逻辑中的最大性与最优性。汉森传统中系统的完整性。 Zbl 1321.03032号 家长,Xavier 7 2014 输入/输出逻辑的直觉基础。 Zbl 1311.03041号 家长,Xavier;Dov Gabbay公司;范德托雷、伦德特 5 2014 “唱歌跳舞!”。输入/输出逻辑不减弱。 Zbl 1321.03033号 家长,Xavier;范德托雷、伦德特 4 2014 道义逻辑和规范系统手册。 Zbl 1309.03001号 22 2013 输入/输出逻辑。 Zbl 1367.03044号 家长,Xavier;范德托雷、伦德特 4 2013 规范推理和结果。 Zbl 1482.68227号 简·布罗森;斯蒂芬·克兰菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长,Xavier;范德托雷,Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯 1 2013 二维标准道义逻辑[包括对1985年Jones-Pörn道义逻辑系统的详细分析]。 Zbl 1275.03093号 马蒂杰斯·德·波尔;Dov M.加巴伊。;家长,Xavier;斯拉夫科维奇,马里亚 3 2012 汉森道义逻辑DSDL2的完整公理集。 Zbl 1218.03021号 家长,Xavier 4 2010 关于奥奎斯特二元道义逻辑的强完备性。 Zbl 1144.03016号 家长,Xavier 5 2008 补救互换、逆税义务和减刑。 Zbl 1181.03019号 父母X。 3 2003 所有引用出版物 前5名被引用出版物 全部的 前5名93位作者引用 6 家长,Xavier 6 范德托雷,Leendert W.N。 4 董惠民 4 孙欣 3 克里斯托夫·埃瓦尔德·本兹穆勒 3 布罗森,Jan M。 3 Dov M.加巴伊。 3 罗伊,奥利维尔 2 阿加塔·西阿巴托尼 2 伊利莎·弗雷斯基 2 丹尼拉·格拉瓦尼科娃 2 诺伯特·格拉茨 2 大卫·格罗西 2 比约恩·莱尔曼 2 加布里埃拉·皮戈齐 2 利维奥·罗巴尔多 2 奥顿·斯托尔佩 2 克里斯蒂安·斯特拉瑟 2 保罗·图里尼 1 迈克尔·亚伯拉罕 1 马尔科·阿尔贝蒂 1 迭戈·阿古斯汀·安布罗西奥 1 艾伯特·安格伯格。 1 阿雷塞斯,卡洛斯 1 奥费尔·阿列利 1 塞萨尔·巴托里尼 1 乔纳斯·拜耳 1 贝伦,马修 1 圭多·波埃拉 1 安尼马里州博格 1 瓦伦特·卡萨诺 1 巴勃罗·卡斯特罗。 1 科伦坡托萨托,西尔瓦诺 1 斯蒂芬·克兰菲尔德 1 贾纳斯·Czelakowski 1 蒂齐亚诺·达尔蒙特 1 安德烈亚·德·多梅尼科 1 文森特·德维特 1 道德,德拉甘 1 叶希亚·埃尔拉凯比 1 阿里·法贾米 1 费德里科·法罗尔迪。 1 劳尔·费尔瓦里 1 福恩市长,大卫 1 洛伊奇Gammaitoni 1 马可·加瓦内利 1 弗朗西斯科·詹科(Francesco A.Genco)。 1 阿列克谢·戈纳斯 1 查尔斯·格雷洛 1 弗朗西丝卡·古利萨诺 1 纪尧姆·霍夫曼 1 托马斯·贾穆·埃克 1 马特乌斯·克洛诺夫斯基 1 Kuijer、Louwe Bouke 1 彼得·库利基 1 伊芙琳娜·拉姆 1 加布里埃尔·伦齐尼 1 李旭 1 埃米利亚诺·洛里尼 1 克里希纳·B·马诺卡尔。 1 雷卡·马尔科维奇 1 米歇尔·马托尼 1 维维亚娜·马斯卡迪 1 日产,Ephraim 1 尼古拉·奥利维蒂 1 玛雅·奥什维斯基 1 尼尔·奥伦 1 亚历山德拉·帕尔米吉亚诺 1 莫妮卡·帕尔米拉尼 1 马蒂亚·帕内蒂埃 1 马蒂奥·帕斯库奇 1 多梅尼科·佩莱格里尼 1 法布里西奥·里古齐 1 雷吉斯·里维雷特 1 阿特菲·罗哈尼 1 阿里安娜·罗西 1 乔瓦尼·萨托 1 肯·佐藤 1 乌里·希尔德 1 弗朗索瓦州施瓦岑特鲁伯 1 达娜·斯图尔特·斯科特 1 塞拉诺·苏亚雷斯、法比安·费尔南多 1 辛格,拉瓦尼亚 1 亚历山大·斯蒂恩 1 托马斯·施图德 1 弗拉迪米尔·斯沃博达 1 达斯汀·塔克 1 卢卡·图莫利尼 1 范伯克利,基斯 1 范德普特,弗雷德里克 1 范德霍克,威比 1 王晓龙 1 里卡多·泽斯 全部的 前5名13连载 4 Studia Logica公司 4 逻辑、语言与信息杂志 3 哲学逻辑杂志 3 应用逻辑杂志 2 人工智能 2 合成 2 逻辑科公报 2 符号逻辑述评 1 自动推理杂志 1 国际近似推理杂志 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 计算机基础理论 在5个字段中引用 38 数学逻辑和基础(03-XX) 23 计算机科学(68至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文