亚历山大·斯汀
人员信息
其他同名人员
亚历山大·斯滕贝根 艾克·A·斯滕托夫特 (又名:艾克·亚历山大·斯坦托夫)
SPARQL查询
优化列表
2020年–今天
2024 [j5] 克里斯托夫·本兹穆勒 , David Fuen市长 , 亚历山大·斯汀 , 杰夫·萨特克利夫 :
谁找到了短证据? 日志。 J.IGPL公司 32 ( 三 ) : 442-464 ( 2024 ) [公元29年] 亚历山大·斯汀 , 杰夫·萨特克利夫 :
TPTP非经典逻辑世界基础设施。 PAAR+SC²@IJCAR 2024 : 74-90 [电子7] 克里斯托弗·布朗 , 丹妮拉·考夫曼 , 科劳迪亚·纳隆 , 亚历山大·斯汀 , 马丁·苏达 :
2024年,第九届自动推理实践方面研讨会(PAAR)和第九届可满足性检查和符号计算研讨会(SC-Square)的联合会议记录,与第十二届自动推理国际联合会议(IJCAR 2024)合办,法国南希,2024年7月2日。 CEUR研讨会论文集 3717, CEUR-WS.org公司 2024 [目录] [i13] 杰夫·萨特克利夫 , 亚历山大·斯汀 , 帕斯卡·方丹 :
新TPTP解释格式。 CoRR公司 abs/2406.06108 ( 2024 ) 2023 [公元28年] 亚历山大·斯汀 , 杰夫·萨特克利夫 , 托比亚斯·斯科尔 , 克里斯托夫·本兹穆勒 :
通过转换为高阶逻辑来解决模态逻辑问题。 CLAR公司 2023 : 25-43 [公元27年] 梅兰妮·塔普罗格 , 亚历山大·斯汀 :
具有交互的量化多模态逻辑的柔性自动化。 KI公司 2023 : 215-230 [公元26年] 亚历山大·斯汀 , 杰夫·萨特克利夫 , 帕斯卡·方丹 , 麦克基欧恩 :
类型化一阶逻辑的Tarskian解释的表示、验证和可视化。 LPAR公司 2023 : 369-385 [电子6] 迪特马尔·塞佩尔 , 亚历山大·斯汀 :
KI 2023:人工智能进展——第46届德国人工智能会议,德国柏林,2023年9月26-29日,会议记录。 计算机科学讲义 14236, 施普林格 2023 ,国际标准图书编号 978-3-031-42607-0 [目录] [i12] 安托万·马蒂娜 , 亚历山大·斯汀 :
抽象辩证框架编码为高阶逻辑。 CoRR公司 abs/2312.08375 ( 2023 ) 2022 【j4】 克里斯托夫·本兹穆勒 , David Fuen市长 , 亚历山大·斯汀 , 杰夫·萨特克利夫 :
Isabelle/HOL中Boolos好奇推理的自动化。 架构(architecture)。 正式证明 2022 ( 2022 ) [c25] 亚历山大·斯汀 :
轻量级非经典推理的可扩展逻辑嵌入工具(短文)。 IJCAR的PAAR 2022 [公元24年] 亚历山大·斯汀 , David Fuen市长 , 托比亚斯·格莱纳 , 杰夫·萨特克利夫 , 克里斯托夫·本兹穆勒 :
TPTP世界中非经典逻辑的自动推理。 IJCAR的PAAR 2022 【c23】 亚历山大·斯汀 , David Fuen市长 :
在LegalRuleML和TPTP之间架起桥梁,实现自动规范推理。 规则ML+RR 2022 : 244-260 [电子5] 波利斯·寇涅夫 , 克劳迪娅·肖恩 , 亚历山大·斯汀 :
与第十一届国际自动推理联合会议(FLoC/IJCAR 2022)合办的自动推理实践方面研讨会会议记录,以色列海法,2022年8月11日至12日。 CEUR研讨会论文集 3201, CEUR-WS.org公司 2022 [目录] [电子4] 德瑟·阿恩特 , 艾哈迈特·索鲁 , 简·范蒂宁 , 叶夫根尼·哈拉莫夫 , 亚历山大·斯汀 :
第16届国际规则挑战赛和第6届博士联盟@RuleML+RR 2022的会议记录,与第18届推理网络暑期学校(RW 2022)和2022年第14届决策CAMP共同设立,作为声明性AI 2022项目的一部分,德国柏林(因新冠肺炎疫情而虚拟化),2022年9月26日至28日。 CEUR研讨会论文集 3229, CEUR-WS.org公司 2022 [目录] [i11] 亚历山大·斯汀 , David Fuen市长 , 托比亚斯·格莱纳 , 杰夫·萨特克利夫 , 克里斯托夫·本兹穆勒 :
TPTP世界中非经典逻辑的自动推理。 CoRR公司 abs/2202.09836 ( 2022 ) [i10] 亚历山大·斯汀 :
一种用于轻量级非经典推理的可扩展逻辑嵌入工具。 CoRR公司 abs/2203.12352 ( 2022 ) [第九章] 克里斯托夫·本兹穆勒 , David Fuen市长 , 亚历山大·斯汀 , 杰夫·萨特克利夫 :
谁找到了简短的证明? 使用高阶自动定理证明程序探索Boolos奇异推理的变体。 CoRR公司 腹肌/2208.06879 ( 2022 ) [i8] 亚历山大·斯汀 , David Fuen市长 :
LegalRuleML和TPTP之间的桥梁,用于自动规范推理(扩展版)。 CoRR公司 abs/2209.05090 ( 2022 ) [i7] 亚历山大·斯汀 , 杰夫·萨特克利夫 , 托比亚斯·格莱纳 , 克里斯托夫·本兹穆勒 :
通过转换为高阶逻辑来解决QMLTP问题。 CoRR公司 abs/2212.09570 ( 2022 ) 2021 [j3] 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
Leo-III中的扩展高阶互调。 J.汽车。 原因。 65 ( 6 ) : 775-807 ( 2021 ) [公元22年] 亚历山大·斯汀 :
输入/输出逻辑的目标导向决策程序。 DEON公司 2021 : 414-426 [i6] 亚历山大·斯汀 , David Fuen市长 :
高阶逻辑中抽象论证的形式化。 CoRR公司 abs/2110.09174 ( 2021 ) 2020 [注2] 亚历山大·斯汀 :
高阶逻辑的扩展并行调制及其有效实现Leo-III。 昆士利希情报。 34 ( 1 ) : 105-108 ( 2020 ) 【c21】 托默·利巴尔 , 亚历山大·斯汀 :
法律文本形式化的可执行方法论。 CLAR公司 2020 : 151-165 [公元20年] 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
高阶探测仪Leo-III。 ECAI公司 2020 : 2937-2938 [i5] 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
关于高阶逻辑的Hintikka集约简。 CoRR公司 abs/2004.07506 ( 2020 )
2010 – 2019
2019 [j1] 亚历山大·斯汀 :
高阶定理证明及其应用。 it信息技术。 61 ( 4 ) : 187-191 ( 2019 ) [第19条] 托默·利巴尔 , 亚历山大·斯汀 :
NAI:规范推理。 ICAIL公司 2019 : 262-263 [第18条] 托默·利巴尔 , 亚历山大·斯汀 :
NAI套件-法律文本的起草和推理。 朱利克斯 2019 : 243-246 [第17条] 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
高阶验证程序Leo-III(扩展摘要)。 KI公司 2019 : 333-337 [电子3] 克里斯托夫·本兹穆勒 , Xavier父母 , 亚历山大·斯汀 :
2018年LuxLogAI精选学生贡献和研讨会论文。 Kalpa计算机出版物 10, Easy椅子 2019 [目录] [电子2] 艾哈迈特·索鲁 , 莫斯科苏提里斯 , 圭多总督府 , 曼塔斯·西姆库斯 , Petros S.Stefaneas公司 , 亚历山大·斯汀 , 阿德里安·朱尔卡 :
2019年9月16日至19日,第13届RuleML+RR 2019博士联合会和规则挑战赛论文集-意大利博尔扎诺与第三届规则与推理国际联席会议(RuleML+RR 2019)共同举办第五届全球人工智能大会(GCAI 2019)第十五届推理网络暑期学校(RW 2019)DecisionCAMP 2019(DecisionCAMP 2019) 2019年9月16日至24日,意大利博尔扎诺。 CEUR研讨会论文集 2438, CEUR-WS.org公司 2019 [目录] [i4] 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
Leo-III中的扩展高阶互调。 CoRR公司 abs/1907.11501 ( 2019 ) [i3] 托默·利巴尔 , 亚历山大·斯汀 :
NAI套件-法律文本的起草和推理。 CoRR公司 abs/1910.07004 ( 2019 ) 2018 【b1】 亚历山大·斯汀 :
高阶逻辑的扩展副调制及其有效实现Leo-III。 柏林自由大学,德国达勒姆, DISKI公司 345, IOS出版社 2018 ,国际标准图书编号 978-1-61499-919-5 ,第1-231页 [第16条] 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
系统演示:高阶探测仪Leo-III。 ARQNL@IJCAR 2018 : 79-85 [第15条] 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
高阶探测仪Leo-III。 国际JCAR 2018 : 108-116 [第14条] 托比亚斯·格莱纳 , 亚历山大·斯汀 :
MET:用模式进行灵活推理的艺术。 规则ML+RR 2018 : 274-284 [电子1] 丹尼尔·D·李 , 亚历山大·斯汀 , 托比·沃尔什 :
GCAI-2018,第四届全球人工智能会议,卢森堡,2018年9月18-21日。 计算中的EPiC系列 55, Easy椅子 2018 [目录] [i2] 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
高阶探测仪Leo-III。 CoRR公司 abs/1802.02732 ( 2018 ) 2017 [第13条] 克里斯托夫·本兹穆勒 , 亚历山大·斯汀 , 马克斯·维斯涅夫斯基 :
Leo-III 1.1版(系统描述)。 LPAR(简短演示) 2017 : 11-26 [第12条] 托比亚斯·格莱纳 , 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
每个正规模态逻辑的定理证明器。 LPAR公司 2017 : 14-30 [第11条] 亚历山大·斯汀 , 马克斯·维斯涅夫斯基 , 克里斯托夫·本兹穆勒 :
走向多形——Leo-III的TH1推理。 在LPAR时 2017 : 100-112 [第10条] 亚历山大·斯汀 , 马克斯·维斯涅夫斯基 , 汉斯·约格·舒尔 , 克里斯托夫·本兹穆勒 :
自动推理系统的功能发现。 在LPAR时 2017 : 113-118 2016 【c9】 马克斯·维斯涅夫斯基 , 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
TPTP及其以外:量化非经典逻辑的表示。 ARQNL@IJCAR 2016 : 51-65 【c8】 托默·利巴尔 , 亚历山大·斯汀 :
面向高阶分辨率定理证明的基于替换树的索引。 IJCAR的PAAR 2016 : 82-94 【c7】 马克斯·维斯涅夫斯基 , 亚历山大·斯汀 , 金·克恩 , 克里斯托夫·本兹穆勒 :
HOL的有效归一化技术。 国际JCAR 2016 : 362-370 【c6】 亚历山大·斯汀 , 马克斯·维斯涅夫斯基 , 克里斯托夫·本兹穆勒 :
与Isabelle/HOL合作的表达非经典逻辑推理教程。 GCAI公司 2016 : 1-10 【c5】 亚历山大·斯汀 , 马克斯·维斯涅夫斯基 , 克里斯托夫·本兹穆勒 :
基于代理的HOL推理。 信息和通信管理系统 2016 : 75-81 [c4] 亚历山大·斯汀 , 马克斯·维斯涅夫斯基 , 克里斯托夫·本兹穆勒 :
Lehre街的Einsatz von Theorembeweisern。 高密度指数 2016 : 81-92 2015 【c3】 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
对于高阶推理机,没有最佳的标准化策略。 LPAR公司 2015 : 329-339 【c2】 马克斯·维斯涅夫斯基 , 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
LeoPARD-实现高阶推理器的通用平台。 CICM公司 2015 : 325-330 [i1] 马克斯·维斯涅夫斯基 , 亚历山大·斯汀 , 克里斯托夫·本兹穆勒 :
LeoPARD-实现高阶推理器的通用平台。 CoRR公司 abs/1505.01629 ( 2015 ) 2014 【c1】 马克斯·维斯涅夫斯基 , 亚历山大·斯汀 :
量化高阶标称模态逻辑嵌入经典高阶逻辑。 ARQNL@IJCAR 2014 : 59-64