朱莉·凯勒
人员信息
SPARQL查询
优化列表
2020年–今天
2024 【c3】 约翰·罗辛 , 理查德·博尼肯 , 朱莉·凯勒 , 奥利维尔·赫曼特 :
一种通用去kolemization策略。 LPAR公司 2024 : 246-263 【c2】 朱莉·凯勒 , 西蒙·吉洛伊德 :
SC-TPTP:序贯微积分TPTP推导格式的扩展。 PAAR+SC²@IJCAR 2024 : 37-56 2023 【b1】 朱莉·凯勒 :
设计一种基于并行表的一阶逻辑自动定理证明器。 (《总理令逻辑舞台的设计方法》的概念)。 法国蒙彼利埃大学, 2023 2022 【c1】 朱莉·凯勒 , 约翰·罗辛 , 大卫·德拉哈耶 , 西蒙·罗比拉德 , Hinde-Lilia Bouziane公司 :
戈兰:一个基于并行表的定理证明器(系统描述)。 国际JCAR 2022 : 359-368