- 具有非逻辑公理的无量子化序贯演算导数的正规形式，多项式计算机代数, 2023
- 模糊非Horn知识库：微积分，模型，推理，Zapiski Nauchnykh Seminarov项目经理, 2022
- 包含神经和可评估谓词的非人类知识库的演算和模型，第二届新一代人工智能国际研讨会逻辑, 2022
- 模糊谓词非天生知识库的符号推理，多项式计算机代数, 2022
- 可评估知识库的逻辑表征，第十四届代理与人工智能国际会议, 2022
- 知识库逻辑，逻辑与人工智能研讨会, 2022
- 可评估知识库的推理方法，软件工程在信息学中的应用,网络与系统讲座笔记，施普林格，2021年
- 从带有部分谓词的非天生子句推断（短文），第22届意大利理论计算机科学会议, 2021
- 基于谓词时态化的启发式后向链接，智能系统中的人工智能, 网络与系统讲座笔记，施普林格，2021年
- 基于学习谓词表示的最佳优先后向链搜索策略，第十三届代理与人工智能国际会议, 2021
- 结构化谓词定义的层次分解，第十一届希腊人工智能会议, 2020
- 注释正则表达式和输入驱动语言，信息处理信件爱思唯尔，159-160（2020）
- 知识表示和学习的层次规则，IEEE第二届人工智能和知识工程国际会议, 2019
- 输入驱动正则表达式（愿景纸），第十一届ACM SIGPLAN国际软件语言工程会议, 2018
- 用于解析和语言近似的单计数器自动机，自动化实施和应用国际会议, 计算机科学讲稿，Springer，10977（2018）
- 与Timothy Sakharov合著：随机无上下文语言子集的Viterbi算法，信息处理信件爱思唯尔，135（2018）
- Timothy Sakharov：使用层语法进行数据解析，第七届知识发现、知识工程和知识管理国际联席会议, 2015
- 直觉谓词逻辑与可判定命题公式，数理逻辑报告, 42(2007)
- 经典性作为谓词符号的属性，第六届泛希腊逻辑研讨会, 2007 pdf格式
- 组件规范的混合状态机表示法，
SIGPLAN通知, 35(2000), #4 pdf格式 更多>
- 通过关系表达式分析实现命令式程序的专业化，部分评估,讲座计算机科学笔记，1110（1996） pdf格式
- 常数和断言的传播，SIGPLAN（SIGPLAN）通知, 29(1994), #5
- 多重评价下的启发式搜索，计算机与人工情报（现在计算与信息学), 11(1992), #6
- 高级语言中的宏处理，SIGPLAN（SIGPLAN）通知, 27(1992), #11
- 符号处理，第四维度, 13(1991), #1
- 知识系统第四名，《新一代计算机系统杂志》,3(1990), #1
- 用多重启发式评价表示控制知识，机器人人工智能与信息控制系统，北荷兰，1989
- 基于生产的程序综合，计算机与人工智能（现在计算与信息学),7(1988), #6
- 程序结构综合的一种方法，
编程和计算机软件
，13（1987），#1（俄语翻译）
- 程序的结构综合：新方法，欧洲计算机代数会议,计算机科学课堂讲稿, 204(1985)
- D/M：一种用于模块化构造的交互式函数语言汉堡大学项目，Fachbereich Informatik，FBI-HH-B-1121985
更多出版物>>>
|
