编辑配置文件（在新选项卡中打开） 尤利亚·利勒 合著者距离 作者ID： 利勒·尤利娅 发布日期： 尤利亚·利勒 外部链接： MGP公司 已编制索引的文档： 36出版物自2004年起 5作为编辑的贡献 合著者： 39位合著者具有35联合出版物 885位合作作者 全部的 前5名合著者 6 单作者的 5 Lee，Joohyng先生 4 马塞洛·巴尔杜奇尼 4 马可·马拉提亚 三 马丁·格布瑟 三 弗拉基米尔·利夫希茨 三 莫拉莱斯，何塞·弗朗西斯科 三 特鲁什琴斯基，米洛斯奥 2 雷米·布罗赫宁 2 埃斯拉·埃尔登 2 豪尔赫·范丁诺 2 保罗·费拉里斯 2 扎卡里·汉森 2 彼得·舒勒 2 斯特凡·沃尔特兰 2 杨芳凯 1 亚历山德罗·阿曼多 1 马修·布登哈根 1 佩德罗·卡巴拉尔 1 卢卡·孔帕尼亚 1 维罗妮卡·达尔 1 德卡特，布罗斯 1 玛丽娜·德沃斯 1 马克·德内克 1 卡明·多达罗 1 托马斯·艾特 1 恩里科Giunchilia 1 阿米莉亚·哈里森 1 尼古拉斯·希彭 1 内拉坎坦省卡塔 1 刘，刘 1 奥尔森，克雷格 1 任婉婉 1 贾斯汀·罗宾斯 1 阿尔伯特·罗丹 1 本杰明·苏斯曼 1 Tekle，Tuncay公司 1 弗朗西丝卡·托尼 1 米雷克·特鲁兹琴斯基 1 Joost Vennekens 全部的 前5名系列 13 逻辑程序设计理论与实践 2 人工智能 2 计算机科学课堂讲稿 1 自动推理杂志 1 约束条件 1 理论计算机科学电子论文集（EPTCS） 1 CEUR研讨会记录 领域 40 计算机科学（68至XX） 5 总体主题；集合（00-XX） 三 数理逻辑与基础（03-XX） 1 历史和传记（01-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用216中的次147文件 引用人▼ 年份▼ 基于命题可满足性的答案集编程。 Zbl 1107.68029号 恩里科Giunchilia；尤利亚·利勒；马可·马拉提亚 44 2006 Cmodels-2：基于SAT的答案集求解器增强为非轻型程序。 Zbl 1122.68377号 尤利亚·利勒；马可·马拉提亚 25 2004 答案集编程的Tarskian非正式语义。 Zbl 1281.68147号 马克·德内克；尤利亚·利勒；米罗斯瓦·特鲁什琴斯基；Joost Vennekens 14 2012 相关的约束-答案集编程语言和算法。 Zbl 1334.68041号 尤利亚·利勒 13 2014 具有回跳和学习功能的抽象答案集求解器。 Zbl 1220.68038号 尤利亚·利勒 12 2011 正确的推理。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。 Zbl 1241.68016号 12 2012 另一类可判定的有限地面程序。 Zbl 1251.68064号 尤利亚·利勒；弗拉基米尔·利夫希茨 10 2009 无磁头元件逻辑程序。 兹比尔1149.68333 马丁·格布瑟；Lee，Joohyng先生；尤利亚·利勒 8 2007 关于抽象模推理系统和求解器。 Zbl 1357.68230号 尤利亚·利勒；米罗斯瓦·特鲁什琴斯基 8 2016 约束答案集解算器{ezcsp公司}以及为什么集成模式很重要。 Zbl 1379.68038号 马塞洛·巴尔杜奇尼；尤利亚·利勒 7 2017 模型生成器的转换系统–统一方法。 Zbl 1222.68063号 尤利亚·利勒；米罗斯瓦·特鲁什琴斯基 7 2011 答案集编程中的性能调整。 Zbl 1467.68023号 马修·布登哈根；尤利亚·利勒 7 2015 逻辑编程和非单调推理。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。 Zbl 1410.68009号 6 2019 抽象答案集求解器。 兹比尔1185.68165 尤利亚·利勒 6 2008 什么是命题可满足性的答案集编程。 Zbl 1423.68483号 尤利亚·利勒 5 2017 在答案集编程中通过规划解析组合范畴文法。 兹比尔1357.68256 尤利亚·利勒；彼得·舒勒 4 2012 抽象析取答案集求解器。 Zbl 1366.68016号 雷米·布罗奇宁；尤利亚·利勒；马可·马拉提亚 4 2014 关于逻辑程序的基本循环。 Zbl 1242.68050号 马丁·格布瑟；Lee，Joohyng先生；尤利亚·利勒 4 2011 一阶模块化逻辑程序及其保守扩展。 Zbl 1379.68067号 阿米莉亚·哈里森；尤利亚·利勒 三 2016 用逻辑程序表示一阶因果理论。 Zbl 1247.68043号 保罗·费拉里斯；Lee，Joohyng先生；尤利亚·利勒；弗拉基米尔·利夫希茨；杨芳凯 三 2012 模块化答案集编程是一种形式规范语言。 Zbl 1468.68119号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；尤利亚·利勒 三 2020 约束答案集规划与可满足性模理论的关系。 Zbl 1379.68285号 尤利亚·利勒；本杰明·苏斯曼 2 2017 2015年8月31日至9月4日在爱尔兰科克举行的第31届国际逻辑编程会议的技术交流。 Zbl 1407.68028号 2 2015 约束CNF:SAT和CSP语言在同一屋檐下。 兹比尔1428.68284 De Cat，Broes公司；尤利亚·利勒 1 2016 将协议不安全问题自动编译为逻辑编程。 Zbl 1111.68376号 亚历山德罗·阿曼多；卢卡·孔帕尼亚；尤利亚·利勒 1 2004 Prolog和ASP推理在同一屋檐下。 Zbl 1405.68043号 马塞洛·巴尔杜奇尼；尤利亚·利勒；彼得·舒勒 1 2013 信息提取工具文本2胶片从叙事到动作语言系统描述。 兹比尔07453107 克雷格·奥尔森；尤利亚·利勒 1 2019 用聚合论证ASP程序的正确性。 Zbl 07671888号 豪尔赫·范丁诺；扎卡里·汉森；尤利亚·利勒 1 2022 在答案集语义下估计逻辑程序的基础大小。 Zbl 07437051号 尼古拉斯·希彭；尤利亚·利勒 1 2021 第38届逻辑程序设计国际会议专题介绍。 Zbl 07595321号 尤利亚·利勒；何塞·莫拉莱斯（Jose F.Morales）。 1 2022 用聚合论证ASP程序的正确性。 Zbl 07671888号 豪尔赫·范丁诺；扎卡里·汉森；尤利亚·利勒 1 2022 第38届逻辑程序设计国际会议专题介绍。 Zbl 07595321号 尤利亚·利勒；何塞·莫拉莱斯（Jose F.Morales）。 1 2022 在回答集语义下估计逻辑程序的基础大小。 Zbl 07437051号 尼古拉斯·希彭；尤利亚·利勒 1 2021 模块化答案集编程是一种形式规范语言。 Zbl 1468.68119号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；尤利亚·利勒 三 2020 逻辑编程和非单调推理。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。 Zbl 1410.68009号 6 2019 信息提取工具文本2胶片从叙事到动作语言系统描述。 Zbl 07453107号 克雷格·奥尔森；尤利亚·利勒 1 2019 约束答案集解算器{ezcsp公司}以及为什么集成模式很重要。 Zbl 1379.68038号 马塞洛·巴尔杜奇尼；尤利亚·利勒 7 2017 什么是命题可满足性的答案集编程。 Zbl 1423.68483号 尤利亚·利勒 5 2017 关于约束回答集规划和可满足性模理论的关系。 Zbl 1379.68285号 尤利亚·利勒；本杰明·苏斯曼 2 2017 关于抽象模推理系统和求解器。 Zbl 1357.68230号 尤利亚·利勒；米罗斯瓦·特鲁什琴斯基 8 2016 一阶模块化逻辑程序及其保守扩展。 Zbl 1379.68067号 阿米莉亚·哈里森；尤利亚·利勒 三 2016 约束CNF:SAT和CSP语言在同一屋檐下。 兹比尔1428.68284 De Cat，Broes公司；尤利亚·利勒 1 2016 答案集编程中的性能调整。 Zbl 1467.68023号 马修·布登哈根；尤利亚·利勒 7 2015 2015年8月31日至9月4日在爱尔兰科克举行的第31届国际逻辑编程会议的技术交流。 Zbl 1407.68028号 2 2015 相关约束答案集编程语言和算法。 Zbl 1334.68041号 尤利亚·利勒 13 2014 抽象析取答案集求解器。 Zbl 1366.68016号 雷米·布罗奇宁；尤利亚·利勒；马可·马拉提亚 4 2014 Prolog和ASP推理在同一屋檐下。 Zbl 1405.68043号 马塞洛·巴尔杜奇尼；尤利亚·利勒；彼得·舒勒 1 2013 答案集编程的Tarskian非正式语义。 Zbl 1281.68147号 马克·德内克；尤利亚·利勒；米罗斯瓦·特鲁什琴斯基；Joost Vennekens 14 2012 正确的推理。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。 兹比尔1241.68016 12 2012 在答案集编程中通过规划解析组合范畴文法。 Zbl 1357.68256号 尤利亚·利勒；彼得·舒勒 4 2012 用逻辑程序表示一阶因果理论。 Zbl 1247.68043号 保罗·费拉里斯；Lee，Joohyng先生；尤利亚·利勒；弗拉基米尔·利夫希茨；杨芳凯 三 2012 具有回跳和学习功能的抽象答案集求解器。 Zbl 1220.68038号 尤利亚·利勒 12 2011 模型生成器的转换系统–统一方法。 Zbl 1222.68063号 尤利亚·利勒；米罗斯瓦·特鲁什琴斯基 7 2011 关于逻辑程序的基本循环。 Zbl 1242.68050号 马丁·格布瑟；Lee，Joohyng先生；尤利亚·利勒 4 2011 另一类可判定的有限地面程序。 Zbl 1251.68064号 尤利亚·利勒；弗拉基米尔·利夫希茨 10 2009 抽象答案集求解器。 兹比尔1185.68165 尤利亚·利勒 6 2008 无磁头元件逻辑程序。 Zbl 1149.68333号 马丁·格布瑟；Lee，Joohyng先生；尤利亚·利勒 8 2007 基于命题可满足性的答案集编程。 Zbl 1107.68029号 恩里科Giunchilia；尤利亚·利勒；马尔科·马拉泰阿 44 2006 Cmodels-2：基于SAT的答案集求解器增强为非轻型程序。 Zbl 1122.68377号 尤利亚·利勒；马可·马拉提亚 25 2004 将协议不安全问题自动编译为逻辑编程。 Zbl 1111.68376号 亚历山德罗·阿曼多；卢卡·孔帕尼亚；尤利亚·利勒 1 2004 所有引用的出版物 前5名被引用出版物 全部的 前5名222位作者引用 21 尤利亚·利勒 12 托尔斯滕·绍布（Torsten H.Schaub）。 11 马丁·格布瑟 10 卡明·多达罗 10 马可·马拉提亚 9 马里奥·阿尔维亚诺 9 弗朗西斯科·里卡 8 特鲁什琴斯基，米洛斯奥 7 尼古拉·利昂 6 乔瓦尼·阿蒙多拉 6 佩德罗·卡巴拉尔 6 托马斯·艾特 6 沃尔夫冈·费伯 5 豪尔赫·范丁诺 5 阿米莉亚·哈里森 5 罗兰·卡明斯基 5 Lee，Joohyng先生 5 弗拉基米尔·利夫希茨 4 巴特·博加特 4 弗朗西斯科·卡利默里 4 汤米·詹胡宁 4 林方珍 4 西蒙娜·佩里 三 马塞洛·巴尔杜奇尼 三 德卡特，布罗斯 三 马克·德内克 三 法比奥·法塞蒂 三 迈克尔·芬克 三 劳伦特·加西亚 三 迈克尔·盖尔芬德 三 戈帕尔·古普塔 三 本杰明·考夫曼 三 托马斯·克伦瓦尔纳 三 克莱尔·莱夫雷 三 V.Wiktor马雷克 三 路易吉·帕洛波利 三 恩里科·蓬泰利 三 克里斯托夫·雷德尔 三 杰弗里·布赖恩·雷梅尔 三 哈维尔·罗梅罗 三 萨阿德（Emad W.Saad）。 三 安娜·舒曼 三 彼得·舒勒 三 圣潘，伊戈尔 2 法布里西奥·安吉乌利 2 华金·阿里亚斯 2 雷切尔·本·埃利亚胡·佐哈里 2 乔里·博曼森 2 莫里斯·布吕诺格 2 马可·卡洛蒂 2 曼纽尔·卡罗 2 英格玛达塞维尔 2 马丁·迪盖兹 2 阿戈斯蒂诺·多维尔 2 路易斯·法利尼亚斯·德尔·塞罗 2 约翰·克劳斯·费希特 2 恩里科Giunchilia 2 里卡多·贡萨阿尔维斯 2 吉安路易吉·格雷科 2 塞尔吉奥·格雷科 2 扎卡里·汉森 2 杰尔达·詹森斯 2 马蒂亚斯·克诺尔 2 约昂·莱特 2 托尼·曼奇尼 2 元首，约尔格 2 儿子Tran Cao 2 克里希纳·苏布拉马尼 2 斯泽德，斯特凡 2 汉斯·托姆皮茨 2 伊琳娜·特鲁比西纳 2 Piotr J.沃伊切霍夫斯基。 2 斯特凡·沃尔特兰 2 Jessica Zangari 2 张燕 1 Antić，基督徒 1 阿米莉亚，拜迪奇 1 Bădică，科斯廷 1 Jean-François巴杰 1 迈克尔·巴塞洛缪 1 金加尔巴苏 1 克里斯托弗·贝亚特里克斯 1 托拜厄斯·贝雷 1 克拉拉·贝托利西 1 里卡多·贝尔托卢奇 1 亨德里克·布洛克 1 乔治·博恩 1 布莱恩，马丁 1 格哈德·布鲁卡 1 雷米·布罗赫宁 1 罗伯特·布鲁迈耶 1 马修·布登哈根 1 马可·卡多利 1 阿莱西奥·卡皮塔内利 1 加泰拉诺、格尔索米纳 1 弗朗西斯科·考特鲁西奥 1 道格拉斯·森泽 1 拉玛斯瓦米·钱德拉塞卡兰 1 Chen，Qian Matteo先生 1 陈小平 …还有122位作者 全部的 前5名13篇连载文章中引用 60 逻辑程序设计理论与实践 26 人工智能 8 数学与人工智能年鉴 三 约束条件 三 ACM计算逻辑事务 2 自动推理杂志 2 计算机基础理论 1 理论计算机科学 1 信息与计算 1 人工智能通信 1 机器学习 1 杰泰。实验与理论人工智能杂志 1 应用非经典逻辑杂志 全部的 前5名在6个字段中引用 143 计算机科学（68至XX） 16 数理逻辑与基础（03-XX） 6 运筹学、数学规划（90-XX） 三 生物学和其他自然科学（92-XX） 2 总体主题；集合（00-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文