编辑配置文件（在新选项卡中打开） 托马斯·艾特 合著者距离 作者ID： eiter.托马斯 发布日期： 托马斯·艾特;T·艾特。 主页： http://www.kr.tuwien.ac.at/staff/eiter/index.html 外部链接： MGP公司·ORCID公司·谷歌学者·ResearchGate研究之门·数据库管理程序·接地 已编制索引的文档： 202出版物自1992年以来，包括4个附加arXiv预打印 18名编辑的贡献 合著者： 127位合著者具有203联合出版物 2439位合作作者 全部的 前5名合著者 8 单作者的 47 迈克尔·芬克 36 乔治·戈特洛布 22 尼古拉·利昂 20 托马斯·克伦瓦尔纳 16 沃尔夫冈·费伯 16 Kazuhisa Makino 13 Polleres，阿克塞尔 13 汉斯·托姆皮茨 11 明州道特兰 11 茨城县，Toshihide 11 杰拉尔德·菲弗 10 托马斯·卢卡西维奇 10 彼得·舒勒 9 乔瓦姆巴蒂斯塔·伊安尼 8 克里斯托夫·雷德尔 7 西蒙库斯，曼塔斯 7 斯特凡·沃尔特兰 6 格哈德·布鲁卡 6 埃斯拉·埃尔登 6 托比亚斯·卡明斯基 6 马格达莱娜·奥尔蒂斯 6 朱利安娜·萨巴蒂尼 5 哈拉尔德·贝克 5 泽尼普·戈岑·萨里巴特 5 苏布拉曼尼亚，V.S。 4 洛丽斯·波萨托 4 罗马辛德劳 4 詹森科 4 Daria A.Stepanova。 4 特鲁什琴斯基，米洛斯奥 4 安东尼乌斯·温齐尔 三 迭戈·卡尔瓦内斯 三 尤里·古里维奇 三 拉斐尔·基塞尔 三 多梅尼科·萨卡 三 康斯坦丁·舍科提欣 三 卢西亚诺·塞拉菲尼 三 沈一东 三 王克文 2 乔瓦尼·阿蒙多拉 2 塞夫·埃尔·丁·拜拉克达尔 2 弗朗西斯科·布卡弗里 2 马可·卡多利 2 尤尔根·迪克斯 2 克里斯蒂娜·费尔 2 恩里科·弗朗科尼 2 乔瓦尼·保罗·加尔迪 2 凯萨琳娜·霍普夫 2 迈克尔·基弗 2 罗伯特·拉萨齐克 2 多梅尼科·伦博 2 利博金，Leonid O。 2 林方珍 2 海基·曼尼拉 2 保罗·奥格里斯 2 西蒙娜·佩里 2 克劳斯·迪特·施韦 2 托马斯·施文蒂克 2 汉内斯·斯特拉斯 2 弗朗西丝卡·托尼 2 赫尔穆特·维思 2 迈克尔·沃尔特 2 张应倩 1 安蒂奇，克里斯蒂安 1 格里戈里斯·安东尼乌 1 Franz巴德 1 Chitta R.巴拉尔。 1 布鲁诺·比尔巴默 1 马库斯·比亚雷兰德 1 马库斯·伯格尔 1 波纳蒂，皮耶罗·安德里亚 1 弗朗索瓦·布里 1 弗朗西斯科·卡利默里 1 维罗妮卡·达尔 1 乔斯·德·布鲁因 1 吕克·德·雷德 1 玛丽娜·德沃斯 1 黛尔·阿尔米，蒂娜 1 邓军 1 卡明·多达罗 1 克里斯蒂安·德雷舍尔 1 诺伯特·艾辛格 1 哈尔特·埃尔多安 1 弗利，克里斯蒂安 1 蒂姆·弗切 1 吉安路易吉·格雷科 1 克劳迪奥·古铁雷斯 1 齐格弗里德·汉德施 1 赫尔曼·赫尔瓦格纳 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 斯迪恩·海曼斯 1 尼尔森·希格拉 1 伊恩·霍洛克斯 1 朱塞佩·埃尔帕 1 井上，胜美 1 Kilpeläinen，佩卡 1 沃尔克·克劳茨 1 科赫（Christoph T.Koch）。 1 罗伯特·A·科瓦尔斯基。 1 克莱门斯·莱伊 ……还有41位合著者 全部的 前5名系列 29 人工智能 20 逻辑程序设计理论与实践 9 ACM计算逻辑事务 9 计算机科学课堂讲稿 8 理论计算机科学 7 数学与人工智能年鉴 6 人工智能研究杂志 4 计算机与系统科学杂志 4 计算机基础理论 三 离散应用数学 三 SIAM计算机杂志 2 信息学报 2 信息与计算 2 美国医学会杂志 2 应用逻辑杂志 1 理性力学和分析档案 1 信息处理信件 1 ACM数据库系统事务 1 计算机协会杂志 1 符号逻辑杂志 1 美国数学学会会刊 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 纯逻辑与应用逻辑年鉴 1 逻辑程序设计杂志 1 符号计算杂志 1 自动推理杂志 1 逻辑与计算杂志 1 国际计算机数学杂志 1 SIAM数学分析杂志 1 应用非经典逻辑杂志 1 欧洲理论计算机科学协会公报 1 数学流体力学杂志 1 非线性分析。真实世界应用程序 1 非线性分析进展 1 EPiC计算系列 1 CEUR研讨会记录 全部的 前5名领域 207 计算机科学（68至XX） 30 数学逻辑和基础（03-XX） 18 总体主题；集合（00-XX） 9 偏微分方程（35-XX） 9 流体力学（76-XX） 5 组合数学（05-XX） 5 有序，格，有序代数结构（06-XX） 2 历史和传记（01-XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 算子理论（47-XX） 1 几何图形（51至XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 167出版物有1805年被引用次1038文件 引用人▼ 年份▼ 用于知识表示和推理的DLV系统。 Zbl 1367.68308号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;托马斯·艾特;乔治·戈特洛布;西蒙娜·佩里;弗朗西斯科·斯卡切罗 165 2006 识别超图的最小横截和相关问题。 Zbl 0842.05070号 托马斯·艾特;乔治·戈特洛布 114 1995 选言逻辑程序设计的计算成本：命题案例。 Zbl 0858.68016号 托马斯·艾特;乔治·戈特洛布 99 1995 将答案集编程与语义web的描述逻辑相结合。 Zbl 1183.68595号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;辛德勒，罗马;汉斯·托姆皮茨 76 2008 命题知识库修订、更新和反事实的复杂性。 Zbl 0763.68038号 托马斯·艾特;乔治·戈特洛布 72 1992 基于逻辑的诱拐的复杂性。 Zbl 0886.68121号 托马斯·艾特;乔治·戈特洛布 64 1995 单调二元化的计算方面：一个简短的调查。 Zbl 1160.68016号 托马斯·艾特;Kazuhisa Makino;乔治·戈特洛布 49 2008 利用人工智能技术加强验证中的模型检查。 Zbl 0996.68104号 弗朗西斯科·布卡弗里;托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 44 1999 关于单调对偶和生成超图断面的新结果。 Zbl 1052.68101号 托马斯·艾特;乔治·戈特洛布;Kazuhisa Makino 44 2003 命题定界和扩展闭世界推理是\（\Pi_2^P\）-完备的。 Zbl 0786.68085号 托马斯·艾特;乔治·戈特洛布 40 1993 扩展逻辑程序的首选答案集。 Zbl 0916.68091号 格哈德·布鲁卡;托马斯·艾特 35 1999 超图横向计算及其在逻辑和人工智能中的相关问题。 Zbl 1013.68143号 托马斯·艾特;乔治·戈特洛布 31 2002 稳定模型语义下逻辑程序的一致等价。 Zbl 1204.68052号 托马斯·艾特;迈克尔·芬克 29 2003 答案集编程中等价的语义特征和复杂性。 Zbl 1367.68031号 托马斯·艾特;迈克尔·芬克;斯特凡·沃尔特兰 29 2007 点集的距离度量及其计算。 Zbl 0865.51011号 托马斯·艾特;曼尼拉，海基 27 1997 答案集编程：初级。 Zbl 1254.68248号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳 26 2009 在一致和强等价下简化逻辑程序。 Zbl 1122.68369号 托马斯·艾特;迈克尔·芬克;汉斯·托姆皮茨;斯特凡·沃尔特兰 26 2004 逻辑程序推导：语义和复杂性。 Zbl 0893.68022号 托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 24 1997 答案集编程中的语义遗忘。 Zbl 1184.68159号 托马斯·艾特;王克文 20 2008 LARS：基于逻辑的流分析推理框架。 Zbl 1448.68395号 哈拉尔德·贝克;明州道特兰;托马斯·艾特 19 2018 析取演绎数据库的部分语义。 Zbl 0880.68029号 托马斯·艾特;尼古拉·利昂;多梅尼科·萨卡 18 1997 具有有界谓词算术和含义的答案集编程的复杂性结果。 Zbl 1138.68017号 托马斯·艾特;沃尔夫冈·费伯;迈克尔·芬克;斯特凡·沃尔特兰 18 2007 知识状态规划的逻辑编程方法。二： DLV（^\mathcal K）系统。 兹比尔1079.68619 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres，阿克塞尔 18 2003 一种用于知识状态规划、语义和复杂性的逻辑编程方法。 Zbl 1367.68301号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres，阿克塞尔 18 2004 使用DLV系统解决声明性问题。 Zbl 0979.68091号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 18 2000 通过tableaux表示描述逻辑中查询应答的数据复杂性。 Zbl 1154.68102号 马格达莱娜·奥尔蒂斯;迭戈·卡尔瓦内斯;托马斯·艾特 17 2008 精确横截超图及其在布尔函数中的应用。 Zbl 0809.94032号 托马斯·艾特 16 1994 基于因果拒绝的更新序列的性质。 Zbl 1105.68326号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 16 2002 寻找多上下文系统中不一致性的解释。 Zbl 1309.68177号 托马斯·艾特;迈克尔·芬克;彼得·舒勒;安东尼乌斯·温齐尔 16 2014 基于条件知识库的默认推理：复杂性和可处理案例。 Zbl 0952.68139号 T·艾特。;卢卡西维茨，T。 15 2000 亚相干答案集程序的半平衡模型。 Zbl 1351.68259号 乔瓦尼·阿蒙多拉;托马斯·艾特;迈克尔·芬克;尼古拉·利昂;乔昂·莫拉 15 2016 在答案集编程中评估认知否定。 兹比尔1358.68278 沈义东;托马斯·艾特 14 2016 确定默认逻辑的优先级。 Zbl 0997.03032号 格哈德·布鲁卡;托马斯·艾特 13 2000 缺省理论的语义和复杂性。 Zbl 1017.03515号 托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 12 1997 关于单调对偶和生成超图断面的新结果。 Zbl 1192.68356号 托马斯·艾特;乔治·戈特洛布;Kazuhisa Makino 12 2002 与外部源冲突驱动的ASP解决方案。 Zbl 1260.68060号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 12 2012 重温模块化非单调逻辑编程。 Zbl 1251.68056号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 12 2009 基于结构的因果关系的复杂性结果。 Zbl 1043.68100号 托马斯·艾特;托马斯·卢卡西维奇 11 2002 基于无根据集合的高效HEX程序评估。 Zbl 1361.68031号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 11 2014 对于一般逻辑程序，FLP应答集语义没有循环证明。 Zbl 1391.68016号 沈义东;王克文;托马斯·艾特;迈克尔·芬克;克里斯托夫·雷德尔;托马斯·克伦瓦尔纳;邓军 11 2014 非单调描述逻辑程序：实现和实验。 Zbl 1108.68359号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;罗马辛德劳;汉斯·托姆皮茨 10 2005 一种用于具有外部计算的答案集编程的模型构建框架。 Zbl 1379.68058号 托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 10 2016 查询数据集成系统的逻辑程序的有效评估。 Zbl 1204.68080号 托马斯·艾特;迈克尔·芬克;吉安路易吉·格雷科;多梅尼科·伦博 9 2003 利用外部资源开发答案集编程用于元解释学习。 Zbl 1451.68064号 托比亚斯·卡明斯基;托马斯·艾特;井上，胜美 9 2018 回答行动成本下的集合计划。 Zbl 1026.68124号 T·艾特。;W.费伯。;北卡罗来纳州塞拉利昂。;普费弗，G。;Polleres，A。 9 2003 非单调多上下文系统：集成异构知识源的灵活方法。 Zbl 1326.68273号 格哈德·布鲁卡;托马斯·艾特;迈克尔·芬克 9 2011 异构活动代理，I：语义。 Zbl 0914.68123号 托马斯·艾特;苏布拉曼尼亚，V.S。;选择，乔治 9 1999 正在更新操作域描述。 Zbl 1225.68251号 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 9 2010 \（\mathbb{FDNC}\）：带函数符号的可判定非单调析取逻辑程序。 Zbl 1137.68334号 西蒙库斯，曼塔斯;托马斯·艾特 9 2007 面向答案集编程中猜测和检查程序的自动集成：元解释器和应用程序。 Zbl 1109.68028号 托马斯·艾特;Polleres，阿克塞尔 8 2006 描述逻辑中的问答：节点方法。 Zbl 1246.68207号 托马斯·艾特;卡斯滕·卢茨;马格达莱娜·奥尔蒂斯;Šimkus，曼塔斯 8 2009 语义网中描述逻辑程序的良好语义。 Zbl 1351.68275号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;罗马辛德劳 8 2011 使用合理的例外增强上下文知识库。 Zbl 1444.68196号 洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 8 2018 通过近似不动点理论实现十六进制语义。 Zbl 1405.68039号 安蒂奇，克里斯蒂安;托马斯·艾特;迈克尔·芬克 8 2013 概率对象基础。 Zbl 1136.68379号 托马斯·艾特;Lu、James J。;托马斯·卢卡西维奇;苏布拉曼尼亚，V.S。 8 2001 Ticker：基于ASP的增量流推理系统。 Zbl 1422.68218号 哈拉尔德·贝克;托马斯·艾特;弗利，克里斯蒂安 8 2017 描述逻辑Horn-\（\mathcal{SHIQ}\）中的查询应答。 Zbl 1178.68558号 托马斯·艾特;乔治·戈特洛布;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 7 2008 嵌套反事实和迭代知识库修订的复杂性。 Zbl 0869.68045号 托马斯·艾特;乔治·戈特洛布 7 1996 DLV系统。 Zbl 1014.68871号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;弗朗西斯科·卡利默里;黛尔·阿尔米，蒂娜;托马斯·艾特;乔治·戈特洛布;乔瓦姆巴蒂斯塔·伊安尼;朱塞佩·埃尔帕;科赫，克里斯托夫;西蒙娜·佩里;Polleres，阿克塞尔 7 2002 双喇叭功能。 Zbl 0912.06011号 托马斯·艾特;茨城县，Toshihide;Kazuhisa Makino 7 1998 FDNC：带函数符号的可判定非单调析取逻辑程序。 Zbl 1351.68052号 托马斯·艾特;西蒙库斯，曼塔斯 7 2010 将非圆逻辑程序嵌入到自认知逻辑中进行知识库组合。 兹比尔1351.68273 乔斯·德·布鲁因;托马斯·艾特;Polleres，阿克塞尔;汉斯·托姆皮茨 7 2011 数据集成和答案集编程。 Zbl 1152.68639号 托马斯·艾特 7 2005 在答案集编程中通过元解释计算首选答案集。 Zbl 1079.68096号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 7 2003 使用外部源对ASP程序进行域扩展。 Zbl 1351.68265号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 7 2016 通过交替树自动机回答表达描述逻辑中的规则路径查询。 Zbl 1360.68801号 迭戈·卡尔瓦内斯;托马斯·艾特;马格达莱娜·奥尔蒂斯 7 2014 答案集编程中基于模型的重铸。 Zbl 1400.68048号 托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 7 2013 在答案集编程中寻找相似/不同的解决方案。 Zbl 1266.68081号 托马斯·艾特;埃斯拉·埃尔登;哈尔特·埃尔多安;迈克尔·芬克 7 2013 从限定中消除可变谓词的有效方法。 Zbl 0762.03013号 马可·卡多利;托马斯·艾特;乔治·戈特洛布 6 1992 通过非单调逻辑查询析取数据库。 Zbl 0872.68029号 波纳蒂，皮耶罗·A。;托马斯·艾特 6 1996 有限结构上二阶逻辑的范式，以及NP优化问题的分类。 Zbl 0883.03015号 托马斯·艾特;乔治·戈特洛布;尤里·古里维奇 6 1996 基于数据日志可写描述逻辑的DL-programs可追踪推理。 Zbl 1211.68402号 斯迪恩·海曼斯;托马斯·艾特;肖国辉 6 2010 不完全知识下的计划。 Zbl 0983.68539号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres，阿克塞尔 6 2000 决策列表和相关布尔函数。 Zbl 0988.68146号 托马斯·艾特;茨城县，Toshihide;Kazuhisa Makino 6 2002 析取演绎数据库部分模型的表达能力和复杂性。 Zbl 0913.68053号 托马斯·艾特;尼古拉·利昂;多梅尼科·萨卡 6 1998 结构模型方法中的原因和解释：可追踪案例。 Zbl 1131.68104号 托马斯·艾特;托马斯·卢卡西维奇 6 2006 复杂性类\（\varTheta^\mathrm{p} _2\)：人工智能和模态逻辑的最新结果和应用。 Zbl 1507.68121号 托马斯·艾特;乔治·戈特洛布 6 1997 生成命题霍恩理论查询的所有诱因解释。 Zbl 1116.68591号 托马斯·艾特;Kazuhisa Makino 5 2003 用节俭适度的扩张进行推理。 Zbl 0772.68081号 托马斯·艾特;乔治·戈特洛布 5 1992 在描述逻辑程序中利用连接查询。 Zbl 1165.68499号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;罗马辛德劳 5 2008 通过模块化分解推动HEX程序的有效评估。 Zbl 1327.68062号 托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;彼得·舒勒 5 2011 基于规则的流推理用于以内容为中心的网络的智能管理。 Zbl 1483.68021号 哈拉尔德·贝克;布鲁诺·比尔巴默;明州道特兰;托马斯·艾特;赫尔曼·赫尔瓦格纳;康斯坦丁·舍科提欣 5 2016 多上下文系统中基于偏好的不一致性评估。 Zbl 1306.68204号 托马斯·艾特;迈克尔·芬克;安东尼乌斯·温齐尔 5 2010 双喇叭功能和扩展。 兹伯利0941.68152 托马斯·艾特;茨城县，Toshihide;Kazuhisa Makino 4 1999 从霍恩命题理论计算所有诱因解释。 Zbl 1312.68177号 托马斯·艾特;Kazuhisa Makino 4 2007 论证语境系统：抽象群体论证的框架。 Zbl 1258.68154号 格哈德·布鲁卡;托马斯·艾特 4 2009 识别可重命名的广义命题Horn公式是NP-完全的。 Zbl 0822.68050号 托马斯·艾特;Pekka Kilpeläinen;海基·曼尼拉 4 1995 计算霍恩理论与模型的交集进行推理。 Zbl 0996.68188号 托马斯·艾特;茨城县，Toshihide;Kazuhisa Makino 4 1999 字符串上的存在二阶逻辑。 兹比尔1095.03503 托马斯·艾特;尤里·古里维奇;乔治·戈特洛布 4 2000 将非单调知识库与外部资源相结合。 Zbl 1193.68242号 托马斯·艾特;格哈德·布鲁卡;明州道特兰;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳 4 2009 非单调多上下文系统的分布式评估。 Zbl 1328.68223号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 4 2015 分布式非单调多上下文系统的DMCS求解器。 Zbl 1306.68201号 塞夫·埃尔·丁·拜拉克达尔;明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 4 2010 这个mcs-ie公司解释多上下文系统中不一致性的系统。 Zbl 1306.68203号 马库斯·伯格尔;托马斯·艾特;迈克尔·芬克;彼得·舒勒 4 2010 在描述逻辑中使用节点进行连接查询应答。 兹比尔1238.68153 托马斯·艾特;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 4 2012 具有非光滑应力应变关系的粘弹塑性流体模型的Leray-Hopf解。 Zbl 1481.35310号 托马斯·艾特;凯萨琳娜·霍普夫;亚历山大·米尔克 4 2022 使用外部源访问回答集合编程。 Zbl 1491.68191号 托马斯·艾特;托比亚斯·卡明斯基;克里斯托夫·雷德尔;彼得·舒勒;安东尼乌斯·温齐尔 4 2017 异构活性剂。三： 多项式可实现代理。 Zbl 0943.68156号 T·艾特。;苏布拉曼尼亚，V.S。;罗杰斯，T.J。 三 2000 析取演绎数据库的部分模型的表达能力。 Zbl 0891.68038号 T·艾特。;北卡罗来纳州塞拉利昂。;萨卡，D。 三 1996 基于规则的查询应答的基础。 Zbl 1170.68646号 弗朗索瓦·布里;诺伯特·艾辛格;托马斯·艾特;蒂姆·弗切;乔治·戈特洛布;克莱门斯·莱伊;贝内迪克特·林斯;莱因哈德·皮克勒;魏芳 三 2007 代理人在动态环境中的维护目标：制定和政策建设。 Zbl 1183.68630号 奇塔·巴拉尔;托马斯·艾特;马库斯·比亚雷兰德;中村、木须 三 2008 一类粘弹塑性流体模型的弱强唯一性和能量变分解。 Zbl 1504.35313号 托马斯·艾特;凯萨琳娜·霍普夫;罗伯特·拉萨齐克 2 2023 具有非光滑应力应变关系的粘弹塑性流体模型的Leray-Hopf解。 Zbl 1481.35310号 托马斯·艾特;凯萨琳娜·霍普夫;亚历山大·米尔克 4 2022 关于旋转障碍物周围的时间周期流的Stokes型解问题。 Zbl 1490.76081号 托马斯·艾特 2 2022 关于与旋转物体的时间周期流相关的Oseen型预解问题。 Zbl 1498.76022号 托马斯·艾特 1 2022 关于Navier-Stokes方程时间周期解的空间渐近结构。 Zbl 1470.35257号 托马斯·艾特 2 2021 通过带有代数测度的答案集编程对多关系上下文层次进行推理。 Zbl 1522.68101号 洛丽斯·波萨托;托马斯·艾特;拉斐尔·基塞尔 1 2021 答案集程序的基于省略的抽象。 Zbl 1472.68029号 Zeynep G.萨里巴特。;托马斯·艾特 1 2021 定量流推理的加权Lars。 Zbl 1464.68356号 托马斯·艾特;拉斐尔·基塞尔 1 2020 \（\mathrm{ASP}（\mathcal{AC}）\）：带代数约束的答案集编程。 Zbl 1471.68047号 托马斯·艾特;拉斐尔·基塞尔 1 2020 非地面答案集程序的抽象。 Zbl 1525.68178号 Zeynep G.萨里巴特。;彼得·舒勒;托马斯·艾特 三 2019 在\（\mathcal中有合理例外的推理{标高}_\bot）上下文化知识库。 Zbl 1443.68181号 博扎托，洛里斯;托马斯·艾特;卢西亚诺·塞拉菲尼 三 2019 确定析取逻辑程序的推理语义。 Zbl 1483.68061号 沈义东;托马斯·艾特 2 2019 LARS流推理的分布式方法（系统文件）。 Zbl 1434.68546号 托马斯·艾特;保罗·奥格里斯;康斯坦丁·舍科提欣 2 2019 LARS：基于逻辑的流分析推理框架。 Zbl 1448.68395号 哈拉尔德·贝克;明州道特兰;托马斯·艾特 19 2018 利用外部资源开发答案集编程用于元解释学习。 Zbl 1451.68064号 托比亚斯·卡明斯基;托马斯·艾特;井上，胜美 9 2018 使用合理的例外增强上下文知识库。 Zbl 1444.68196号 洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 8 2018 利用部分赋值对具有外部源访问的答案集程序进行有效评估。 Zbl 1448.68398号 托马斯·艾特;托比亚斯·卡明斯基;克里斯托弗·雷德尔;安东尼乌斯·温齐尔 2 2018 Ticker：基于ASP的增量流推理系统。 Zbl 1422.68218号 哈拉尔德·贝克;托马斯·艾特;弗利，克里斯蒂安 8 2017 使用外部源访问回答集合编程。 Zbl 1491.68191号 托马斯·艾特;托比亚斯·卡明斯基;克里斯托夫·雷德尔;彼得·舒勒;安东尼乌斯·温齐尔 4 2017 多上下文系统中基于偏好的不一致性管理。 Zbl 1419.68143号 托马斯·艾特;安东尼乌斯·温齐尔 2 2017 LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。 Zbl 1398.68026号 1 2017 准一致答案集程序的半平衡模型。 Zbl 1351.68259号 乔瓦尼·阿蒙多拉;托马斯·艾特;迈克尔·芬克;尼古拉·利昂;乔昂·莫拉 15 2016 在答案集编程中评估认知否定。 Zbl 1358.68278号 沈义东;托马斯·艾特 14 2016 带有外部计算的答案集编程的模型构建框架。 Zbl 1379.68058号 托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 10 2016 使用外部源对ASP程序进行域扩展。 Zbl 1351.68265号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 7 2016 用于以内容为中心的网络的智能管理的基于规则的流推理。 Zbl 1483.68021号 哈拉尔德·贝克;布鲁诺·比尔巴默;明州道特兰;托马斯·艾特;赫尔曼·赫尔瓦格纳;康斯坦丁·舍科提欣 5 2016 利用上下文知识对视觉对象进行混合分类。 Zbl 1483.68429号 托马斯·艾特;托比亚斯·卡明斯基 三 2016 用行动语言规划应对策略。 Zbl 1483.68424号 Zeynep G.萨里巴特。;托马斯·艾特 2 2016 非单调多上下文系统的分布式评估。 Zbl 1328.68223号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 4 2015 知识表示、逻辑编程和抽象论证的进展。在格哈德·布鲁卡60岁生日之际为他撰写的论文。 Zbl 1303.68014号 三 2015 使用完全丰富的自动机进行森林逻辑程序推理。 兹比尔1467.68172 克里斯蒂娜·费尔;托马斯·艾特 2 2015 2015年8月31日至9月4日在爱尔兰科克举行的第31届国际逻辑编程会议的技术交流。 Zbl 1407.68028号 2 2015 使用非单调规则链接开放世界知识库。 Zbl 1467.68177号 托马斯·艾特;西蒙库斯，曼塔斯 1 2015 多上下文系统中基于偏好的诊断选择。 Zbl 1432.68438号 托马斯·艾特;迈克尔·芬克;安东尼乌斯·温齐尔 1 2015 寻找多上下文系统中不一致性的解释。 Zbl 1309.68177号 托马斯·艾特;迈克尔·芬克;彼得·舒勒;安东尼乌斯·温齐尔 16 2014 基于无根据集合的高效HEX程序评估。 Zbl 1361.68031号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 11 2014 对于一般逻辑程序，FLP应答集语义没有循环证明。 Zbl 1391.68016号 沈义东;王克文;托马斯·艾特;迈克尔·芬克;克里斯托夫·雷德尔;托马斯·克伦瓦尔纳;邓军 11 2014 通过交替树自动机回答表达描述逻辑中的常规路径查询。 Zbl 1360.68801号 迭戈·卡尔瓦内斯;托马斯·艾特;奥尔蒂斯，马格达莱纳 7 2014 模块化准相干答案集。 Zbl 1432.68054号 乔瓦尼·阿蒙多拉;托马斯·艾特;尼古拉·利昂 2 2014 面向不一致DL-programs的实际删除修复。 Zbl 1366.68303号 托马斯·艾特;迈克尔·芬克;达里亚·斯蒂芬诺娃 2 2014 计算对\（mathcal{EL}\）本体上不一致DL-programs的修复。 Zbl 1432.68437号 托马斯·艾特;迈克尔·芬克;达里亚·斯蒂芬诺娃 1 2014 通过近似不动点理论实现十六进制语义。 Zbl 1405.68039号 安蒂奇，克里斯蒂安;托马斯·艾特;迈克尔·芬克 8 2013 答案集编程中基于模型的重铸。 Zbl 1400.68048号 托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 7 2013 在答案集编程中寻找相似/不同的解决方案。 Zbl 1266.68081号 托马斯·艾特;埃斯拉·埃尔登;哈尔特·埃尔多安;迈克尔·芬克 7 2013 与外部源冲突驱动的ASP解决方案。 Zbl 1260.68060号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托弗·雷德尔 12 2012 在描述逻辑中使用节点进行连接查询应答。 Zbl 1238.68153号 托马斯·艾特;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 4 2012 利用无根据集合进行HEX-program评估。 Zbl 1361.68030号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 2 2012 忘记了不可行的逻辑。 Zbl 1352.68225号 格里戈里斯·安东尼乌;托马斯·艾特;王克文 1 2012 使用ACTHEX模拟生产规则。 兹比尔1357.68217 托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克 1 2012 非单调多上下文系统：集成异构知识源的灵活方法。 Zbl 1326.68273号 格哈德·布鲁卡;托马斯·艾特;迈克尔·芬克 9 2011 语义网中描述逻辑程序的良好语义。 Zbl 1351.68275号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;罗马辛德劳 8 2011 将非圆逻辑程序嵌入到自认知逻辑中进行知识库组合。 兹比尔1351.68273 乔斯·德·布鲁因;托马斯·艾特;Polleres，阿克塞尔;汉斯·托姆皮茨 7 2011 通过模块分解推动HEX程序的有效评估。 Zbl 1327.68062号 托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;彼得·舒勒 5 2011 动态分布式非单调多上下文系统。 Zbl 1259.68188号 越南Dao Tran;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 2 2011 部分已知多上下文系统中不一致性的近似解释。 Zbl 1327.68270号 托马斯·艾特;迈克尔·芬克;彼得·舒勒 1 2011 正在更新操作域描述。 Zbl 1225.68251号 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 9 2010 FDNC：带函数符号的可判定非单调析取逻辑程序。 Zbl 1351.68052号 托马斯·艾特;西蒙库斯，曼塔斯 7 2010 基于数据日志可写描述逻辑的DL-programs可追踪推理。 Zbl 1211.68402号 斯迪恩·海曼斯;托马斯·艾特;肖国辉 6 2010 多上下文系统中基于偏好的不一致性评估。 Zbl 1306.68204号 托马斯·艾特;迈克尔·芬克;安东尼乌斯·温齐尔 5 2010 分布式非单调多上下文系统的DMCS求解器。 兹比尔1306.68201 塞夫·埃尔·丁·拜拉克达尔;明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 4 2010 这个mcs-ie公司解释多上下文系统中不一致性的系统。 Zbl 1306.68203号 马库斯·伯格尔;托马斯·艾特;迈克尔·芬克;彼得·舒勒 4 2010 分布式非单调多上下文系统的分解。 Zbl 1306.68200号 塞夫·埃尔·丁·拜拉克达尔;明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 2 2010 答案集编程：初级。 Zbl 1254.68248号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳 26 2009 重新审视模块化非单调逻辑编程。 Zbl 1251.68056号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 12 2009 描述逻辑中的问答：节点方法。 Zbl 1246.68207号 托马斯·艾特;卡斯滕·卢茨;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 8 2009 论证语境系统：抽象群体论证的框架。 Zbl 1258.68154号 格哈德·布鲁卡;托马斯·艾特 4 2009 将非单调知识库与外部资源相结合。 Zbl 1193.68242号 托马斯·艾特;格哈德·布鲁卡;明州道特兰;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳 4 2009 模块化非单调逻辑程序的相关性驱动评估。 Zbl 1258.68028号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 1 2009 实现描述逻辑知识库上的默认逻辑。 Zbl 1245.68183号 明州道特兰;托马斯·艾特;托马斯·克伦瓦尔纳 1 2009 将答案集编程与语义web的描述逻辑相结合。 Zbl 1183.68595号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;罗马辛德劳;汉斯·托姆皮茨 76 2008 单调二元化的计算方面：一个简短的调查。 Zbl 1160.68016号 托马斯·艾特;Kazuhisa Makino;乔治·戈特洛布 49 2008 答案集编程中的语义遗忘。 Zbl 1184.68159号 托马斯·艾特;王克文 20 2008 通过tableaux表示描述逻辑中查询应答的数据复杂性。 Zbl 1154.68102号 马格达莱娜·奥尔蒂斯;迭戈·卡尔瓦尼斯;托马斯·艾特 17 2008 描述逻辑Horn-\（\mathcal{SHIQ}\）中的查询应答。 Zbl 1178.68558号 托马斯·艾特;乔治·戈特洛布;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 7 2008 在描述逻辑程序中利用连接查询。 Zbl 1165.68499号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;罗马辛德劳 5 2008 代理人在动态环境中的维护目标：制定和政策建设。 Zbl 1183.68630号 奇塔·巴拉尔;托马斯·艾特;马库斯·比亚雷兰德;Mutsumi Nakamura 三 2008 使用结进行推理。 Zbl 1182.68276号 托马斯·艾特;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 三 2008 撤消动作序列的效果。 Zbl 1158.68042号 托马斯·艾特;埃斯拉·埃尔登;沃尔夫冈·费伯 三 2008 答案集编程中等价的语义特征和复杂性。 Zbl 1367.68031号 托马斯·艾特;迈克尔·芬克;斯特凡·沃尔特兰 29 2007 具有有界谓词算术和含义的答案集编程的复杂性结果。 Zbl 1138.68017号 托马斯·艾特;沃尔夫冈·费伯;迈克尔·芬克;斯特凡·沃尔特兰 18 2007 \（\mathbb{FDNC}\）：带函数符号的可判定非单调析取逻辑程序。 兹比尔1137.68334 西蒙库斯，曼塔斯;托马斯·艾特 9 2007 从霍恩命题理论计算所有诱因解释。 Zbl 1312.68177号 托马斯·艾特;Kazuhisa Makino 4 2007 基于规则的查询应答的基础。 Zbl 1170.68646号 弗朗索瓦·布里;诺伯特·艾辛格;托马斯·艾特;蒂姆·弗切;乔治·戈特洛布;克莱门斯·莱伊;Benedikt Linse公司;莱因哈德·皮克勒;魏芳 三 2007 一种基于逻辑的方法，用于寻找乐观计划执行中差异的解释。 Zbl 1124.68106号 托马斯·艾特;埃斯拉·埃尔登;沃尔夫冈·费伯;詹森科 三 2007 具有外部功能的有条件规划。 Zbl 1149.68425号 戴维·范·尼乌文伯格;托马斯·艾特;德克·弗梅尔 三 2007 基于语义偏好比较动作描述。 Zbl 1125.68114号 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 2 2007 用于知识表示和推理的DLV系统。 Zbl 1367.68308号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;托马斯·艾特;乔治·戈特洛布;西蒙娜·佩里;弗朗西斯科·斯卡切罗 165 2006 面向答案集编程中猜测和检查程序的自动集成：元解释器和应用程序。 Zbl 1109.68028号 托马斯·艾特;Polleres，阿克塞尔 8 2006 结构模型方法中的原因和解释：可追踪案例。 Zbl 1131.68104号 托马斯·艾特;托马斯·卢卡西维奇 6 2006 基于语义偏好比较动作描述。 兹比尔1152.68601 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 2 2006 非单调描述逻辑程序：实现和实验。 Zbl 1108.68359号 托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;罗马辛德劳;汉斯·托姆皮茨 10 2005 数据集成和答案集编程。 Zbl 1152.68639号 托马斯·艾特 7 2005 测试数据日志程序的强等效性-实现和示例。 Zbl 1152.68404号 托马斯·艾特;沃尔夫冈·费伯;帕特里克·特拉克斯勒 三 2005 命题嵌套限定和嵌套异常理论的复杂性。 兹比尔1367.68276 马可·卡多利;托马斯·艾特;乔治·戈特洛布 1 2005 关于演化非单调知识库的推理。 Zbl 1367.68279号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 1 2005 在一致和强等价下简化逻辑程序。 Zbl 1122.68369号 托马斯·艾特;迈克尔·芬克;汉斯·托姆皮茨;斯特凡·沃尔特兰 26 2004 一种用于知识状态规划、语义和复杂性的逻辑编程方法。 Zbl 1367.68301号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres，阿克塞尔 18 2004 结构模型方法解释的复杂性。 Zbl 1085.68067号 托马斯·艾特;托马斯·卢卡西维奇 2 2004 关于单调对偶和生成超图断面的新结果。 Zbl 1052.68101号 托马斯·艾特;乔治·戈特洛布;Kazuhisa Makino 44 2003 稳定模型语义下逻辑程序的一致等价。 Zbl 1204.68052号 托马斯·艾特;迈克尔·芬克 29 2003 …以及其他67个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1329位作者引用 71 托马斯·艾特 35 斯特凡·沃尔特兰 28 尼古拉·利昂 24 乔治·戈特洛布 21 托尔斯滕·绍布（Torsten H.Schaub）。 20 沃尔夫冈·费伯 20 弗朗西斯科·里卡 20 特鲁什琴斯基，米洛斯奥 19 Kazuhisa Makino 18 托马斯·卢卡西维奇 17 迈克尔·芬克 16 Elbassioni，Khaled M。 16 马丁·盖布瑟 15 马里奥·阿尔维亚诺 14 佩德罗·卡巴拉尔 14 约昂·莱特 13 恩德雷·博罗斯 13 弗拉基米尔·古尔维奇。 12 茨城县，Toshihide 12 克诺尔，马蒂亚斯 12 卡斯滕·卢茨 11 乔瓦尼·阿蒙多拉 11 马可·卡多利 11 卡明·多达罗 11 康德，马马杜·穆斯塔帕 11 保罗·利伯拉托雷 11 努林，Lhouari 11 恰基萨卡马 11 王克文 10 格哈德·布鲁卡 10 德科克，玛蒂娜 10 迈克尔·盖尔芬德 10 里卡多·贡萨阿尔维斯 10 乔瓦姆巴蒂斯塔·伊安尼 10 井上，胜美 10 汤米·詹胡宁 10 列昂尼德·根里霍维奇 10 托马斯·克伦瓦尔纳 10 尤利亚·利勒 10 马可·马拉提亚 10 史蒂文·肖卡特 10 汉斯·托姆皮茨 10 弗兰克·沃尔特 9 巴特·博加特 9 Giampiero Chiaselotti 9 詹姆斯·德尔格兰德。 9 马克·德纳克 9 詹蒂莱，托马索 9 迈克尔·莫拉克 9 路易吉·帕洛波利 9 约格·普勒 9 武木友野 9 你，嘉慧 9 张燕 8 迭戈·卡尔瓦内斯 8 埃斯拉·埃尔登 8 豪尔赫·范丁诺 8 Infusino，Federico G。 8 莱因哈德·皮克勒 8 德克·弗梅尔 8 周毅 7 利奥波多·贝尔托西。 7 弗朗西斯科·卡利默里 7 安德鲁·克洛珀 7 劳拉·佐丹奴 7 埃里克·格雷戈里 7 安东尼·亨特 7 杰罗姆·朗 7 林方珍 7 玛丽，阿尔诺 7 克里斯托夫·雷德尔 7 哈维尔·罗梅罗 7 马尔科·谢尔夫 7 彼得·舒勒 7 沈一东 7 西蒙库斯，曼塔斯 7 儿子Tran Cao 7 苏布拉曼尼亚，V.S。 6 费利西达·阿瓜多 6 法布里西奥·安吉乌利 6 雷切尔·本·埃利亚胡·佐哈里 6 塞勒姆·本费哈特 6 卢西亚诺卡罗普莱斯 6 纳迪亚·克里诺 6 玛娜，马可 6 马格达莱娜·奥尔蒂斯 6 吉尔伯托·佩雷斯 6 西蒙娜·佩里 6 Joost Vennekens 6 康塞普西翁·维达尔 6 王一松 5 何塞·朱利奥·阿尔弗雷斯 5 奥费尔·阿列利 5 Chitta R.巴拉尔。 5 皮耶罗·安德里亚·博纳蒂 5 路易斯·克鲁兹·菲利佩 5 朱塞佩·德贾科莫 5 沃尔夫冈·德沃亚克 5 约翰·克劳斯·费希特 5 劳伦特·加西亚 …还有1229名作者 全部的 前5名106篇连载文章中引用 176 人工智能 117 逻辑程序设计理论与实践 68 数学与人工智能年鉴 47 理论计算机科学 40 国际近似推理杂志 35 离散应用数学 22 计算机与系统科学杂志 14 ACM计算逻辑事务 13 机器学习 12 信息处理信件 12 应用逻辑杂志 11 应用非经典逻辑杂志 10 信息与计算 9 信息科学 8 模糊集与系统 8 自动推理杂志 8 人工智能研究杂志 7 离散数学 7 约束条件 6 计算机科学与技术杂志 6 算法学 5 Studia Logica公司 5 计算几何 5 计算系统理论 4 组合优化期刊 4 计算机基础理论 4 计算机科学中的逻辑方法 三 计算机与数学及其应用 三 哲学逻辑杂志 三 合成 三 图与组合 三 系统设计中的形式化方法 三 逻辑、语言与信息杂志 三 计算机科学评论 2 组合理论杂志。系列A 2 符号逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 物理D 2 SIAM离散数学杂志 2 欧洲运筹学杂志 2 数学逻辑档案 2 计算智能 2 当代数学硕士 2 符号逻辑述评 2 计算机科学前沿 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 信息学报 1 计算机和流体 1 数学物理中的通信 1 数学生物学杂志 1 Annali di Matematica Pura ed Applicata公司。四分之一系列 1 应用数学与计算 1 编程和计算机软件 1 SIAM计算机杂志 1 理论与决策 1 数学社会科学 1 社会选择与福利 1 应用数学学报。英语系列 1 符号计算杂志 1 新一代计算 1 离散和计算几何 1 AI通信 1 运筹学年鉴 1 计算统计学 1 计算数学和数学物理 1 自动化和远程控制 1 模式识别 1 分布式计算 1 数学成像与视觉杂志 1 计算与应用数学 1 应用Clifford代数的进展 1 计算与数学组织理论 1 信息计算杂志 1 中国科学。E系列 1 优化方法和软件 1 软计算 1 武汉大学自然科学学报 1 离散数学科学与密码学杂志 1 埃尔肯特尼斯 1 国际不确定性、模糊性和基于知识的系统杂志 1 Matematicheskoe Modelirovanie公司 1 澳大利亚数学学会杂志 1 熵 1 康普斯·伦杜斯。数学竞赛。巴黎科学院 1 智能与模糊系统杂志 1 代数杂志及其应用 1 ACM实验算法杂志 1 离散算法杂志 1 统计力学杂志：理论与实验 1 离散优化 1 中国科学。F系列 1 费拉拉大学年鉴。Sezione VII公司。科学Matematiche 1 泛逻辑 1 国际语义计算杂志 1 应用分析与离散数学 1 非线性分析。混合动力系统 1 数据库的基础和趋势 1 数学地球科学 1 科学中国。信息科学 …还有6部连续剧 全部的 前5名33个领域引用 937 计算机科学（68至XX） 154 数学逻辑和基础（03-XX） 76 组合数学（05-XX） 42 运筹学、数学规划（90-XX） 32 有序，格，有序代数结构（06-XX） 24 系统论；控制（93至XX） 19 信息与通信理论、电路（94-XX） 18 博弈论、经济学、金融和其他社会和行为科学（91-XX） 15 生物学和其他自然科学（92-XX） 8 统计学（62-XX） 6 凸和离散几何（52-XX） 6 概率论与随机过程（60-XX） 6 数值分析（65-XX） 4 总体主题；集合（00-XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 4 常微分方程（34-XX） 三 历史和传记（01-XX） 2 一般代数系统（08-XX） 2 动力系统和遍历理论（37至XX） 2 粒子和系统力学（70-XX） 2 流体力学（76-XX） 2 量子理论（81-XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 变分法与最优控制；最优化（49至XX） 1 几何图形（51至XX） 1 一般拓扑结构（54至XX） 1 代数拓扑（55-XX） 1 统计力学，物质结构（82-XX） 1 地球物理学（86-XX） 按年份列出的引文