编辑配置文件（在新选项卡中打开） 乔治·戈特洛布 合著者距离 作者ID： 哥特罗布·乔治 发布日期： 乔治·戈特洛布;戈特洛布，G。 主页： https://www.cs.ox.ac.uk/people/georg.gottlob/ 外部链接： MGP公司·维基数据·ResearchGate研究之门·数据库许可证·接地·ID参考·论文.fr 已编制索引的文档： 158出版物自1981年以来，包括1本书 15作为编辑的贡献 合著者： 143位合著者具有156联合出版物 3028合著作者 全部的 前5名合著者 17 单作者的 36 托马斯·艾特 18 安德烈亚斯·皮耶利斯 17 尼古拉·利昂 16 弗朗西斯科·斯卡切罗 14 莱因哈德·皮克勒 7 吉安路易吉·格雷科 6 科赫（Christoph T.Koch）。 6 马蒂亚斯·兰辛格 6 托马斯·施温蒂克 5 安德烈·卡利 5 弗里德里希，格哈德·E。 5 马可·曼纳 5 赫尔穆特·维思 4 亚历山大·莱奇 4 乔治·奥尔西 4 西蒙库斯，曼塔斯 三 马库斯·阿斯辛格 三 弗朗西斯科·布卡弗里 三 斯特凡诺·塞里 三 康拉德·德雷舍尔 三 沃尔夫冈·费伯 三 马丁·格罗 三 尤里·古里维奇 三 大卫·马里奥·隆戈 三 托马斯·卢卡西维奇 三 Kazuhisa Makino 三 塞姆·奥库莫斯 三 伊戈尔·拉兹贡 三 魏芳 2 艾索尔德·阿德勒 2 巴勃罗·巴塞洛 2 罗伯特·鲍姆加特纳 2 利奥波多·贝尔托西。 2 马可·卡多利 2 蒂姆·弗切 2 埃里希·格拉德尔 2 伊安尼，乔瓦姆巴蒂斯塔 2 彼得·杰文斯（Peter G.Jeavons）。 2 李，斯蒂芬妮·田 2 恩里科·马利齐亚 2 佐尔坦·米克洛斯 2 迈克尔·莫拉克 2 丹尼尔·蒙迪奇 2 沃尔夫冈·内杰德尔 2 克里斯托斯·哈里劳斯·帕帕迪米特里奥 2 西蒙娜·佩里 2 杰拉尔德·菲弗 2 马可·萨梅尔 2 皮埃尔·塞内拉特 2 玛莎·西德丽 2 莱蒂齐亚·坦卡 2 叶夫根尼·托尔斯滕森 2 莫西·亚亚科夫·瓦尔迪 1 谢尔盖·阿比特布尔 1 Afrati，Foto N。 1 德米特里·阿卡托夫 1 马提亚斯·巴兹 1 Bárány，文斯 1 András A.Benczur。 1 Michael A.Benedikt。 1 杰拉尔德·伯杰 1 马里比利科娃 1 皮埃尔·布赫斯 1 格哈德·布鲁卡 1 弗朗索瓦·布里 1 弗朗西斯科·卡利默里 1 克劳迪娅·阿马托 1 大卫，克莱尔 1 阿努吉·达瓦尔 1 奥格·德穆尔 1 蒂娜·德尔阿米 1 杰诺斯·德梅特罗维奇 1 尤尔根·迪克斯 1 诺伯特·艾辛格 1 尼古拉·法尼兹 1 贝蒂娜·法辛加 1 Fermüller，Christian G。 1 迭戈·菲格拉 1 沃尔夫冈·费希尔 1 塞尔吉奥·弗莱斯卡 1 托马斯·弗里沃思 1 格利姆，伯尔特 1 艾蒂安，格兰让 1 劳里·T·海拉。 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 安德烈·埃尔尼奇 1 马库斯·赫尔佐格 1 沃纳·霍恩 1 伊恩·霍洛克斯 1 朱塞佩·埃尔帕 1 达尼埃拉·因利赞 1 斯特凡·卡岑贝塞尔 1 迈克尔·基弗 1 斯坦尼斯拉夫·基科特 1 Phokion G.科莱蒂斯。 1 罗马人孔查科夫 1 克莱门斯·库普克 1 多梅尼科·伦博 1 莱伊，克莱门斯 1 Leonid O·利金。 ……还有43位合著者 全部的 前5名系列 14 美国医学会杂志 13 人工智能 11 计算机科学课堂讲稿 9 理论计算机科学 7 计算机与系统科学杂志 6 ACM计算逻辑汇刊 4 信息处理信件 4 计算机协会杂志 4 SIAM计算机杂志 4 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 4 数学与人工智能年鉴 三 信息与计算 三 逻辑程序设计理论与实践 三 ACM实验算法杂志 2 离散应用数学 2 ACM数据库系统事务 2 符号逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 逻辑与计算杂志 2 人工智能研究杂志 1 计算机与数学及其应用 1 控制论学报 1 编程和计算机软件 1 欧洲组合数学杂志 1 逻辑程序设计杂志 1 国际数学Nachrichten 1 信息系统 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 数学逻辑季刊（MLQ） 1 约束条件 1 计算机基础理论 1 计算机科学中的逻辑方法 全部的 前5名领域 162 计算机科学（68至XX） 52 数学逻辑和基础（03-XX） 24 组合数学（05-XX） 14 总体主题；集合（00-XX） 7 运筹学、数学规划（90-XX） 三 历史和传记（01-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 阶、格、有序代数结构（06-XX） 1 数值分析（65-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 128出版物有1815年被引用中的次1143文件 引用人▼ 年份▼ 用于知识表示和推理的DLV系统。 Zbl 1367.68308号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;托马斯·艾特;乔治·戈特洛布;西蒙娜·佩里;弗朗西斯科·斯卡切罗 165 2006 识别超图的最小横截和相关问题。 Zbl 0842.05070号 托马斯·艾特;乔治·戈特洛布 114 1995 选言逻辑程序设计的计算成本：命题案例。 Zbl 0858.68016号 托马斯·艾特;乔治·戈特洛布 99 1995 关于命题知识库的复杂性——修正、更新和反事实。 Zbl 0763.68038号 托马斯·艾特;乔治·戈特洛布 73 1992 超树分解和可处理的查询。 Zbl 1052.68025号 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 69 2002 基于逻辑的诱拐的复杂性。 Zbl 0886.68121号 托马斯·艾特;乔治·戈特洛布 64 1995 非单调逻辑的复杂性结果。 Zbl 0765.03012号 乔治·戈特洛布 61 1992 结构CSP分解方法的比较。 Zbl 0952.68044号 戈特洛布，G。;北卡罗来纳州塞拉利昂。;斯卡切洛，F。 58 2000 纯粹的纳什均衡：困难和简单的游戏。 Zbl 1134.91312号 戈特洛布，G。;格雷科，G。;F·斯卡切罗。 49 2005 单调二元化的计算方面：一个简短的调查。 Zbl 1160.68016号 托马斯·艾特;Kazuhisa Makino;乔治·戈特洛布 49 2008 利用人工智能技术加强验证中的模型检查。 Zbl 0996.68104号 弗朗西斯科·布卡弗里;托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 44 1999 关于单调对偶和生成超图断面的新结果。 Zbl 1052.68101号 托马斯·艾特;乔治·戈特洛布;Kazuhisa Makino 44 2003 驯服无限追赶：表达关系约束下的查询应答。 Zbl 1361.68221号 安德烈·卡利;乔治·戈特洛布;迈克尔·基弗 41 2013 命题定界和扩展闭世界推理是\（\Pi_2^P\）-完备的。 Zbl 0786.68085号 托马斯·艾特;乔治·戈特洛布 40 1993 非循环连接查询的复杂性。 Zbl 1323.68250号 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 32 2001 超图横向计算及其在逻辑和人工智能中的相关问题。 Zbl 1013.68143号 托马斯·艾特;乔治·戈特洛布 31 2002 人工智能和非单调推理中的固定参数复杂性。 Zbl 0995.68118号 乔治·戈特洛布;弗朗西斯科·斯卡切罗;玛莎·西德丽 29 2002 Monadic Datalog和网络信息提取语言的表达能力。 Zbl 1316.68045号 乔治·戈特洛布;科赫，克里斯托夫 26 2004 广义超树分解：NP-harrdness和易处理变体。 Zbl 1325.68097号 乔治·戈特洛布;佐尔坦·米克洛斯;托马斯·施温蒂克 25 2009 强盗、元帅和守卫：超树宽度的博弈论和逻辑特征。 Zbl 1054.68044号 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 25 2003 面向更具表现力的本体语言：查询应答问题。 Zbl 1270.68293号 安德烈·卡利;乔治·戈特洛布;安德烈亚斯·皮耶利斯 25 2012 逻辑程序推导：语义和复杂性。 Zbl 0893.68022号 托马斯·艾特;乔治·戈特洛布;Leone，尼古拉 24 1997 超树宽度和相关超图不变量。 邮编1127.05065 艾德勒，伊索尔德;乔治·戈特洛布;马丁·格罗 19 2007 查询受保护的碎片。 Zbl 1314.68146号 文斯·巴拉尼;乔治·戈特洛布;马丁·奥托 19 2014 有界树宽度是知识表示和推理可处理性的关键。 Zbl 1185.68690号 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 18 2010 NP树和Carnap's模态逻辑。 Zbl 0886.68069号 乔治·戈特洛布 17 1995 伙伴单位问题的优化方法。 Zbl 1302.90164号 马库斯·阿斯辛格;康拉德·德雷舍尔;格哈德·弗里德里希;乔治·戈特洛布;彼得·杰文斯;安娜·里亚布肯;叶夫根尼·托尔斯滕森 17 2011 树上的连接查询。 Zbl 1326.68110号 乔治·戈特洛布;科赫，克里斯托夫;克劳斯·舒尔茨。 16 2006 关于包容算法的效率。 Zbl 0633.68028号 戈特洛布，G。;A.莱奇。 15 1985 超树分解：一项调查。 兹比尔1001.05087 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切洛 15 2001 基于本体的数据访问中查询重写的代价。 Zbl 1390.68246号 乔治·戈特洛布;斯坦尼斯拉夫·基科特;罗马人孔查科夫;弗拉基米尔·波多尔斯基;托马斯·施温蒂克;迈克尔·扎克哈里亚舍夫 14 2014 将默认逻辑转换为标准自认知逻辑。 Zbl 0884.03025号 乔治·戈特洛布 13 1995 承诺和暗示。 兹比尔062968091 乔治·戈特洛布 13 1987 有界树宽有限结构上的一元数据日志。 Zbl 1351.68110号 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 12 2010 关于单调对偶和生成超图断面的新结果。 Zbl 1192.68356号 托马斯·艾特;乔治·戈特洛布;Kazuhisa Makino 12 2002 超树分解：结构、算法和应用。 Zbl 1126.68516号 乔治·戈特洛布;马丁·格罗;尼斯雷特·穆斯利乌;马可·萨梅尔;弗朗西斯科·斯卡切罗 12 2005 缺省理论的语义和复杂性。 Zbl 1017.03515号 托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 12 1997 图上的存在二阶逻辑：绘制可处理边界。 Zbl 1316.68054号 乔治·戈特洛布;Phokion G.科莱提斯。;托马斯·施温蒂克 11 2004 删除子句中的冗余。 兹比尔0779.68015 乔治·戈特洛布;Fermüller，Christian G。 11 1993 XPath查询求值和XML类型的复杂性。 Zbl 1317.68073号 乔治·戈特洛布;科赫，克里斯托夫;莱因哈德·皮克勒;卢克·塞古芬 11 2005 关于单规则数据日志查询的复杂性。 Zbl 1055.68033号 乔治·戈特洛布;克里斯托斯·帕帕迪米特里奥 11 2003 本体数据库的查询重写和优化。 兹比尔1474.68103 乔治·戈特洛布;乔治·奥尔西;安德烈亚斯·皮耶利斯 11 2014 有限序结构上的相对逻辑空间和广义量词。 Zbl 0882.03031号 乔治·戈特洛布 10 1997 正在计算LOGCFL证书。 Zbl 0992.68062号 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 10 2002 多截问题的逻辑方法。 Zbl 1190.90032号 乔治·戈特洛布;李，斯蒂芬妮·田 10 2007 通过基于超图的结构限制的可追踪优化问题。 Zbl 1248.68246号 乔治·戈特洛布;吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 10 2009 对Armstrong关系、依赖推理和排除函数依赖的研究。 兹比尔0727.68026 戈特洛布，G。;利布金，L。 10 1990 简洁是逻辑形式主义中复杂性的来源。 Zbl 0933.03048号 乔治·戈特洛布;尼古拉·利昂;赫尔穆特·维思 9 1999 数据交换中的高效核心计算。 Zbl 1326.68124号 乔治·戈特洛布;阿兰·纳什 9 2008 通过逻辑实现超图对偶问题的新上界。 Zbl 1395.68151号 乔治·戈特洛布;恩里科·马利齐亚 8 2014 二阶逻辑和弱指数层次结构。 兹比尔1193.68115 乔治·戈特洛布;尼古拉·利昂;赫尔穆特·维思 8 1995 Datalog LITE：带有线性时间模型检查的演绎查询语言。 Zbl 1365.68203号 乔治·戈特洛布;埃里希·格拉德尔;赫尔穆特·维思 8 2002 通过移位操作将析取语义减少为非析取语义。 Zbl 0863.68088号 尤尔根·迪克斯;乔治·戈特洛布;威克托·马雷克 7 1996 稳定且基础良好的语义的非基础实现。 Zbl 0872.68108号 乔治·戈特洛布;雪莉·马库斯;尼禄，阿尼尔;格诺·萨尔泽;苏布拉马尼安。 7 1996 嵌套反事实和迭代知识库修订的复杂性。 Zbl 0869.68045号 托马斯·艾特;乔治·戈特洛布 7 1996 超树宽度和相关超图不变量。 兹比尔1192.05104 艾索尔德·阿德勒;乔治·戈特洛布;格罗赫，马丁 7 2005 描述逻辑Horn-\（\mathcal{SHIQ}\）中的查询应答。 Zbl 1178.68558号 托马斯·艾特;乔治·戈特洛布;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 7 2008 使用ARMs：Herbrand模型原子表示的复杂性结果。 Zbl 1007.03009号 乔治·戈特洛布;莱因哈德·皮克勒 7 2001 DLV系统。 Zbl 1014.68871号 尼古拉·利昂;杰拉尔德·菲佛;沃尔夫冈·费伯;弗朗西斯科·卡利默里;蒂娜·德尔阿米;托马斯·艾特;乔治·戈特洛布;乔瓦姆巴蒂斯塔·伊安尼;朱塞佩·埃尔帕;科赫，克里斯托夫;西蒙娜·佩里;Polleres，阿克塞尔 7 2002 Datalog\（+/-\）本体中概率不确定性下的查询应答。 Zbl 1308.68113号 乔治·戈特洛布;托马斯·卢卡西维奇;Martinez、Maria Vanina;杰拉尔多·西马里一世。 7 2013 分解组合拍卖并设置打包问题。 Zbl 1281.91088号 乔治·戈特洛布;吉安路易吉·格雷科 7 2013 一种基于回溯的超树分解算法。 Zbl 1284.05284号 乔治·戈特洛布;马可·萨梅尔 7 2009 查询具有传递性的受保护片段。 兹比尔1335.68078 乔治·戈特洛布;安德烈亚斯·皮耶利斯;Tendera，莉迪亚 7 2013 在最小约束网络上。 Zbl 1270.68268号 乔治·戈特洛布 7 2012 平稳不动点语义下缺省推理的复杂性。 Zbl 0832.68097号 乔治·戈特洛布 6 1995 有限结构上二阶逻辑的范式，以及NP优化问题的分类。 Zbl 0883.03015号 托马斯·艾特;乔治·戈特洛布;尤里·古里维奇 6 1996 一致视图的属性和更新数据语义。 Zbl 0665.68089号 格奥尔格·戈特洛布;保罗·保里尼;罗伯托·齐卡里 6 1988 从限定中消除可变谓词的有效方法。 Zbl 0762.03013号 马可·卡多利;托马斯·艾特;乔治·戈特洛布 6 1992 语义web数据库的数据日志及其扩展。 Zbl 1251.68088号 乔治·戈特洛布;乔治·奥尔西;安德烈亚斯·皮耶利斯;西蒙库斯，曼塔斯 6 2012 复杂性类\（\varTheta^\mathrm{p} _2\)：人工智能和模态逻辑的最新结果和应用。 Zbl 1507.68121号 托马斯·艾特;乔治·戈特洛布 6 1997 人工智能和非单调推理中的固定参数复杂性。 Zbl 0955.68057号 乔治·戈特洛布;弗朗西斯科·斯卡切罗;玛莎·西德丽 5 1999 关于非冗余FD盖的尺寸。 Zbl 0653.68110号 乔治·戈特洛布 5 1987 用简约和适度接地气的展开式进行推理。 Zbl 0772.68081号 托马斯·艾特;乔治·戈特洛布 5 1992 结构分解方法及其优点。 Zbl 1230.68157号 马库斯·阿斯辛格;康拉德·德雷舍尔;乔治·戈特洛布;彼得·杰文斯;叶夫根尼·托尔斯滕森 5 2011 声明性信息提取、Web爬行和使用Lixto的递归包装。 Zbl 1007.68742号 罗伯特·鲍姆加特纳;塞尔吉奥·弗莱斯卡;乔治·戈特洛布 5 2001 一致约束满足问题和数据库理论。 Zbl 1171.68501号 弗朗西斯科·斯卡切罗;乔治·戈特洛布;吉安路易吉·格雷科 5 2008 结合存在规则的可判定性范例。 Zbl 1286.68044号 乔治·戈特洛布;马可·曼纳;安德烈亚斯·皮耶利斯 5 2013 超级工作台。超图和实证结果的基准和工具。 Zbl 1499.68269号 沃尔夫冈·费希尔;乔治·戈特洛布;大卫·马里奥·隆戈;莱因哈德·皮克勒 5 2021 模型检验中的超图：无环性和超宽与clique-width。 Zbl 0987.68046号 乔治·戈特洛布;莱因哈德，皮克勒 4 2001 从数据实例发现架构映射。 Zbl 1327.68092号 格奥尔格·戈特洛布;皮埃尔·塞内拉特 4 2010 快速包容算法。 Zbl 0588.68044号 戈特洛布，G。;A.莱奇。 4 1985 超图横向。 Zbl 1202.68281号 乔治·戈特洛布 4 2004 字符串上的存在二阶逻辑。 Zbl 1095.03503号 托马斯·艾特;尤里·古里维奇;乔治·戈特洛布 4 2000 保护存在规则和描述逻辑的稳定模型语义：可判定性和复杂性。 Zbl 1499.68087号 乔治·戈特洛布;安德烈·赫尼奇;克莱门斯·库普克;托马斯·卢卡西维奇 4 2021 关于具有线性反例的ACTL公式。 Zbl 0990.68102号 弗朗西斯科·布卡弗里;托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 三 2001 通过逻辑实现超图对偶问题的新上界。 Zbl 1506.68037号 乔治·戈特洛布;恩里科·马利齐亚 三 2018 累积默认逻辑：有限特征、算法和复杂性。 Zbl 0821.68111号 乔治·戈特洛布;张明义 三 1994 论析取存在规则下本体论推理的复杂性。 Zbl 1365.68405号 乔治·戈特洛布;玛娜，马可;迈克尔·莫拉克;安德烈亚斯·皮耶利斯 三 2012 模型检查中的超图：非循环性和超树宽度与团宽度的关系。 Zbl 1062.03028号 乔治·戈特洛布;莱因哈德·皮克勒 三 2004 基于规则的查询应答的基础。 Zbl 1170.68646号 弗朗索瓦·布里;诺伯特·艾辛格;托马斯·艾特;蒂姆·弗切;乔治·戈特洛布;克莱门斯·莱伊;Benedikt Linse公司;莱因哈德·皮克勒;魏芳 三 2007 计算逻辑和证明理论。第五届库尔特·哥德尔学术讨论会，1997年。1997年8月25日至29日，奥地利维也纳。诉讼程序。 Zbl 0870.00023号 2 1997 带函数的析取逻辑程序的稳定模型语义的表达。 Zbl 0890.68030号 托马斯·艾特;乔治·戈特洛布 2 1997 关系数据库中属性值的选择性继承。 Zbl 0767.68031号 戈特洛布，G。;施勒夫，M。;M·斯坦普特纳。 2 1992 默认逻辑的良好语义。 Zbl 0902.03013号 格哈德·布鲁卡;乔治·戈特洛布 2 1997 对S5的卡纳皮亚延伸进行回顾。 Zbl 0922.03022号 乔治·戈特洛布 2 1999 数据日志已重新加载。2010年3月16日至19日，英国牛津，Datalog 2010，第一次国际研讨会。修改选定的论文。 Zbl 1233.68027号 2 2011 基于逻辑的诱拐的复杂性。 兹比尔0799.68089 托马斯·艾特;乔治·戈特洛布 2 1993 分布式XML设计。 Zbl 1246.68066号 阿比特布尔，S。;戈特洛布，G。;M.曼纳。 2 2011 约束满足的超一致性宽度：算法和复杂性结果。 Zbl 1194.68126号 乔治·戈特洛布;吉安路易吉·格雷科;布鲁诺·马内特 2 2009 命题默认逻辑变得更容易：模型检查的计算复杂性。 兹比尔1061.68068 罗伯特·鲍姆加特纳;乔治·戈特洛布 2 2002 约束满足问题的快速并行分解。 Zbl 07594545号 乔治·戈特洛布;塞姆·奥库莫斯;莱因哈德·皮克勒 2 2022 超级工作台。超图和实证结果的基准和工具。 Zbl 1499.68269号 沃尔夫冈·费希尔;乔治·戈特洛布;大卫·马里奥·隆戈;莱因哈德·皮克勒 5 2021 保护存在规则和描述逻辑的稳定模型语义：可判定性和复杂性。 Zbl 1499.68087号 乔治·戈特洛布;安德烈·赫尼奇;克莱门斯·库普克;托马斯·卢卡西维奇 4 2021 广义和分数超树分解的复杂性分析。 兹比尔1499.68272 乔治·戈特洛布;马蒂亚斯·兰辛格;莱因哈德，皮克勒;伊戈尔·拉兹贡 2 2021 保护本体论中介的查询。 Zbl 07442307号 巴勃罗·巴塞洛;杰拉尔德·伯杰;乔治·戈特洛布;安德烈亚斯·皮耶利斯 1 2021 一元数据日志、树有效性和有限访问控制。 Zbl 1433.68115号 迈克尔·本尼迪克特;皮埃尔·布赫斯;乔治·戈特洛布;皮埃尔·塞内拉特 2 2020 联合查询的语义优化。 Zbl 1499.68085号 巴勃罗·巴塞洛;迭戈·菲格拉;乔治·戈特洛布;安德烈亚斯·皮耶利斯 1 2020 有界多交超图的分数覆盖。 Zbl 07559412号 乔治·戈特洛布;马蒂亚斯·兰辛格;莱因哈德·皮克勒;伊戈尔·拉兹贡 1 2020 HyperTrac项目：超图分解的最新进展和未来研究方向。 Zbl 07636008号 乔治·戈特洛布;马蒂亚斯·兰辛格;大卫·马里奥·隆戈;塞姆·奥库莫斯;莱因哈德·皮克勒 1 2020 Vadalog：最新进展和应用。 Zbl 1525.68168号 格奥尔格·戈特洛布;安德烈亚斯·皮耶利斯;伊曼纽尔·萨林格 1 2019 通过逻辑实现超图对偶问题的新上界。 Zbl 1506.68037号 乔治·戈特洛布;恩里科·马利齐亚 三 2018 纪念赫尔穆特·维思的特刊前言。 Zbl 1384.00074号 1 2017 合作伙伴单位配置问题的可牵引性边界。 Zbl 1338.68045号 埃里希·克里斯蒂安·特潘;格哈德·弗里德里希;乔治·戈特洛布 2 2016 查询受保护的碎片。 Zbl 1314.68146号 Bárány，文斯;乔治·戈特洛布;马丁·奥托 19 2014 基于本体的数据访问中查询重写的代价。 Zbl 1390.68246号 乔治·戈特洛布;斯坦尼斯拉夫·基科特;罗马人孔查科夫;弗拉基米尔·波多尔斯基;托马斯·施温蒂克;迈克尔·扎克哈里亚舍夫 14 2014 本体数据库的查询重写和优化。 Zbl 1474.68103号 乔治·戈特洛布;乔治·奥尔西;安德烈亚斯·皮耶利斯 11 2014 通过逻辑实现超图对偶问题的新上界。 Zbl 1395.68151号 乔治·戈特洛布;恩里科·马利齐亚 8 2014 LoCo–配置问题的逻辑。 Zbl 1354.68246号 马库斯·阿辛格;康拉德·德雷舍尔;乔治·戈特洛布;赫里伯特沃尔默 1 2014 驯服无限追赶：表达关系约束下的查询应答。 Zbl 1361.68221号 安德烈·卡利;乔治·戈特洛布;迈克尔·基弗 41 2013 Datalog\（+/-\）本体中概率不确定性下的查询应答。 Zbl 1308.68113号 乔治·戈特洛布;托马斯·卢卡西维奇;Martinez、Maria Vanina;杰拉尔多·西马里。 7 2013 分解组合拍卖并设置打包问题。 Zbl 1281.91088号 格奥尔格·戈特洛布;吉安路易吉·格雷科 7 2013 查询具有传递性的受保护片段。 Zbl 1335.68078号 乔治·戈特洛布;安德烈亚斯·皮耶利斯;利迪亚·坦德拉 7 2013 结合存在规则的可判定性范例。 Zbl 1286.68044号 乔治·戈特洛布;马可·曼纳;安德烈亚斯·皮耶利斯 5 2013 面向更具表现力的本体语言：查询应答问题。 Zbl 1270.68293号 安德烈·卡利;乔治·戈特洛布;安德烈亚斯·皮耶利斯 25 2012 在最小约束网络上。 Zbl 1270.68268号 乔治·戈特洛布 7 2012 语义web数据库的数据日志及其扩展。 Zbl 1251.68088号 格奥尔格·戈特洛布;乔治·奥尔西;安德烈亚斯·皮耶利斯;Šimkus，曼塔斯 6 2012 论析取存在规则下本体论推理的复杂性。 Zbl 1365.68405号 乔治·戈特洛布;马可·曼纳;迈克尔·莫拉克;安德烈亚斯·皮耶利斯 三 2012 基于本体的web语义搜索及其与归纳推理能力的结合。 Zbl 1254.68112号 d）；克劳迪娅·阿马托;尼古拉·法尼兹;贝蒂娜·法辛加;乔治·戈特洛布;托马斯·卢卡塞维奇 2 2012 查询UML类图。 Zbl 1352.68058号 安德烈·卡利;乔治·戈特洛布;乔治·奥尔西;安德烈亚斯·皮耶利斯 1 2012 联合查询的大小和树宽边界。 Zbl 1281.68097号 乔治·戈特洛布;李，斯蒂芬妮·田;格雷戈里·瓦利安特;保罗·瓦利安 1 2012 伙伴单位问题的优化方法。 Zbl 1302.90164号 马库斯·阿斯辛格;康拉德·德雷舍尔;格哈德·弗里德里希;乔治·戈特洛布;彼得·杰文斯;安娜·里亚布肯;叶夫根尼·托尔斯滕森 17 2011 结构分解方法及其优点。 Zbl 1230.68157号 马库斯·阿斯辛格;康拉德德累歇尔;乔治·戈特洛布;彼得·杰文斯;叶夫根尼·托尔斯滕森 5 2011 数据日志已重新加载。2010年3月16日至19日，英国牛津，Datalog 2010，第一次国际研讨会。修订了选定的论文。 Zbl 1233.68027号 2 2011 分布式XML设计。 Zbl 1246.68066号 阿比特布尔，S。;戈特洛布，G。;M.曼纳。 2 2011 有界树宽是知识表示和推理可处理性的关键。 Zbl 1185.68690号 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 18 2010 有界树宽有限结构上的一元数据日志。 Zbl 1351.68110号 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 12 2010 从数据实例发现架构映射。 Zbl 1327.68092号 乔治·戈特洛布;皮埃尔·塞内拉特 4 2010 广义超树分解：NP-harrdness和易处理变体。 Zbl 1325.68097号 乔治·戈特洛布;佐尔坦·米克洛斯;托马斯·施温蒂克 25 2009 通过基于超图的结构限制的可追踪优化问题。 Zbl 1248.68246号 乔治·戈特洛布;吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 10 2009 一种基于回溯的超树分解算法。 兹比尔1284.05824 乔治·戈特洛布;马可·萨梅尔 7 2009 约束满足的超一致性宽度：算法和复杂性结果。 Zbl 1194.68126号 乔治·戈特洛布;吉安路易吉·格雷科;布鲁诺·马内特 2 2009 单调二元化的计算方面：一个简短的调查。 Zbl 1160.68016号 托马斯·艾特;Kazuhisa Makino;乔治·戈特洛布 49 2008 数据交换中的高效核心计算。 Zbl 1326.68124号 乔治·戈特洛布;纳什，艾伦 9 2008 描述逻辑Horn-\（\mathcal{SHIQ}\）中的查询应答。 Zbl 1178.68558号 托马斯·艾特;乔治·戈特洛布;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯 7 2008 一致约束满足问题和数据库理论。 Zbl 1171.68501号 弗朗西斯科·斯卡切罗;乔治·戈特洛布;吉安路易吉·格雷科 5 2008 超树宽度和相关超图不变量。 邮编1127.05065 艾索尔德·阿德勒;乔治·戈特洛布;马丁·格罗 19 2007 多截问题的逻辑方法。 Zbl 1190.90032号 乔治·戈特洛布;李，斯蒂芬妮·田 10 2007 基于规则的查询应答的基础。 Zbl 1170.68646号 弗朗索瓦·布里;诺伯特·艾辛格;托马斯·艾特;蒂姆·弗切;格奥尔格·戈特洛布;克莱门斯·莱伊;Benedikt Linse公司;莱因哈德·皮克勒;魏芳 三 2007 用于知识表示和推理的DLV系统。 Zbl 1367.68308号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;托马斯·艾特;乔治·戈特洛布;西蒙娜·佩里;弗朗西斯科·斯卡切罗 165 2006 树上的连接查询。 Zbl 1326.68110号 格奥尔格·戈特洛布;科赫，克里斯托夫;克劳斯·舒尔茨。 16 2006 可视化web包装生成器的形式比较。 Zbl 1175.68096号 乔治·戈特洛布;科赫，克里斯托夫 1 2006 纯粹的纳什均衡：困难和简单的游戏。 Zbl 1134.91312号 戈特洛布，G。;格雷科，G。;F·斯卡切罗。 49 2005 超树分解：结构、算法和应用。 Zbl 1126.68516号 乔治·戈特洛布;马丁·格罗;尼斯雷特·穆斯利乌;马可·萨梅尔;弗朗西斯科·斯卡切罗 12 2005 XPath查询求值和XML类型的复杂性。 Zbl 1317.68073号 乔治·戈特洛布;科赫，克里斯托夫;莱因哈德·皮克勒;卢克·塞古芬 11 2005 超树宽度和相关超图不变量。 Zbl 1192.05104号 艾德勒，伊索尔德;乔治·戈特洛布;马丁·格罗 7 2005 命题嵌套限定和嵌套异常理论的复杂性。 Zbl 1367.68276号 马可·卡多利;托马斯·艾特;乔治·戈特洛布 1 2005 Monadic Datalog和web信息提取语言的表达能力。 Zbl 1316.68045号 乔治·戈特洛布;科赫，克里斯托夫 26 2004 图上的存在二阶逻辑：绘制可处理边界。 Zbl 1316.68054号 格奥尔格·戈特洛布;Phokion G.科莱蒂斯。;托马斯·施温蒂克 11 2004 超图横向。 Zbl 1202.68281号 乔治·戈特洛布 4 2004 模型检验中的超图：无环性和超宽与clique-width。 Zbl 1062.03028号 乔治·戈特洛布;莱因哈德·皮克勒 三 2004 有限结构上的二阶逻辑——研究计划报告。 Zbl 1126.68567号 乔治·戈特洛布 1 2004 关于单调对偶和生成超图断面的新结果。 Zbl 1052.68101号 托马斯·艾特;乔治·戈特洛布;Kazuhisa Makino 44 2003 强盗、元帅和守卫：超树宽度的博弈论和逻辑特征。 Zbl 1054.68044号 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 25 2003 关于单规则数据日志查询的复杂性。 兹比尔1055.68033 乔治·戈特洛布;克里斯托斯·帕帕迪米特里奥 11 2003 超树分解和可处理的查询。 Zbl 1052.68025号 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 69 2002 超图横向计算及其在逻辑和人工智能中的相关问题。 Zbl 1013.68143号 托马斯·艾特;乔治·戈特洛布 31 2002 人工智能和非单调推理中的固定参数复杂性。 Zbl 0995.68118号 乔治·戈特洛布;弗朗西斯科·斯卡切罗;玛莎·西德丽 29 2002 关于单调对偶和生成超图断面的新结果。 兹比尔1192.68356 托马斯·艾特;乔治·戈特洛布;Kazuhisa Makino 12 2002 正在计算LOGCFL证书。 Zbl 0992.68062号 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 10 2002 Datalog LITE：带有线性时间模型检查的演绎查询语言。 Zbl 1365.68203号 乔治·戈特洛布;埃里希·格拉德尔;赫尔穆特·维思 8 2002 DLV系统。 Zbl 1014.68871号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;弗朗西斯科·卡利默里;戴尔；蒂娜·阿米;托马斯·艾特;乔治·戈特洛布;乔瓦姆巴蒂斯塔·伊安尼;朱塞佩·埃尔帕;克里斯托弗·科赫;西蒙娜·佩里;Polleres，阿克塞尔 7 2002 命题默认逻辑变得更容易：模型检查的计算复杂性。 兹比尔1061.68068 罗伯特·鲍姆加特纳;乔治·戈特洛布 2 2002 多代理折衷、联合固定点和稳定模型。 Zbl 1012.68191号 弗朗西斯科·布卡弗里;乔治·戈特洛布 2 2002 字符串上的二阶逻辑：正则和非正则片段。 Zbl 1073.03006号 托马斯·艾特;乔治·戈特洛布;托马斯·施温蒂克 2 2002 非循环连接查询的复杂性。 Zbl 1323.68250号 格奥尔格·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 32 2001 超树分解：一项调查。 Zbl 1001.05087号 乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 15 2001 使用ARMs：Herbrand模型原子表示的复杂性结果。 Zbl 1007.03009号 乔治·戈特洛布;莱因哈德·皮克勒 7 2001 声明性信息提取、Web爬行和使用Lixto的递归包装。 Zbl 1007.68742号 罗伯特·鲍姆加特纳;塞尔吉奥·弗莱斯卡;乔治·戈特洛布 5 2001 模型检验中的超图：无环性和超宽与clique-width。 Zbl 0987.68046号 乔治·戈特洛布;莱因哈德·皮克勒 4 2001 关于具有线性反例的ACTL公式。 兹比尔0990.68102 弗朗西斯科·布卡弗里;托马斯·艾特;乔治·戈特洛布;Leone，尼古拉 三 2001 结构CSP分解方法的比较。 Zbl 0952.68044号 戈特洛布，G。;北卡罗来纳州塞拉利昂。;F·斯卡切罗。 58 2000 字符串上的存在二阶逻辑。 Zbl 1095.03503号 托马斯·艾特;尤里·古里维奇;乔治·戈特洛布 4 2000 某些特征向量问题的简约性结果。 Zbl 0967.65050号 托马斯·艾特;乔治·戈特洛布 1 2000 论理论遏制的复杂性。 兹伯利0988.68176 托马斯·艾特;乔治·戈特洛布 1 2000 利用人工智能技术加强验证中的模型检查。 Zbl 0996.68104号 弗朗西斯科·布卡弗里;托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 44 1999 简洁是逻辑形式主义复杂性的根源。 Zbl 0933.03048号 乔治·戈特洛布;尼古拉·利昂;赫尔穆特·维思 9 1999 人工智能和非单调推理中的固定参数复杂性。 Zbl 0955.68057号 乔治·戈特洛布;弗朗西斯科·斯卡切罗;玛莎·西德丽 5 1999 对S5的卡纳皮亚延伸进行回顾。 Zbl 0922.03022号 乔治·戈特洛布 2 1999 逻辑程序中的广义量词。 Zbl 0966.68043号 托马斯·艾特;乔治·戈特洛布;赫尔穆特·维思 1 1999 无顺序地捕获相对化的复杂性类。 Zbl 0892.03010号 阿努吉·达瓦尔;格奥尔格·戈特洛布;你好，劳里 1 1998 逻辑程序推导：语义和复杂性。 Zbl 0893.68022号 托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 24 1997 缺省理论的语义和复杂性。 Zbl 1017.03515号 托马斯·艾特;乔治·戈特洛布;尼古拉·利昂 12 1997 有限序结构上的相对逻辑空间和广义量词。 Zbl 0882.03031号 乔治·戈特洛布 10 1997 复杂度类\（\varTheta^\mathrm{p} _2\)：人工智能和模态逻辑的最新结果和应用。 Zbl 1507.68121号 托马斯·艾特;乔治·戈特洛布 6 1997 计算逻辑和证明理论。第五届库尔特·哥德尔学术讨论会，1997年。1997年8月25日至29日，奥地利维也纳。诉讼程序。 Zbl 0870.00023号 2 1997 带函数的析取逻辑程序的稳定模型语义的表达。 Zbl 0890.68030号 托马斯·艾特;乔治·戈特洛布 2 1997 默认逻辑的良好语义。 Zbl 0902.03013号 格哈德·布鲁卡;乔治·戈特洛布 2 1997 通过移位操作将析取语义减少为非析取语义。 Zbl 0863.68088号 尤尔根·迪克斯;乔治·戈特洛布;威克托·马雷克 7 1996 稳定且基础良好的语义的非基础实现。 Zbl 0872.68108号 格奥尔格·戈特洛布;雪莉·马库斯;尼禄，阿尼尔;格诺·萨尔泽;苏布拉马尼安。 7 1996 嵌套反事实和迭代知识库修订的复杂性。 Zbl 0869.68045号 托马斯·艾特;乔治·戈特洛布 7 1996 …还有28个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1524位作者引用 56 乔治·戈特洛布 47 托马斯·艾特 32 斯特凡·沃尔特兰 31 尼古拉·利昂 21 吉安路易吉·格雷科 21 莱因哈德·皮克勒 21 斯泽德，斯特凡 20 弗朗西斯科·里卡 18 弗朗西斯科·斯卡切罗 18 托尔斯滕·绍布（Torsten H.Schaub）。 18 特鲁什琴斯基，米洛斯奥 16 Elbassoni，Khaled M。 16 马丁·格布瑟 14 保罗·利伯拉托雷 14 Kazuhisa Makino 14 安德烈亚斯·皮耶利斯 13 沃尔夫冈·费伯 12 马里奥·阿尔维亚诺 12 马可·卡多利 12 卡明·多达罗 12 托马斯·卢卡西维奇 11 巴勃罗·巴塞洛 11 弗拉基米尔·古尔维奇。 11 马马杜·穆斯塔法·坎特 11 努林，Lhouari 10 乔瓦尼·阿蒙多拉 10 恩德雷·博罗斯 10 汤米·詹胡宁 10 列奥尼德·根里霍维奇·哈奇扬 10 马可·马拉提亚 10 路易吉·帕洛波利 9 Giampiero Chiaselotti 9 迈克尔·芬克 9 迈克尔·盖尔芬德 9 詹蒂莱，托马索 9 茨城，东芝 9 Leonid O·利金。 9 迈克尔·莫拉克 9 塞巴斯蒂安·奥德尼亚克 9 史蒂文·肖卡特 9 西蒙库斯，曼塔斯 9 竹木优诺 8 雷切尔·本·埃利亚胡·佐哈里 8 Michael A.Benedikt。 8 德科克，玛蒂娜 8 詹姆斯·德尔格兰德。 8 约翰·克劳斯·费希特 8 马丁·格罗 8 Infusino，Federico G。 8 彼得·琼森 8 马可·曼纳 8 马格达莱娜·奥尔蒂斯 8 恰基萨卡马 8 马尔科·谢尔夫 8 十个Cate，Balder David 8 王克文 7 法布里西奥·安吉乌利 7 罗伯特·加尼安 7 埃里克·格雷戈里 7 安德烈·克鲁金（Andrei A.Krokhin）。 7 卡斯滕·卢茨 7 玛丽，阿尔诺 7 约阿希姆·尼伦 7 托马斯·施温蒂克 7 汉斯·托姆皮茨 6 利奥波多·贝尔托西。 6 纳迪亚·克里诺 6 杰诺斯·德梅特罗维奇 6 阿诺·杜兰德 6 费利克斯·费舍尔 6 Petr A.Golovach。 6 安东尼·亨特 6 井上，胜美 6 杰罗姆·朗 6 林方珍 6 Joáo P.塞尔瓦侯爵。 6 阿恩·迈尔 6 克里斯蒂安·莫里纳罗 6 塞尔娜·伊格莱西亚斯（Serna Iglesias）、玛丽亚·何塞（Maria José） 6 沈一东 6 赫里贝特·沃尔默 6 张燕 6 斯坦尼斯拉夫·伊文 5 巴特·博加特 5 费利克斯·勃兰特 5 格哈德·布鲁卡 5 弗洛伦特·卡佩利 5 卢西亚诺卡罗普莱斯 5 伯纳多·昆卡·格劳 5 维克托·达尔莫 5 弗朗西斯科·多尼尼。 5 冯其龙 5 劳伦特·加西亚 5 塞尔盖·加斯佩斯 5 马库斯·赫彻 5 Heggenes，皮纳尔 5 米基·赫尔曼 5 迪特尔·克拉奇 5 托马斯·克伦瓦尔纳 5 V.Wiktor马雷克 …还有1424名作者 全部的 前5名108篇连载文章中引用 173 人工智能 94 理论计算机科学 83 逻辑程序设计理论与实践 60 计算机与系统科学杂志 43 数学与人工智能年鉴 39 离散应用数学 28 计算系统理论 25 信息与计算 25 国际近似推理杂志 21 信息处理信件 19 约束条件 14 算法 14 ACM计算逻辑汇刊 11 自动化推理杂志 11 人工智能研究杂志 11 计算机科学中的逻辑方法 9 SIAM计算机杂志 9 应用逻辑杂志 8 离散数学 8 计算机科学与技术杂志 8 应用非经典逻辑杂志 6 信息科学 6 符号逻辑杂志 5 逻辑、语言与信息杂志 5 组合优化期刊 4 计算机与数学及其应用 4 模糊集与系统 4 Studia Logica公司 4 机器学习 4 ACM实验算法杂志 三 信息学报 三 纯逻辑与应用逻辑年鉴 三 符号计算杂志 三 SIAM离散数学杂志 三 游戏与经济行为 三 欧洲运筹学杂志 三 数学逻辑档案 三 系统设计中的形式化方法 三 美国医学会杂志 三 离散数学和理论计算机科学。DMTCS公司 三 RAIRO公司。理论信息学及其应用 三 计算机基础理论 三 离散算法杂志 三 计算机科学评论 2 哲学逻辑杂志 2 合成 2 欧洲组合数学杂志 2 AI通信 2 计算几何 2 MSCS公司。计算机科学中的数学结构 2 国际博弈论综述 2 离散优化 2 当代数学硕士 2 计算机科学前沿 2 Prikladnaya Diskretnaya Matematika公司 1 数学物理中的通信 1 数学生物学杂志 1 Annali di Matematica Pura ed Applicata公司。四分之一系列 1 应用数学与计算 1 自动化 1 组合理论杂志。B系列 1 网络 1 圣母院形式逻辑杂志 1 理论与决策 1 数学社会科学 1 运筹学信函 1 应用数学学报。英语系列 1 图与组合 1 离散和计算几何 1 国际智能系统杂志 1 并行与分布式计算杂志 1 运筹学年鉴 1 应用概率年鉴 1 计算统计学 1 计算数学和数学物理 1 自动化和远程控制 1 分布式计算 1 数学成像与视觉杂志 1 计算复杂性 1 计算与应用数学 1 应用Clifford代数的进展 1 函数编程杂志 1 符号逻辑公报 1 中国科学。E系列 1 工程中的数学问题 1 优化方法和软件 1 开放系统与信息动力学 1 软计算 1 武汉大学自然科学学报 1 离散数学科学与密码学杂志 1 高阶和符号计算 1 RAIRO公司。运筹学 1 澳大利亚数学学会杂志 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 计算机语言、系统和结构 1 代数及其应用杂志 1 Annali dell'费拉拉大学。塞齐奥内七世。科学Matematiche 1 国际语义计算杂志 1 应用分析与离散数学 1 非线性分析。混合动力系统 …还有8部连续剧 全部的 前5名32个字段中引用 1,001 计算机科学（68至XX） 205 数学逻辑和基础（03-XX） 136 组合数学（05-XX） 68 博弈论、经济学、金融和其他社会和行为科学（91-XX） 62 运筹学、数学规划（90-XX） 31 阶、格、有序代数结构（06-XX） 24 系统理论；控制（93至XX） 14 生物学和其他自然科学（92-XX） 14 信息与通信理论、电路（94-XX） 7 统计学（62-XX） 6 凸几何和离散几何（52至XX） 5 线性代数和多线性代数；矩阵理论（15-XX） 5 概率论与随机过程（60-XX） 4 历史和传记（01-XX） 4 一般代数系统（08-XX） 4 常微分方程（34-XX） 三 总体主题；集合（00-XX） 三 范畴理论；同调代数（18-XX） 三 数值分析（65-XX） 2 量子理论（81-XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 群论与推广（20-XX） 1 算子理论（47-XX） 1 变分法与最优控制；最优化（49至XX） 1 几何形状（51至XX） 1 一般拓扑结构（54至XX） 1 代数拓扑（55-XX） 1 粒子和系统力学（70-XX） 1 统计力学，物质结构（82-XX） 1 地球物理学（86-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.