编辑配置文件(在新选项卡中打开) 特鲁什琴斯基,米洛斯奥 合著者距离 作者ID: 罗斯劳 发布日期: 特鲁什琴斯基,米洛斯奥;米罗斯瓦·特鲁什琴斯基;特鲁什琴斯基,米罗斯劳;特鲁什琴斯基,M。;特鲁什琴斯基,M。;特鲁兹钦斯基(Truszczynski,Mirosław);米罗斯拉夫·特鲁什琴斯基;米洛斯亚夫特鲁什琴斯基;米洛斯·特鲁西恩斯基 更多。。。较少的 主页: https://www.cs.uky.edu/~米雷克/ 外部链接: MGP公司·数据库管理程序 已编制索引的文档: 155出版物自1978年以来,包括2本书 8作为编辑的贡献 审查活动: 68评论 合著者: 69合著者具有124联合出版物 2248位合作作者 全部的 前5名合著者 37 单作者的 38 V.Wiktor马雷克 17 兹比格尼乌·隆克 8 斯特凡·沃尔特兰 6 卢西亚诺卡罗普莱斯 6 马克·德内克 6 刘冷宁 6 刘旭东 5 菲利斯·茨威格·钦 5 东,黛博拉 5 罗伯特·布鲁斯·里希特 5 格里戈里·施瓦兹。 4 托马斯·艾特 4 兹索尔特图扎 3 尤利亚·利勒 3 弗拉基米尔·利夫希茨 3 阿图尔·米基图克 3 Niemelä,Ilkka N.F。 3 皮夫基纳,伊纳 3 恩里科·蓬泰利 3 简·特雷尔 3 伊琳娜·特鲁比西纳 3 埃斯特·赞帕诺 2 乔瓦尼·阿蒙多拉 2 巴威·乔利文斯基 2 迈克尔·德兰斯菲尔德。 2 乔里·恩格弗里特 2 沃尔夫冈·费伯 2 阿米莉亚·哈里森 2 加亚特里·纳马西瓦亚姆 2 弗朗西斯科·里卡 2 儿子Tran Cao 2 汉内斯·斯特拉斯 2 Traczyk,Tomasz jun。 2 朱莹 1 汤姆·奥特曼 1 愤怒,克里斯蒂安 1 Krzysztof Rafal公寓 1 保罗·博尔切特 1 格哈德·布鲁卡 1 乔·P·布勒。 1 弗朗西斯科·卡利默里 1 马雷克·克罗巴克 1 吕克·德·雷德 1 迈克尔·丁吉斯 1 桑德罗·埃塔利 1 奥黛尔·法瓦隆 1 约翰·克劳斯·费希特 1 拉斐尔·阿里·芬克尔 1 装配,梅尔文·克里斯 1 迈克尔·盖尔芬德 1 乔治·戈特洛布 1 韩一杰 1 米哈伊尔·伊卡希亚耶夫 1 乔瓦姆巴蒂斯塔·伊安尼 1 Yoshihide Igarashi 1 塞萨里伊万斯基 1 迈克尔·斯科特·雅各布森 1 Jerzy W.Jaromczyk。 1 朗,简 1 刘,刘 1 迈克尔·马赫(Michael J.Maher)。 1 简·马利 1 尼禄,阿尼尔 1 哈利娜·普尔兹穆森斯卡 1 阿科特·拉贾塞卡尔。 1 安德烈·鲁辛斯基 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 格里戈里·施瓦茨。 1 Joost Vennekens 1 大卫·斯科特·沃伦 全部的 前5名系列 14 逻辑程序设计理论与实践 9 离散数学 8 人工智能 7 数学与人工智能年鉴 6 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 5 演示数学 5 人工智能研究杂志 5 计算机科学课堂讲稿 2 Ars Combinatoria公司 2 计算机协会杂志 2 斯洛伐克数学 2 订单 2 逻辑与计算杂志 2 ACM计算逻辑事务 1 离散应用数学 1 信息处理信件 1 匈牙利数学周期 1 计算 1 组合理论杂志。系列A 1 组合理论杂志。B系列 1 图论杂志 1 理论计算机科学 1 实用数学 1 欧洲组合数学杂志 1 逻辑编程杂志 1 图与组合 1 信息与计算 1 AI通信 1 吉泰。实验与理论人工智能杂志 1 组合数学电子杂志 1 约束条件 1 IGPL逻辑杂志 1 计算机基础理论 1 逻辑研究(伦敦) 全部的 前5名领域 124 计算机科学(68至XX) 41 组合数学(05-XX) 29 数学逻辑和基础(03-XX) 9 博弈论、经济学、金融和其他社会和行为科学(91-XX) 8 总体主题;集合(00-XX) 3 有序,格,有序代数结构(06-XX) 2 历史和传记(01-XX) 1 数论(11-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 124出版物有被引用981中的次645文件 引用人▼ 年份▼ 稳定模型和替代逻辑编程范式。 Zbl 0979.68524号 维克托·马雷克。;特鲁什琴斯基,米洛斯奥 128 1999 自认知逻辑。 兹比尔0799.68176 威克托·马雷克;米罗斯瓦·特鲁什琴斯基 89 1991 非单调逻辑。上下文相关推理。雷·雷特(Ray Reiter)的前言。 Zbl 0784.03018号 马雷克,V.W。;特鲁什琴斯基,M。 85 1993 近似、稳定算子、基础良好的不动点以及在非单调推理中的应用。 Zbl 0988.68183号 马克·德内克;维克托·马雷克;特鲁什琴斯基,米洛斯奥 29 2000 析取默认值。 Zbl 0766.68127号 迈克尔·盖尔芬德;哈利娜·普尔兹穆桑斯卡;弗拉基米尔·利夫希茨;特鲁什琴斯基,米罗斯劳 29 1991 关联自认知逻辑和默认逻辑。 Zbl 0706.03024号 威克托·马雷克;特鲁什琴斯基,米洛斯奥 25 1989 终极逼近及其在非单调知识表示系统中的应用。 Zbl 1074.68069号 马克·德内克;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 24 2004 缺省逻辑和自认知逻辑的统一语义处理。 Zbl 1010.03021号 马克·德内克;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 24 2003 具有抽象约束原子的逻辑程序:计算的作用。 Zbl 1207.68119号 刘冷宁;恩里科·蓬泰利;儿子Tran Cao;特鲁什琴斯基,米罗斯劳 22 2010 关于(lambda K_{m,n})((lambdaK^*{m,n}))分解为路径的注记。 兹比尔0578.05054 特鲁什琴斯基,米洛斯奥 19 1985 重温认知规范。 Zbl 1326.68280号 特鲁什琴斯基,米洛斯奥 18 2011 将图分解为具有三条边的图。 Zbl 0604.05028号 O.法瓦龙。;Lonc,Z。;Truszczynski,M。 18 1985 CP网络中支配性和一致性的计算复杂性。 Zbl 1182.68089号 J.戈德史密斯。;J·朗。;Truszczynski,M。;N.威尔逊。 17 2008 模态非单调逻辑:范围,特征,计算。 Zbl 0783.68121号 V.Wiktor马雷克;格里戈里·施瓦兹。;特鲁什琴斯基,米洛斯奥 14 1993 具有单调抽象约束原子的逻辑程序。 Zbl 1142.68018号 维克托·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥 14 2008 正则二部图的分解。 兹比尔0754.05057 迈克尔·雅各布森。;米洛斯·特鲁西恩斯基;兹索尔特图扎 14 1991 局部Ramsey数的线性上界。 Zbl 0612.05045号 米罗斯瓦·特鲁什琴斯基;兹索尔特图扎 14 1987 答案集编程的Tarskian非正式语义。 Zbl 1281.68147号 马克·德内克;尤利亚·利勒;米罗斯瓦·特鲁什琴斯基;Joost Vennekens 14 2012 修订编程。 Zbl 0893.68054号 维克托·马雷克。;特鲁什琴斯基,米洛斯奥 13 1998 默认推理的模态逻辑。 Zbl 0871.03009号 马雷克·W·。;特鲁什琴斯基,M。 12 1990 通过还原连接一阶ASP和逻辑FO(ID)。 Zbl 1357.68225号 米罗斯瓦·特鲁什琴斯基 12 2012 非单调理论的强一致等价性——一种代数方法。 Zbl 1118.68161号 特鲁什琴斯基,米洛斯奥 11 2006 默认逻辑的模态解释。 Zbl 0747.68088号 米罗斯瓦·特鲁什琴斯基 11 1991 可满足性与范德瓦登数的计算。 Zbl 1054.05097号 迈克尔·德兰斯菲尔德。;刘冷宁;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 10 2004 大型一致超图的分解。 Zbl 0558.05048号 兹比格尼乌·隆克;特鲁什琴斯基,米罗斯劳 10 1985 命题理论的约简、可满足关系和逻辑程序语义的推广。 Zbl 1209.68101号 特鲁什琴斯基,米罗斯劳 10 2010 渐近最短半径序列的构造。 Zbl 1242.05138号 Jerzy W.Jaromczyk。;兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 10 2012 对粗糙集理论的贡献。 Zbl 0944.68051号 V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 9 1999 具有单调和凸约束的程序的性质和应用。 Zbl 1182.68043号 刘,L。;Truszczynski,M。 9 2006 图的广义局部着色。 Zbl 0769.05041号 特鲁什琴斯基,米洛斯奥 8 1992 优美的单圈图。 Zbl 0556.05056号 特鲁什琴斯基,米洛斯奥 8 1984 逻辑编程范式。25年展望。 Zbl 0919.00027号 8 1999 关于抽象模推理系统和求解器。 Zbl 1357.68230号 尤利亚·利勒;米罗斯瓦·特鲁什琴斯基 8 2016 关于图的局部着色的注记。 Zbl 0869.05027号 安德烈·鲁辛斯基;特鲁什琴斯基,米洛斯奥 7 1997 通过程序修订规范。 Zbl 0988.68626号 马雷克,V.W。;特鲁什琴斯基,M。 7 1994 计算最小模型、稳定模型和答案集。 兹比尔1110.68022 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 7 2006 使用默认逻辑进行计算。 Zbl 0996.68195号 巴威·乔利文斯基;维克托·马雷克。;阿图尔·米基图克;特鲁什琴斯基,米洛斯奥 7 1999 模型生成器的转换系统–统一方法。 Zbl 1222.68063号 尤利亚·利勒;米罗斯瓦·特鲁什琴斯基 7 2011 三分法和二分法导致了选言逻辑程序推理的复杂性。 Zbl 1242.68052号 特鲁什琴斯基,米洛斯奥 7 2011 周期上的最大份额分配。 Zbl 1492.91164号 米罗斯瓦·特鲁什琴斯基;兹比格尼乌·隆克 7 2020 最小知识问题:一种新方法。 Zbl 0820.68115号 格里戈里·施瓦兹;特鲁什琴斯基,米洛斯奥 6 1994 默认逻辑的正常形式结果。 Zbl 0819.68123号 马雷克,V.W。;Truszczynski,M。 6 1993 饱和图的渐近结果。 Zbl 0737.05058号 米罗斯瓦·特鲁什琴斯基;兹索尔特图扎 6 1991 纯粹的必然逻辑。 Zbl 0819.03011号 配件,Melvin C。;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 6 1992 逻辑程序相对于支持模型的超等价性。 Zbl 1165.68349号 特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 6 2008 稳定模型语义下无穷公式的等价性。 Zbl 1379.68070号 阿米莉亚·哈里森;弗拉基米尔·利夫希茨;米罗斯瓦·特鲁什琴斯基 6 2015 用于建模和解决搜索问题的基于谓词演算的逻辑。 Zbl 1367.68264号 东,黛博拉;特鲁什琴斯基,米罗斯劳 6 2006 关于平面图顶点度的注记。 Zbl 0539.05057号 特鲁什琴斯基,米洛斯奥 5 1984 关于唯一可着色图的一些结果。 Zbl 0578.05024号 特鲁什琴斯基,M。 5 1984 缺省逻辑的表示理论。 Zbl 0890.68121号 V.Wiktor马雷克;简·特雷尔;特鲁什琴斯基,米洛斯奥 4 1997 跳转数问题:拟阵的作用。 Zbl 0563.06001号 特鲁什琴斯基,米洛斯奥 4 1985 模态非单调逻辑,否定的应用受到限制,无法证明规则。 Zbl 0726.03022号 特鲁兹钦斯基(Truszczynski,Mirosław) 4 1991 可满足性和计算范德瓦尔登数。 兹比尔1204.05097 迈克尔·德兰斯菲尔德。;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 4 2004 逻辑编程和非单调推理。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。 Zbl 1320.68014号 4 2015 模块化编程逻辑程序的相对超等价。 Zbl 1184.68163号 特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 4 2009 简单的随机逻辑程序。 Zbl 1258.68036号 加亚特里·纳马西瓦亚姆;特鲁什琴斯基,米洛斯奥 4 2009 主动完整性约束和修订编程。 Zbl 1242.68049号 卢西亚诺卡罗普莱斯;特鲁什琴斯基,米洛斯奥 4 2011 单圈图的中心和质心。 Zbl 0585.05030号 米洛斯亚夫特鲁什琴斯基 4 1985 怀疑理性扩展。 Zbl 1496.68318号 阿图尔·米基图克;特鲁什琴斯基,米罗斯劳 4 1995 逻辑编程和非单调推理。第六届国际会议,LPNMR 2001,维也纳,奥地利,2001年9月17日至19日。诉讼程序。 Zbl 0971.00048号 3 2001 n-集的所有k-子集族的最优f-图。 Zbl 0545.68086号 兹比格尼乌·隆克;托马斯·特雷西克;特鲁什琴斯基,米洛斯奥 3 1983 具有单调基数原子的逻辑程序。 Zbl 1122.68380号 维克托·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥 3 2004 图的最大度有界森林分解。 兹比尔0757.05068 特鲁什琴斯基,米洛斯奥 3 1991 网状连接计算机上排序的索引函数和时间下限。 Zbl 0746.68026号 韩一杰;Yoshihide Igarashi;米罗斯瓦·特鲁什琴斯基 3 1992 逻辑编程和稳定模型计算中的极端问题。 Zbl 0927.68019号 巴维尔·乔莱温斯基;米罗斯瓦·特鲁什琴斯基 3 1999 使用答案集编程求解器聚合有条件的词典偏好。 Zbl 1406.91120号 刘旭东;米罗斯瓦·特鲁什琴斯基 3 2013 组合域上的偏好树推理。 Zbl 1405.91138号 刘旭东;米罗斯瓦·特鲁什琴斯基 3 2015 活动完整性约束的声明语义。 兹比尔1185.68292 卢西亚诺卡罗普莱斯;特鲁什琴斯基,米洛斯奥 3 2008 具有抽象约束原子的逻辑程序:计算的作用。 Zbl 1213.68179号 刘冷宁;恩里科·蓬泰利;儿子Tran Cao;特鲁什琴斯基,米洛斯奥 3 2007 关于在扩张下保持的图等价。 Zbl 1216.05036号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 3 2011 知识表示、逻辑编程和抽象论证的进展。在格哈德·布鲁卡60岁生日之际为他撰写的论文。 Zbl 1303.68014号 3 2015 半径序列的包装模拟。 Zbl 1339.05008号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 3 2016 赖特的默认逻辑是一种自认知推理逻辑,也是一种很好的逻辑。 Zbl 1259.68186号 马克·德内克;维克托·马雷克。;特鲁兹钦斯基(Truszczynski,Mirosław) 3 2011 逻辑编程和非单调推理。第三届国际会议,LPNMR’95,美国肯塔基州列克星敦,1995年6月26-28日。诉讼程序。 Zbl 0875.00116号 2 1995 Rado的选择原理:应用于二元关系、图和超图着色以及偏序集。 Zbl 0776.05004号 米罗斯瓦·特鲁什琴斯基;兹索尔特图扎 2 1992 模态非单调逻辑:范围,特征,计算。 Zbl 0765.03014号 威克托·马雷克;格里戈里·施瓦茨。;特鲁什琴斯基,米洛斯奥 2 1991 图的线性荫度。 Zbl 0664.05049号 特鲁什琴斯基,米洛斯奥 2 1986 自动认识逻辑的固定点3值语义。 Zbl 0938.03046号 马克·德内克;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 2 1999 关于计算基础良好的语义的问题。 Zbl 0983.68520号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 2 2000 计算大型和小型稳定模型。 Zbl 1087.68534号 特鲁什琴斯基,米洛斯奥 2 2002 类太阳的原始图形。 Zbl 0792.05108号 钦,P.Z。;R.B.里希特。;特鲁什琴斯基,M。 2 1989 超越NP:量化答案集。 Zbl 1434.68068号 乔瓦尼·阿蒙多拉;弗朗西斯科·里卡;米罗斯瓦·特鲁什琴斯基 2 2019 关于稳定模型语义下无穷公式的等价变换(初步报告)。 兹比尔1405.68354 阿米莉亚·哈里森;弗拉基米尔·利夫希茨;米罗斯瓦·特鲁什琴斯基 2 2013 关于答案集优化问题的最优解。 Zbl 1405.68055号 朱莹;米罗斯瓦·特鲁什琴斯基 2 2013 不确定数据库的视图更新问题。 Zbl 1361.68072号 卢西亚诺卡罗普莱斯;伊琳娜·特鲁比西纳;特鲁什琴斯基,米洛斯奥;埃斯特·赞帕诺 2 2012 模块化编程逻辑程序的相对超等价。 Zbl 1185.68186号 特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 2 2008 用ASP解决哈密顿循环问题的编码选择。 Zbl 07453125号 刘,刘;米罗斯瓦·特鲁什琴斯基 2 2019 用于知识表示的逻辑编程。 Zbl 1213.68185号 特鲁什琴斯基,米洛斯奥 2 2007 用于修订编程和连接到活动完整性约束的声明性语义。 Zbl 1178.68191号 卢西亚诺卡罗普莱斯;特鲁什琴斯基,米洛斯奥 2 2008 关于3-一致超图的最小横截数。 Zbl 1154.05046号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 2 2008 将图分解为大小相等且最大度有界的森林。 Zbl 0622.05015号 特鲁什琴斯基,米罗斯劳 2 1986 生成硬随机布尔公式和析取逻辑程序的新模型。 Zbl 1478.68316号 乔瓦尼·阿蒙多拉;弗朗西斯科·里卡;米罗斯瓦·特鲁什琴斯基 2 2020 组合域上部分词典偏好森林的偏好学习与优化。 Zbl 1508.68081号 刘旭东;米罗斯瓦·特鲁什琴斯基 2 2018 给定周长的图的树编号。 Zbl 0626.05014号 特鲁什琴斯基,M。 2 1988 将图分解为最大度有界的图。 兹比尔062405038 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 2 1985 修复了逻辑程序语义的参数复杂性。 Zbl 1365.68150号 兹比格尼乌·隆克;特鲁什琴斯基,米罗斯劳 2 2003 非单调推理的默认逻辑和规范。 Zbl 1008.03020号 乔里·恩格弗里特;V.Wiktor马雷克;简·特雷尔;特鲁什琴斯基,米洛斯奥 1 2001 非单调推理有时更简单! Zbl 0849.03019号 格里戈里·施瓦兹;米罗斯瓦·特鲁什琴斯基 1 1996 否定作为未能证明和固定点。 Zbl 0673.03017号 马雷克·W·。;Truszczynski,M。 1 1989 计算稳定模型:最坏情况下的性能估计。 Zbl 1090.68016号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 1 2004 周期上的最大份额分配。 Zbl 1492.91164号 米罗斯瓦·特鲁什琴斯基;兹比格尼乌·隆克 7 2020 生成硬随机布尔公式和析取逻辑程序的新模型。 兹比尔1478.68316 乔瓦尼·阿蒙多拉;弗朗西斯科·里卡;米罗斯瓦·特鲁什琴斯基 2 2020 自动聚合器-使用计数聚合进行重写。 Zbl 07455711号 迈克尔·丁吉斯;米罗斯瓦·特鲁什琴斯基 1 2020 超越NP:量化答案集。 Zbl 1434.68068号 乔瓦尼·阿蒙多拉;弗朗西斯科·里卡;米罗斯瓦·特鲁什琴斯基 2 2019 用ASP解决哈密顿循环问题的编码选择。 Zbl 07453125号 刘,刘;米罗斯瓦·特鲁什琴斯基 2 2019 组合域上部分词典偏好森林的基于投票的集成学习。 Zbl 1452.68191号 刘旭东;米罗斯瓦·特鲁什琴斯基 1 2019 组合域上部分词典偏好森林的偏好学习与优化。 Zbl 1508.68081号 刘旭东;米罗斯瓦·特鲁什琴斯基 2 2018 关于抽象模推理系统和求解器。 Zbl 1357.68230号 尤利亚·利勒;米罗斯瓦·特鲁什琴斯基 8 2016 半径序列的包装模拟。 Zbl 1339.05008号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 3 2016 稳定模型语义下无穷公式的等价性。 Zbl 1379.68070号 阿米莉亚·哈里森;弗拉基米尔·利夫希茨;米罗斯瓦·特鲁什琴斯基 6 2015 逻辑编程和非单调推理。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。 Zbl 1320.68014号 4 2015 组合域上的偏好树推理。 Zbl 1405.91138号 刘旭东;米罗斯瓦·特鲁什琴斯基 3 2015 知识表示、逻辑编程和抽象论证的进展。在格哈德·布鲁卡60岁生日之际为他撰写的论文。 Zbl 1303.68014号 3 2015 双重正常逻辑程序——被遗忘的类。 Zbl 1379.68061号 约翰·费希特。;特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 1 2015 诱拐性解释中任意性的度量。 Zbl 1309.68029号 卢西亚诺卡罗普莱斯;伊琳娜·特鲁比西纳;特鲁什琴斯基,米洛斯奥;埃斯特·赞帕诺 1 2014 使用答案集编程求解器聚合有条件的词典偏好。 Zbl 1406.91120号 刘旭东;米罗斯瓦·特鲁什琴斯基 3 2013 关于稳定模型语义下无穷公式的等价变换(初步报告)。 Zbl 1405.68354号 阿米莉亚·哈里森;弗拉基米尔·利夫希茨;米罗斯瓦·特鲁什琴斯基 2 2013 关于答案集优化问题的最优解。 Zbl 1405.68055号 朱莹;米罗斯瓦·特鲁什琴斯基 2 2013 答案集编程的Tarskian非正式语义。 Zbl 1281.68147号 马克·德内克;尤利亚·利勒;米罗斯瓦·特鲁什琴斯基;Joost Vennekens 14 2012 通过还原连接一阶ASP和逻辑FO(ID)。 兹比尔1357.68225 米罗斯瓦·特鲁什琴斯基 12 2012 渐近最短\(k\)-半径序列的构造。 Zbl 1242.05138号 Jerzy W.Jaromczyk。;兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 10 2012 不确定数据库的视图更新问题。 Zbl 1361.68072号 卢西亚诺卡罗普莱斯;伊琳娜·特鲁比西纳;特鲁什琴斯基,米洛斯奥;埃斯特·赞帕诺 2 2012 重温认知规范。 Zbl 1326.68280号 特鲁什琴斯基,米洛斯奥 18 2011 模型生成器的转换系统–统一方法。 Zbl 1222.68063号 尤利亚·利勒;米罗斯瓦·特鲁什琴斯基 7 2011 三分法和二分法导致了选言逻辑程序推理的复杂性。 Zbl 1242.68052号 特鲁什琴斯基,米洛斯奥 7 2011 主动完整性约束和修订编程。 Zbl 1242.68049号 卢西亚诺卡罗普莱斯;特鲁什琴斯基,米洛斯奥 4 2011 关于在扩张下保持的图等价。 Zbl 1216.05036号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 3 2011 赖特的默认逻辑是一种自认知推理逻辑,也是一种很好的逻辑。 Zbl 1259.68186号 马克·德内克;维克托·马雷克。;特鲁兹钦斯基(Truszczynski,Mirosław) 3 2011 具有抽象约束原子的逻辑程序:计算的作用。 Zbl 1207.68119号 刘冷宁;恩里科·蓬泰利;儿子Tran Cao;特鲁什琴斯基,米罗斯劳 22 2010 命题理论的约简、可满足关系和逻辑程序语义的推广。 Zbl 1209.68101号 特鲁什琴斯基,米罗斯劳 10 2010 模块化编程逻辑程序的相对超等价。 Zbl 1184.68163号 特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 4 2009 简单的随机逻辑程序。 Zbl 1258.68036号 加亚特里·纳马西瓦亚姆;特鲁什琴斯基,米洛斯奥 4 2009 三分法导致了析取逻辑程序推理的复杂性。 Zbl 1258.68148号 特鲁什琴斯基,米洛斯奥 1 2009 CP网络中支配性和一致性的计算复杂性。 Zbl 1182.68089号 J.戈德史密斯。;J·朗。;Truszczynski,M。;N.威尔逊。 17 2008 具有单调抽象约束原子的逻辑程序。 Zbl 1142.68018号 维克托·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥 14 2008 逻辑程序相对于支持模型的超等价性。 Zbl 1165.68349号 特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 6 2008 活动完整性约束的声明语义。 Zbl 1185.68292号 卢西亚诺卡罗普莱斯;特鲁什琴斯基,米洛斯奥 3 2008 模块化编程逻辑程序的相对超等价。 Zbl 1185.68186号 特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 2 2008 修订编程的声明性语义以及与活动完整性约束的连接。 兹比尔1178.68191 卢西亚诺卡罗普莱斯;特鲁什琴斯基,米洛斯奥 2 2008 关于3-一致超图的最小横截数。 Zbl 1154.05046号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 2 2008 具有抽象约束原子的逻辑程序:计算的作用。 Zbl 1213.68179号 刘冷宁;恩里科·蓬泰利;儿子Tran Cao;特鲁什琴斯基,米洛斯奥 3 2007 用于知识表示的逻辑编程。 Zbl 1213.68185号 特鲁什琴斯基,米洛斯奥 2 2007 使用局部搜索技术对伪布尔约束的布尔组合进行可满足性测试。 Zbl 1211.68386号 刘冷宁;特鲁什琴斯基,米洛斯奥 1 2007 非单调理论的强一致等价性——一种代数方法。 Zbl 1118.68161号 特鲁什琴斯基,米洛斯奥 11 2006 单调和凸约束程序的性质和应用。 Zbl 1182.68043号 刘,L。;Truszczynski,M。 9 2006 计算最小模型、稳定模型和答案集。 Zbl 1110.68022号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 7 2006 基于谓词计算的逻辑,用于建模和解决搜索问题。 Zbl 1367.68264号 东,黛博拉;特鲁什琴斯基,米罗斯劳 6 2006 用于建模和解决搜索问题的工具。 Zbl 1127.68365号 东,黛博拉;米哈伊尔·伊卡希亚耶夫;阿图尔·米基图克;特鲁什琴斯基,米洛斯奥 1 2006 非单调逻辑及其代数基础。 兹比尔1225.03025 特鲁什琴斯基,米洛斯奥 1 2006 逻辑编程。2006年8月17日至20日,在美国华盛顿州西雅图举行的第22届ICLP国际会议。诉讼程序。 Zbl 1130.68008号 1 2006 终极逼近及其在非单调知识表示系统中的应用。 Zbl 1074.68069号 马克·德内克;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 24 2004 可满足性与范德瓦登数的计算。 Zbl 1054.05097号 迈克尔·德兰斯菲尔德。;刘冷宁;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 10 2004 可满足性与范德瓦登数的计算。 Zbl 1204.05097号 迈克尔·德兰斯菲尔德。;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 4 2004 具有单调基数原子的逻辑程序。 Zbl 1122.68380号 维克托·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥 3 2004 计算稳定模型:最坏情况下的性能估计。 Zbl 1090.68016号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 1 2004 在答案集编程中建立系统的基准:Dagstuhl倡议。 兹比尔1122.68362 保罗·博尔切特;愤怒,克里斯蒂安;托尔斯滕·绍布;特鲁什琴斯基,米洛斯奥 1 2004 缺省逻辑和自认知逻辑的统一语义处理。 Zbl 1010.03021号 马克·德内克;维克托·马雷克。;特鲁什琴斯基,米洛斯奥 24 2003 修复了逻辑程序语义的参数复杂性。 Zbl 1365.68150号 兹比格尼乌·隆克;特鲁什琴斯基,米罗斯劳 2 2003 命题逻辑的局部搜索技术扩展了基数约束。 Zbl 1273.68353号 刘冷宁;特鲁什琴斯基,米洛斯奥 1 2003 计算最小模型、稳定模型和答案集。 Zbl 1204.68057号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 1 2003 计算大型和小型稳定模型。 Zbl 1087.68534号 特鲁什琴斯基,米洛斯奥 2 2002 带注释的修订程序。 Zbl 0995.68106号 维克托·马雷克;皮夫基纳,伊纳;特鲁什琴斯基,米洛斯奥 1 2002 aspps系统。 Zbl 1014.68866号 东,黛博拉;特鲁什琴斯基,米洛斯奥 1 2002 逻辑编程和非单调推理。第六届国际会议,LPNMR 2001,维也纳,奥地利,2001年9月17日至19日。诉讼程序。 Zbl 0971.00048号 3 2001 非单调推理的默认逻辑和规范。 Zbl 1008.03020号 乔里·恩格弗里特;V.Wiktor马雷克;简·特雷尔;特鲁什琴斯基,米洛斯奥 1 2001 关于计算基础良好的语义的问题。 兹比尔1105.68348 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 1 2001 答案集编程中的命题可满足性。 Zbl 1007.68173号 东,黛博拉;特鲁兹钦斯基(Truszczynski,Mirosław) 1 2001 assps–使用命题模式实现应答集编程。 Zbl 1007.68699号 东,黛博拉;特鲁什琴斯基,米洛斯奥 1 2001 近似、稳定算子、基础良好的不动点以及在非单调推理中的应用。 Zbl 0988.68183号 马克·德内克;维克托·马雷克;特鲁什琴斯基,米洛斯奥 29 2000 关于计算基础良好的语义的问题。 Zbl 0983.68520号 兹比格尼乌·隆克;特鲁什琴斯基,米洛斯奥 2 2000 稳定模型和替代逻辑编程范式。 Zbl 0979.68524号 维克托·马雷克。;特鲁什琴斯基,米洛斯奥 128 1999 对粗糙集理论的贡献。 兹比尔0944.68051 V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 9 1999 逻辑编程范式。25年展望。 Zbl 0919.00027号 8 1999 使用默认逻辑进行计算。 Zbl 0996.68195号 巴威·乔利文斯基;维克托·马雷克。;阿图尔·米基图克;特鲁什琴斯基,米洛斯奥 7 1999 逻辑编程和稳定模型计算中的极端问题。 Zbl 0927.68019号 巴维尔·乔莱温斯基;米罗斯瓦·特鲁什琴斯基 3 1999 自认知逻辑的不动点三值语义。 Zbl 0938.03046号 马克·德内克;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 2 1999 修订编程。 Zbl 0893.68054号 维克托·马雷克。;特鲁什琴斯基,米洛斯奥 13 1998 关于图的局部着色的注记。 Zbl 0869.05027号 安德烈·鲁辛斯基;特鲁什琴斯基,米洛斯奥 7 1997 缺省逻辑的表示理论。 Zbl 0890.68121号 V.Wiktor马雷克;简·特雷尔;特鲁什琴斯基,米洛斯奥 4 1997 非单调推理有时更简单! Zbl 0849.03019号 格里戈里·施瓦兹;米罗斯瓦·特鲁什琴斯基 1 1996 怀疑理性扩展。 Zbl 1496.68318号 阿图尔·米基图克;特鲁什琴斯基,米罗斯劳 4 1995 逻辑编程和非单调推理。第三届国际会议,LPNMR’95,美国肯塔基州列克星敦,1995年6月26-28日。诉讼程序。 Zbl 0875.00116号 2 1995 通过程序修订规范。 Zbl 0988.68626号 马雷克,V.W。;特鲁什琴斯基,M。 7 1994 最小知识问题:一种新方法。 Zbl 0820.68115号 格里戈里·施瓦兹;特鲁什琴斯基,米洛斯奥 6 1994 非单调逻辑。上下文相关推理。雷·雷特(Ray Reiter)的前言。 Zbl 0784.03018号 马雷克,V.W。;特鲁什琴斯基,M。 85 1993 模态非单调逻辑:范围,特征,计算。 Zbl 0783.68121号 V.Wiktor马雷克;格里戈里·施瓦兹。;特鲁什琴斯基,米洛斯奥 14 1993 默认逻辑的正常形式结果。 Zbl 0819.68123号 马雷克,V.W。;Truszczynski,M。 6 1993 非单调推理有时更简单。 Zbl 0793.68080号 格里戈里·施瓦兹;特鲁什琴斯基,米罗斯劳 1 1993 图的广义局部着色。 Zbl 0769.05041号 特鲁什琴斯基,米洛斯奥 8 1992 必要性的纯粹逻辑。 兹伯利0819.03011 配件,Melvin C。;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 6 1992 网状连接计算机上排序的索引函数和时间下限。 Zbl 0746.68026号 韩一杰;Yoshihide Igarashi;米罗斯瓦·特鲁什琴斯基 3 1992 Rado的选择原理:应用于二元关系、图和超图着色以及偏序集。 Zbl 0776.05004号 米罗斯瓦·特鲁什琴斯基;兹索尔特图扎 2 1992 关于默认逻辑的模态方面的更多信息。 Zbl 0772.03011号 V.Wiktor马雷克;米罗斯瓦·特鲁什琴斯基 1 1992 自认知逻辑。 兹比尔0799.68176 威克托·马雷克;米罗斯瓦·特鲁什琴斯基 89 1991 析取默认值。 Zbl 0766.68127号 迈克尔·盖尔芬德;哈利娜·普尔兹穆桑斯卡;弗拉基米尔·利夫希茨;特鲁什琴斯基,米罗斯劳 29 1991 正则二部图的分解。 Zbl 0754.05057号 迈克尔·雅各布森。;米洛斯·特鲁西恩斯基;兹索尔特图扎 14 1991 默认逻辑的模态解释。 Zbl 0747.68088号 米罗斯瓦·特鲁什琴斯基 11 1991 饱和图的渐近结果。 Zbl 0737.05058号 米罗斯瓦·特鲁什琴斯基;兹索尔特图扎 6 1991 模态非单调逻辑,否定的应用受到限制,无法证明规则。 兹比尔0726.03022 特鲁兹钦斯基(Truszczynski,Mirosław) 4 1991 图的最大度有界森林分解。 Zbl 0757.05068号 特鲁什琴斯基,米洛斯奥 3 1991 …还有24个文档 所有引用出版物 前5名被引用出版物 全部的 前5名761位作者引用 41 特鲁什琴斯基,米洛斯奥 23 托马斯·艾特 23 兹比格尼乌·隆克 20 V.Wiktor马雷克 20 斯特凡·沃尔特兰 19 托尔斯滕·绍布(Torsten H.Schaub)。 18 佩德罗·卡巴拉 18 马克·德内克 18 豪尔赫·范丁诺 15 尤利亚·利勒 14 弗拉基米尔·利夫希茨 13 你,嘉慧 12 汤米·詹胡宁 12 尼古拉·利昂 11 巴特·博加特 11 杰弗里·布赖恩·雷梅尔 10 马里奥·阿尔维亚诺 10 沃尔夫冈·费伯 10 马丁·格布瑟 10 马可·马拉提亚 9 林方珍 9 兹索尔特图扎 8 约翰·克劳斯·费希特 8 恩里科·蓬泰利 8 沈一东 8 儿子Tran Cao 7 格里戈里斯·安东尼奥 7 格哈德·布鲁卡 7 埃斯拉·埃尔登 7 迈克尔·盖尔芬德 7 乔治·戈特洛布 7 Niemelä,Ilkka N.F。 7 汉内斯·斯特拉斯 6 Dȩbski,Michał 6 卡明·多达罗 6 迈克尔·芬克 6 安德烈亚·福米萨诺 6 塞尔吉奥·格雷科 6 阿米莉亚·哈里森 6 约昂·莱特 6 迈克尔·莫拉克 6 元首,约尔格 6 弗朗西斯科·里卡 6 哈维尔·罗梅罗 6 苏布拉曼尼亚,V.S。 6 Joost Vennekens 6 周毅 5 乔瓦尼·阿蒙多拉 5 林戈·鲍曼 5 哈利娜·比拉克 5 卢西亚诺卡罗普莱斯 5 斯特凡妮娅·科斯坦蒂尼 5 马库斯·赫彻 5 乔瓦姆巴蒂斯塔·伊安尼 5 托马斯·克伦瓦尔纳 5 阿普省Muthusamy 5 吉尔伯托·佩雷斯 5 多梅尼科·萨卡 5 恰基萨卡马 5 汉斯·托姆皮茨 5 康塞普西翁·维达尔 5 约翰·彼得·沃纳 5 王克文 5 张燕 4 费利西达·阿瓜多 4 亚历山大·波奇曼 4 法比奥·波特勒 4 莫里斯·布鲁诺 4 亚尔·卡罗 4 阿戈斯蒂诺·多维尔 4 乔里·恩格弗里特 4 佐尔坦·埃西克 4 路易斯·法利尼亚斯·德尔·塞罗 4 劳伦特·加西亚 4 迈克尔·卡明斯基 4 克莱尔·莱夫雷 4 刘芳芳 4 阿恩·迈尔 4 尼禄,阿尼尔 4 路易吉·帕洛波利 4 Przymusinski,Teodor C。 4 波韦,Rzãżewski 4 格里戈里·施瓦兹。 4 伊戈尔·斯特芬 4 翁贝托·斯特拉契亚 4 简·特雷尔 4 袁丽燕 4 张元林 3 马塞洛·巴尔杜奇尼 3 奇塔·R·巴拉尔。 3 雷切尔·本·埃利亚胡·佐哈里 3 曼纽尔·比什勒 3 乔里·博曼森 3 皮耶罗·安德里亚·博纳蒂 3 弗朗西斯科·卡利默里 3 路易斯·克鲁兹·菲利佩 3 英格玛达塞维尔 3 马丁·德·科克 3 詹姆斯·德尔格兰德。 3 马丁·迪盖兹 …还有661位作者 全部的 前5名84篇连载文章中引用 103 人工智能 91 逻辑程序设计理论与实践 53 数学与人工智能年鉴 37 离散数学 21 理论计算机科学 12 应用非经典逻辑杂志 11 离散应用数学 9 图论杂志 7 图与组合 7 自动推理杂志 7 国际近似推理杂志 6 讨论数学。图论 5 组合理论杂志。B系列 5 欧洲组合数学杂志 5 纯逻辑与应用逻辑年鉴 5 信息与计算 5 ACM计算逻辑事务 5 应用逻辑杂志 4 信息处理信件 4 约束条件 4 AKCE国际图与组合学杂志 3 组合理论杂志。系列A 3 计算机与系统科学杂志 3 哲学逻辑杂志 3 订单 3 新一代计算 3 吉泰。实验与理论人工智能杂志 3 数学逻辑档案 3 组合优化期刊 3 计算机基础理论 2 Archiv der Mathematik公司 2 捷克斯洛伐克数学杂志 2 信息科学 2 Studia Logica公司 2 合成 2 计算机科学与技术杂志 2 SIAM离散数学杂志 2 逻辑、语言与信息杂志 2 对离散数学的贡献 2 代数、组合数学、离散结构与应用杂志 1 信息学报 1 计算机与数学及其应用 1 富兰克林学院学报 1 匈牙利数学周期 1 年鉴大学玛丽亚·居里-斯科·奥杜斯卡。第A节:数学 1 应用数学与计算 1 苏联数学杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 SIAM计算机杂志 1 控制论 1 运营研究信件 1 组合数学 1 匈牙利数学学报 1 社会选择与福利 1 复杂性杂志 1 算法 1 机器学习 1 计算几何 1 国际计算机科学基础杂志 1 人工智能综述 1 游戏与经济行为 1 数学编程。A系列B系列 1 Indagationes Mathematicae公司。新系列 1 澳大利亚组合数学杂志 1 实验数学 1 组合数学、概率与计算 1 埃及数学学会杂志 1 组合数学电子杂志 1 组合设计杂志 1 数学Opuscula Mathematica 1 人工智能研究杂志 1 开放系统与信息动力学 1 离散数学科学与密码学杂志 1 数学学报。英语系列 1 CEJOR公司。中欧运筹学杂志 1 古巴 1 中国的科学。F系列 1 计算机科学中的数学 1 泛逻辑 1 《大学学报》。Informatica公司 1 统计与计算 1 数学杂志 1 ISRN组合数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在15个字段中引用 506 计算机科学(68至XX) 133 数学逻辑和基础(03-XX) 131 组合数学(05-XX) 15 有序,格,有序代数结构(06-XX) 14 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 运筹学、数学规划(90-XX) 6 生物学和其他自然科学(92-XX) 5 数论(11-XX) 4 凸和离散几何(52至XX) 3 信息与通信理论、电路(94-XX) 2 历史和传记(01-XX) 2 一般代数系统(08-XX) 2 统计学(62-XX) 1 总体主题;集合(00-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文