尤利亚·利勒
人员信息
附属: 美国奥马哈内布拉斯加州大学 附属: 美国德克萨斯大学奥斯汀分校
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元25年] 尤利亚·利勒 , 冈玲(Gang Ling) , 克雷格·奥尔松 :
信息提取工具text2alm:从叙述到动作语言系统描述和问答。 AI通讯。 37 ( 1 ) : 53-81 ( 2024 ) [公元24年] 尤利亚·利勒 :
命题框架中优化的抽象视图。 安。数学。 Artif公司。 智力。 92 ( 2 ) : 355-391 ( 2024 ) [公元23年] 丹尼尔·布雷斯纳汉 , 尼古拉斯·希彭 , 尤利亚·利勒 :
系统预测器:答案集语义下逻辑程序的基础大小估计器。 理论与实践。 日志。 程序。 24 ( 1 ) : 132-156 ( 2024 ) 2023 [公元22年] 尤利亚·利勒 :
约束答案集编程:集成和转换(或基于SMT)方法。 理论与实践。 日志。 程序。 23 ( 1 ) : 195-225 ( 2023 ) [公元21年] 豪尔赫·范丁诺 , 扎卡里·汉森 , 尤利亚·利勒 , 弗拉基米尔·利夫希茨 , 内森寺 :
逻辑程序的外部行为和重构的验证。 理论与实践。 日志。 程序。 23 ( 4 ) : 933-947 ( 2023 ) [公元20年] 尤利亚·利勒 :
非布尔形式化中优化的统一框架。 理论与实践。 日志。 程序。 23 ( 6 ) : 1248-1280 ( 2023 ) [公元49年] 豪尔赫·范丁诺 , 尤利亚·利勒 :
根据内涵陈述拆分答案集程序。 AAAI公司 2023 : 6338-6345 【i24】 丹尼尔·布雷斯纳汉 , 尼古拉斯·希彭 , 尤利亚·利勒 :
系统预测器:答案集语义下逻辑程序的基础大小估计器。 CoRR公司 abs/2303.17018 ( 2023 ) [第23条] 豪尔赫·范丁诺 , 扎卡里·汉森 , 尤利亚·利勒 , 弗拉基米尔·利夫希茨 , 内森寺 :
逻辑程序的外部行为和重构的验证。 CoRR公司 abs/2305.17485 ( 2023 ) [i22] 马丁·格布瑟 , 李佐雄 , 尤利亚·利勒 :
逻辑程序的基本集。 CoRR公司 abs/2307.09168 ( 2023 ) 2022 [公元19年] 尤利亚·利勒 :
逻辑程序之间本质等价性论证中的强等价性和程序结构。 理论与实践。 日志。 程序。 22 ( 三 ) : 335-366 ( 2022 ) [j18] 尤利亚·利勒 , 何塞·F·莫拉莱斯 :
第38届逻辑程序设计国际会议专题介绍。 理论与实践。 日志。 程序。 22 ( 4 ) : 499-504 ( 2022 ) [公元17年] 尤利亚·利勒 , 何塞·F·莫拉莱斯 :
第38届逻辑程序设计国际会议专题2导论。 理论与实践。 日志。 程序。 22 ( 5 ) : 640 ( 2022 ) [公元48年] 豪尔赫·范丁诺 , 扎卡里·汉森 , 尤利亚·利勒 :
答案集编程中聚合的公理化。 AAAI公司 2022 : 5634-5641 [c47] 豪尔赫·范丁诺 , 扎卡里·汉森 , 尤利亚·利勒 :
用聚合论证ASP程序的正确性。 低密度核磁共振 2022 : 190-202 [公元46年] 扎卡里·汉森 , 尤利亚·利勒 :
通过SM运算符的条件文字语义。 低密度核磁共振 2022 : 259-272 [公元45年] 刘刘 , 米雷克·特鲁兹琴斯基 , 尤利亚·利勒 :
一个基于编码选择的提高ASP求解性能的机器学习系统。 低密度核磁共振 2022 : 415-428 [电子5] 尤利亚·利勒 , 何塞·F·莫拉莱斯 , 卡米娜·多达罗 , 维罗尼卡·达尔 , 马丁·格布瑟 , K.Tuncay Tekle公司 :
第38届逻辑编程国际会议论文集,ICLP 2022技术通信/博士联合会,以色列海法,2022年7月31日至2022年8月6日。 EPTCS系统 364, 2022 [目录] [i21] 尤利亚·利勒 :
命题框架优化的抽象观点。 CoRR公司 abs/2206.06440 ( 2022 ) [i20] 尤利亚·利勒 :
非布尔形式化中优化的统一框架。 CoRR公司 abs/2206.07862 ( 2022 ) 2021 [公元16年] 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 , 斯特凡·沃尔特兰 :
前言。 理论与实践。 日志。 程序。 21 ( 三 ) : 293-295 ( 2021 ) [公元44年] 尼古拉斯·希彭 , 尤利亚·利勒 :
在答案集语义下估计逻辑程序的基础大小。 杰莉亚 2021 : 346-361 [公元43年] 尤利亚·利勒 :
SAT和ASP中优化的抽象视图。 杰莉亚 2021 : 377-392 [公元42年] 尤利亚·利勒 , 贾斯汀·罗宾斯 :
DualGrounder:通过Clingo多快照框架实现惰性实例化。 杰莉亚 2021 : 435-441 [i19] 尤利亚·利勒 :
约束答案集编程:集成和转换(或基于SMT)方法。 CoRR公司 abs/2107.08252 ( 2021 ) 2020 [公元15年] 佩德罗·卡巴拉尔 , 豪尔赫·范丁诺 , 尤利亚·利勒 :
模块化答案集编程作为一种形式化规范语言。 理论与实践。 日志。 程序。 20 ( 5 ) : 767-782 ( 2020 ) [i18] 佩德罗·卡巴拉尔 , 豪尔赫·范丁诺 , 尤利亚·利勒 :
作为形式规范语言的模块化答案集编程。 CoRR公司 abs/2008.2015 ( 2020 )
2010 – 2019
2019 [公元41年] 尤利亚·利勒 :
论证一阶逻辑程序之间本质等价性的强等价性和程序结构。 PADL(PADL) 2019 : 1-18 [公元40年] 尼古拉斯·希彭 , 尤利亚·利勒 :
非接地应答集程序中的自动程序重写。 PADL(PADL) 2019 : 19-36 [公元39年] 克雷格·奥尔松 , 尤利亚·利勒 :
信息提取工具文本2ALM:从叙述到行动语言系统描述。 ICLP技术通信 2019 : 87-100 [电子4] 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 , 斯特凡·沃尔特兰 :
逻辑编程和非单调推理——第15届国际会议,LPNMR 2019,费城,宾夕法尼亚州,美国,2019年6月3-7日,会议记录。 计算机科学课堂讲稿 11481, 施普林格 2019 ,十亿 978-3-030-20527-0 [目录] [i17] 马克·德内克 , 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 , Joost Vennekens公司 :
答案集编程的非正式语义:Tarskian视角。 CoRR公司 abs/1901.09125 ( 2019 ) [i16] 尤利亚·利勒 :
逻辑程序间本质等价性论证中的强等价性和程序结构。 CoRR公司 abs/1901.09127 ( 2019 ) 【i15】 大神 , 尤利亚·利勒 :
基于SMT的约束答案集求解器EZSMT+。 CoRR公司 abs/1905.03334 ( 2019 ) 2018 [公元38年] 大神 , 尤利亚·利勒 :
基于SMT的答案集求解器CMODELS(DIFF)(系统描述)。 ICLP(技术通信) 2018 : 11:1-11:15 [公元37年] 大神 , 尤利亚·利勒 :
非正确程序的基于SMT的约束答案集求解器EZSMT+。 韩国 2018 : 67-71 2017 [公元14年] 尤利亚·利勒 :
什么是命题可满足性的答案集编程。 制约国际期刊。 22 ( 三 ) : 307-337 ( 2017 ) [j13] 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 :
约束答案集求解器EZCSP以及为什么集成模式很重要。 理论与实践。 日志。 程序。 17 ( 4 ) : 462-515 ( 2017 ) [公元12年] 尤利亚·利勒 , 本杰明·苏斯曼 :
约束答案集规划与可满足性模理论的关系。 理论与实践。 日志。 程序。 17 ( 4 ) : 559-590 ( 2017 ) [公元36年] 阿米莉亚·哈里森 , 尤利亚·利勒 :
一阶模块化逻辑程序及其保守扩展(扩展抽象)。 国际JCAI 2017 : 4859-4863 [公元35年] 尤利亚·利勒 , 丹妮拉·伊普里赞 , 迈克尔·盖尔丰德 :
动作语言和问答。 IWCS(2) 2017 [电子3] 尤利亚·利勒 , 瓦利德·塔哈 :
声明性语言的实用方面——第19届国际研讨会,2017年PADL,法国巴黎,2017年1月16-17日,会议记录。 计算机科学课堂讲稿 10137, 施普林格 2017 ,十亿 978-3-319-51675-2 [目录] [第14条] 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 :
约束答案集求解器EZCSP和为什么集成模式很重要。 CoRR公司 abs/1702.04047 ( 2017 ) [i13] 尤利亚·利勒 , 本杰明·苏斯曼 :
约束答案集编程与可满足模理论的关系。 CoRR公司 abs/1702.07461 ( 2017 ) 2016 [公元11年] 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 :
关于抽象模推理系统和求解器。 Artif公司。 智力。 236 : 65-89 ( 2016 ) [公元10年] 尤利亚·利勒 , 马可·马拉特 , 弗朗西斯科·里卡 :
系统、工程环境和竞争。 人工智能杂志。 37 ( 三 ) : 45-52 ( 2016 ) [公元9年] 雷米·布罗奇宁 , 马可·马拉特 , 尤利亚·利勒 :
通过模板的析取答案集求解器。 理论实践。 日志。 程序。 16 ( 4 ) : 465-497 ( 2016 ) [j8] 阿米莉亚·哈里森 , 尤利亚·利勒 :
一阶模块化逻辑程序及其保守扩展。 理论实践。 日志。 程序。 16 ( 5-6 ) : 755-770 ( 2016 ) [公元34年] 本杰明·苏斯曼 , 尤利亚·利勒 :
基于SMT的约束答案集求解器EZSMT(系统描述)。 ICLP(技术通信) 2016 : 1:1-1:15 [公元33年] 猫兄弟 , 尤利亚·利勒 :
约束CNF:SAT和CSP语言在同一屋檐下。 ICLP(技术通信) 2016 : 12:1-12:15 [公元32年] 尤利亚·利勒 , 本杰明·苏斯曼 :
约束答案集编程与可满足性模理论。 国际JCAI 2016 : 1181-1187 [i12] 阿米莉亚·哈里森 , 尤利亚·利勒 :
一阶模块化逻辑程序及其Con:set servative Extensions。 CoRR公司 abs/1608.02681 ( 2016 ) 2015 [公元31年] 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 :
知识表示中模块性的抽象观点。 AAAI公司 2015 : 1532-1538 [c30] 丹尼尔·贝利 , 阿米莉亚·哈里森 , 尤利亚·利勒 , 弗拉基米尔·利夫希茨 , 朱利安·迈克尔 :
Winograd模式对相关性的挑战和推理。 AAAI春季研讨会 2015 [公元29年] 丹尼尔·贝利 , 尤利亚·利勒 , 本杰明·苏斯曼 :
介词短语连接问题重温:动词网如何提供帮助。 国际水化学委员会 2015 : 12-22 [公元28年] 马修·布登哈根 , 尤利亚·利勒 :
答案集编程中的性能调整。 低密度核磁共振 2015 : 186-198 [电子2] 玛丽娜·德沃斯 , 托马斯·艾特 , 尤利亚·利勒 , 弗朗西丝卡·托尼 :
2015年8月31日至9月4日,爱尔兰科克,第31届逻辑编程国际会议(ICLP 2015)技术交流会议记录。 CEUR研讨会记录 1433, CEUR-WS.org公司 2015 [目录] [i11] 雷米·布罗奇宁 , 尤利亚·利勒 , 马可·马拉特 :
通过模板的析取答案集求解器。 CoRR公司 abs/1510.01599 ( 2015 ) 2014 [j7] 尤利亚·利勒 :
相关约束答案集编程语言和算法。 Artif公司。 智力。 207 : 1-22 ( 2014 ) [公元27年] 雷米·布罗奇宁 , 尤利亚·利勒 , 马可·马拉特 :
抽象选言答案集求解器。 ECAI公司 2014 : 165-170 [公元26年] 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 :
抽象模块化推理系统和求解器。 PADL(PADL) 2014 : 49-64 2013 [j6] 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 :
约束答案集编程的集成模式:案例研究。 理论与实践。 日志。 程序。 13 ( 4-5在线供应 ) ( 2013 ) [公元25年] 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 :
模块化答案集求解。 AAAI(最新发展) 2013 [公元24年] 尤利亚·利勒 , 弗拉基米尔·利夫希茨 :
逻辑程序与文本推理中的一阶公式。 国际水化学委员会 2013 : 340-346 【c23】 尤利亚·利勒 , 彼得·施勒 :
通过声明式编程实现句法分析与语义消歧的紧密结合。 国际水化学委员会 2013 : 383-389 [公元22年] 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 , 彼得·舒勒 :
Prolog和ASP在同一屋檐下的推理。 低密度核磁共振 2013 : 148-160 [i10] 迈克尔-芬克 , 尤利亚·利勒 :
答案集编程和其他计算范式会议录(ASPOCP 2012),第五届国际研讨会,2012年9月4日,匈牙利布达佩斯。 CoRR公司 abs/1301.2215 ( 2013 ) [第九章] 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 :
混合自动推理工具:从黑盒到清盒集成。 CoRR公司 abs/1312.6105 ( 2013 ) [i8] 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 :
抽象模块化系统和求解器。 CoRR公司 腹肌/1312.6151 ( 2013 ) [i7] 迈克尔-芬克 , 尤利亚·利勒 :
答案集编程和其他计算范式会议录(ASPOCP 2013),第六届国际研讨会,2013年8月25日,土耳其伊斯坦布尔。 CoRR公司 abs/1312.7422 ( 2013 ) 2012 [j5] 保罗·法拉利 , 李佐雄 , 尤利亚·利勒 , 弗拉基米尔·利夫希茨 , 杨芳凯 :
用逻辑程序表示一阶因果理论。 理论与实践。 日志。 程序。 12 ( 三 ) : 383-412 ( 2012 ) 【c21】 尤利亚·利勒 :
约束答案集编程语言与算法的关系。 AAAI公司 2012 : 521-527 [公元20年] 内拉坎坦·卡塔 , 伊斯娃·爱德姆 , 李俊英 , 保罗·费拉里斯 , 万万人 , 尤利亚·利勒 , 杨芳凯 , 阿尔伯特·隆丹 :
弗拉基米尔·利夫希茨(Vladimir Lifschitz)——65岁的年轻人。 正确的推理 2012 : 14-23 [第19条] 尤利亚·利勒 , 彼得·施勒 :
通过答案集编程中的规划分析组合范畴语法。 正确的推理 2012 : 436-453 [第18条] 布莱恩·西尔弗索恩 , 尤利亚·利勒 , 马吕斯·施耐德 :
生存求解灵敏度:ASP从业者指南。 ICLP(技术通信) 2012 : 164-175 [第17条] 马克·德内克 , 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 , Joost Vennekens公司 :
答案集编程的Tarskian非正式语义。 ICLP(技术通信) 2012 : 277-289 [第16条] 尤利亚·利勒 , 沙登·史密斯 , 米罗斯瓦·特鲁兹琴斯基 , 亚历克斯·韦斯特隆德 :
加权顺序问题:ASP与CASP、声明性与问题导向解决。 PADL(PADL) 2012 : 63-77 [第15条] 马塞洛·巴尔杜奇尼 , 尤利亚·利勒 :
切边ASP工具使用的实践和方法。 PADL(PADL) 2012 : 78-92 [电子1] 伊斯娃·爱德姆 , 李佐雄 , 尤利亚·利勒 , 大卫·皮埃尔斯 :
正确的推理——为纪念弗拉基米尔·利夫施奇茨撰写的基于逻辑的人工智能论文。 计算机科学课堂讲稿 7265, 施普林格 2012 ,十亿 978-3-642-30742-3 [目录] 2011 【j4】 尤利亚·利勒 :
具有回跳和学习功能的抽象答案集求解器。 理论与实践。 日志。 程序。 11 ( 2-3 ) : 135-169 ( 2011 ) [j3] 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 :
模型生成器的转换系统.统一方法。 理论与实践。 日志。 程序。 11 ( 4-5 ) : 629-646 ( 2011 ) [注2] 马丁·格布瑟 , 李佐雄 , 尤利亚·利勒 :
关于逻辑程序的基本循环。 理论与实践。 日志。 程序。 11 ( 6 ) : 953-988 ( 2011 ) [c14] 尤利亚·利勒 , 弗拉基米尔·利夫希茨 :
接地端接不受强等效变换的保护。 低密度核磁共振 2011 : 205-210 [i6] 保罗·费拉里斯 , 李佐雄 , 尤利亚·利勒 , 弗拉基米尔·利夫希茨 , 杨芳凯 :
用逻辑程序表示一阶因果理论。 CoRR公司 abs/1103.4558 ( 2011 ) [i5] 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 :
模型生成器的转换系统-统一方法。 CoRR公司 abs/1105.0650 ( 2011 ) [i4] 尤利亚·利勒 , 彼得·施勒 :
用答案集编程解析组合范畴语法:初步报告。 CoRR公司 abs/1108.5567 ( 2011 ) 2010 [i3] 尤利亚·利勒 :
抽象答案集解决方案与学习。 CoRR公司 腹肌/1001.0820 ( 2010 ) [i2] 马丁·格布瑟 , 李佐雄 , 尤利亚·利勒 :
关于逻辑程序的基本循环。 CoRR公司 abs/1012.5847 ( 2010 )
2000 – 2009
2009 [第13条] 尤利亚·利勒 , 弗拉基米尔·利夫希茨 :
有限地面项目的另一个可决定类别。 ICLP公司 2009 : 489-493 2008 [第12条] 尤利亚·利勒 :
抽象答案集求解器。 ICLP公司 2008 : 377-391 [r1] 马塞洛·巴尔杜奇尼 , 奇塔·巴拉尔 , 尤利亚·利勒 :
知识表示和问答。 知识表示手册 2008 : 779-819 2007 [第11条] 马丁·格布瑟 , 李佐雄 , 尤利亚·利勒 :
头元素-集自由逻辑程序。 低密度核磁共振 2007 : 149-161 2006 [j1] 恩里科·金奇利亚 , 尤利亚·利勒 , 马可·马拉特 :
基于命题可满足性的答案集编程。 J.自动化。 原因。 36 ( 4 ) : 345-377 ( 2006 ) [第10条] 马丁·格布瑟 , 李佐雄 , 尤利亚·利勒 :
逻辑程序的基本集。 AAAI公司 2006 : 244-249 2005 【c9】 尤利亚·利勒 :
基于可满足性的析取答案集编程。 答案集编程 2005 【c8】 尤利亚·利勒 :
cmodels-基于SAT的析取答案集求解器。 lp核磁共振 2005 : 447-451 【c7】 尤利亚·利勒 :
紧析取逻辑程序的C模型。 W(C)低压 2005 : 163-166 2004 【c6】 恩里科·金奇利亚 , 尤利亚·利勒 , 马可·马拉特 :
基于SAT的答案集编程。 AAAI公司 2004 : 61-66 【c5】 伯恩哈德·内贝尔 , 尤利亚·巴波维奇-利勒 :
行为网络何时得到良好维护? ECAI公司 2004 : 672-676 【c4】 亚历山德罗·阿曼多 , 卢卡·孔帕尼亚 , 尤利亚·利勒 :
将协议不安全问题自动编译为逻辑编程。 杰莉亚 2004 : 617-627 【c3】 尤利亚·利勒 , 马可·马拉特 :
Cmodels-2:基于SAT的答案集求解器增强到非右程序。 低密度核磁共振 2004 : 346-350 【c2】 恩里科·金奇利亚 , 尤利亚·利勒 , 马可·马拉特 :
用于答案集编程的基于SAT的多项式空间算法。 核磁共振 2004 : 189-196 2003 【c1】 尤利亚·利勒 , 马可·马拉特 :
通过SAT证书的编号计算逻辑程序的答案集。 答案集编程 2003 2000 [i1] 尤利亚·巴波维奇 , 伊斯娃·爱德姆 , 弗拉基米尔·利夫希茨 :
Fages定理与答案集编程。 CoRR公司 反恐精英。 AI/0003042号文件 ( 2000 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)