编辑配置文件(在新选项卡中打开) 奇塔·R·巴拉尔。 合著者距离 作者ID: 巴拉尔·奇塔·雷 发布日期: 奇塔·巴拉尔;C.巴拉尔。;奇塔·R·巴拉尔。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 59出版物自1990年以来,包括2本书 3作为编辑的贡献 合著者: 47位合著者具有53联合出版物 1106合作作者 全部的 前5名合著者 6 单作者的 17 儿子Tran Cao 9 迈克尔·盖尔芬德 7 恩里科·蓬泰利 6 格雷戈里·盖尔芬德 5 弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich) 三 朱拉杰·Dzifcak 三 亚历山德罗·普罗维蒂 三 劳尔·特雷霍 三 Tuan,乐池 2 阿尔弗雷多·加巴登 2 马科斯·阿尔瓦雷斯·冈萨雷斯 2 亚伦·哥特斯曼 2 豪尔赫·洛博 2 希拉·麦克拉伊思。 2 杰克·明克尔 2 中村、木须 2 纳尔逊·拉什顿 2 苏布拉马尼安。 2 Tu,Phan Huy先生 2 Vo、Nguyen Ha 1 萨达特·安瓦尔 1 比约兰德,马库斯 1 格哈德·布鲁卡 1 马丁·塞贝里奥 1 桑吉夫·乔普拉 1 托马斯·艾特 1 格拉西拉·阿德里亚娜·冈萨雷斯(Graciela Adriana González) 1 吉安路易吉·格雷科 1 井上,Katsumi 1 Kim,Seungchan先生 1 奥尔加·M·科舍列娃。 1 尼古拉·利昂 1 梁珊珊 1 弗拉基米尔·利夫希茨 1 卢克·朗普雷 1 吕德舍,伯特伦 1 阿林达姆·米特拉 1 Nguyen、Hung Trung 1 萨克尔,C。 1 约翰·斯图尔特·施利普夫 1 Hiro高桥 1 路易斯·塔里 1 乔治·特拉西纳 1 乌扬、岑克 1 王,铁 1 张欣 1 张燕 全部的 前5名系列 8 人工智能 5 逻辑程序设计杂志 5 逻辑程序设计理论与实践 4 数学与人工智能年鉴 2 逻辑研究 2 自动化推理杂志 2 计算机科学课堂讲稿 1 计算与应用数学杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 IEEE信号处理汇刊 1 国际不确定性、模糊性和基于知识的系统杂志 1 ACM计算逻辑汇刊 1 应用逻辑杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 61 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 三 生物学和其他自然科学(92-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 46出版物有被引用579中的次449文件 引用人▼ 年份▼ 知识表示、推理和陈述性问题解决。 Zbl 1056.68139号 奇塔·巴拉尔 210 2003 逻辑编程和知识表示。 兹比尔0820.68028 奇塔·巴拉尔;迈克尔·盖尔芬德 44 1994 带有答案集的概率推理。 Zbl 1170.68003号 奇塔·巴拉尔;迈克尔·盖尔芬德;纳尔逊·拉什顿 39 2009 形式化传感动作——基于过渡函数的方法。 Zbl 0969.68152号 儿子,T.C。;C.巴拉尔。 28 2001 存在不完全性时规划和近似规划的计算复杂性。 Zbl 0948.68088号 C.巴拉尔。;Kreinovich,V。;R·特雷霍。 22 2000 带有答案集的概率推理。 Zbl 1122.68361号 奇塔·巴拉尔;迈克尔·盖尔芬德;纳尔逊·拉什顿 21 2004 逻辑程序的广义析取良好语义。 Zbl 1034.68506号 奇塔·巴拉尔;豪尔赫·洛博;杰克·明克尔 18 1992 逻辑编程的可选语义和非单调推理之间的二重性。 Zbl 0782.68074号 奇塔·R·巴拉尔。;苏布拉马尼安。 18 1993 逻辑程序和缺省逻辑的稳定和可拓类理论。 Zbl 0763.03017号 奇塔·R·巴拉尔。;苏布拉马尼安。 17 1992 动态域中的推理代理。 兹比尔0979.68100 奇塔·巴拉尔;迈克尔·盖尔芬德 16 2000 逻辑编程和非单调推理。第九届国际会议,LPNMR 2007,美国亚利桑那州坦佩,2007年5月15日至17日。诉讼程序。 Zbl 1119.68003号 14 2007 使用答案集编程,通过感知动作、不完整信息和静态因果律进行推理和规划。 Zbl 1120.68101号 Tu,Phan Huy先生;儿子Tran Cao;奇塔·巴拉尔 12 2007 代表行动:法律、观察和假设。 Zbl 0882.68030号 奇塔·巴拉尔;迈克尔·盖尔芬德;亚历山德罗·普罗维蒂 10 1997 知识更新:语义和复杂性问题。 兹比尔1132.68720 奇塔·巴拉尔;张燕 10 2005 知识表示、推理和陈述性问题解决。2003年精装版再版。 Zbl 1192.68666号 奇塔·巴拉尔 9 2010 推理并发操作的影响。 Zbl 0882.68027号 奇塔·巴拉尔;迈克尔·盖尔芬德 8 1997 答案集规划中的领域相关知识。 Zbl 1367.68271号 儿子Tran Cao;奇塔·巴拉尔;越南Tran;希拉·麦克莱思 7 2006 宏、宏调用和模块化应答集编程中信号群的使用。 Zbl 1131.68365号 奇塔·巴拉尔;朱拉杰·Dzifcak;Hiro高桥 7 2006 逻辑编程和非单调推理。第八届国际会议,LPNMR 2005,意大利迪亚曼特,2005年9月5-8日。诉讼程序。 Zbl 1086.68002号 6 2005 关于信令网络的假设。 Zbl 1168.92002号 越南Tran;奇塔·巴拉尔 5 2009 状态约束下多智能体领域中智能体信念的推理:动作语言mAL。 Zbl 1401.68298号 奇塔·巴拉尔;格雷戈里·盖尔芬德;恩里科·蓬泰利;儿子Tran Cao 5 2013 在存在感知和不完整信息的情况下,对动作进行近似推理。 Zbl 0944.68177号 奇塔·巴拉尔;儿子Tran Cao 4 1997 使用嵌套限定将叙述形式化。 Zbl 0908.68121号 奇塔·巴拉尔;阿尔弗雷多·加巴顿;亚历山德罗·普罗维蒂 4 1998 使用不同形式的领域相关控制知识进行规划–一种答案集编程方法。 Zbl 1007.68591号 儿子Tran Cao;奇塔·巴拉尔;希拉·麦克拉伊思 4 2001 金融理论。 Zbl 1432.03026号 儿子Tran Cao;恩里科·蓬泰利;奇塔·巴拉尔;格雷戈里·盖尔芬德 三 2014 代理人在动态环境中的维护目标:制定和政策建设。 Zbl 1183.68630号 奇塔·巴拉尔;托马斯·艾特;比约兰德,马库斯;中村、木须 三 2008 通过过滤进行诱拐推理。 Zbl 0945.68161号 C.巴拉尔。 三 2000 在知识逻辑及其应用中寻找模型的逻辑编程:案例研究。 兹比尔1213.68168 C.巴拉尔。;盖尔丰德,G。;彭泰利,E。;儿子,T。 三 2010 使用逻辑编程的组合拍卖的声明性规范和解决方案。 Zbl 1007.68588号 奇塔·巴拉尔;乌扬、岑克 三 2001 生物网络中非即时触发因素的推理。 Zbl 1137.68603号 越南Tran;奇塔·巴拉尔 三 2007 使用逻辑编程,通过传感动作和不完整信息进行规划。 Zbl 1122.68617号 儿子Tran Cao;屠呦呦;奇塔·巴拉尔 三 2004 多代理域的动作语言。 Zbl 1481.68044号 奇塔·巴拉尔;格雷戈里·盖尔芬德;恩里科·蓬泰利;儿子Tran Cao 三 2022 使用系统发育图和罗塞塔石法联合学习逻辑关系以研究蛋白质功能。 Zbl 1373.92093号 张欣;Kim,Seungchan先生;王,铁;C.巴拉尔。 2 2006 用于处理专家系统中不确定性的区间型和仿射算术型技术。 Zbl 1106.68101号 马丁·塞贝里奥;弗拉基克·克里诺维奇;桑吉夫·乔普拉;卢克·朗普雷;Nguyen,Hung T。;吕德舍,伯特伦;奇塔·巴拉尔 2 2007 在多个代理领域中,用知识和改变世界的行动回答集合编程和规划。 Zbl 1357.68247号 恩里科·蓬泰利;儿子Tran Cao;奇塔·巴拉尔;格雷戈里·盖尔芬德 2 2012 从相互不同的示例中对答案集程序进行增量和迭代学习。 Zbl 1451.68066号 阿林达姆·米特拉;奇塔·巴拉尔 1 2018 触发器的不变性、维护和其他声明性目标–活动数据库的正式特征。 Zbl 0983.68742号 中村、木须;奇塔·巴拉尔 1 2000 扩展ConGolog以允许部分排序。 Zbl 0970.68634号 奇塔·巴拉尔;儿子Tran Cao 1 2000 限制中的值最小化。 兹伯利0909.68173 奇塔·巴拉尔;阿尔弗雷多·加巴登;亚历山德罗·普罗维蒂 1 1998 使用动作语言进行多智能体领域推理的初步研究。 Zbl 1309.68185号 奇塔·巴拉尔;儿子Tran Cao;恩里科·蓬泰利 1 2010 从计划到搜索最短计划:最佳过渡。 Zbl 1113.68484号 R·特雷霍。;J·加洛韦。;萨克尔,C。;克里诺维奇,V。;C.巴拉尔。;团乐池 1 2001 在回答集编程中对Petri网的高级扩展进行编码。 Zbl 1405.68040号 萨达特·安瓦尔;奇塔·巴拉尔;井上,Katsumi 1 2013 在逻辑编程情境演算中嵌入修正程序。 Zbl 0884.68024号 奇塔·巴拉尔 1 1997 艾伦:一种建模非马尔科夫域的动作语言。 Zbl 1101.68856号 格拉西拉·冈萨雷斯;奇塔·巴拉尔;迈克尔·盖尔芬德 1 2005 关于在多代理域中表示动作。 Zbl 1326.68272号 奇塔·巴拉尔;格雷戈里·盖尔芬德 1 2011 一种非单调的目标规范语言,用于带有偏好的规划。 兹比尔1432.68452 儿子Tran Cao;恩里科·蓬泰利;奇塔·巴拉尔 1 2015 多代理域的动作语言。 Zbl 1481.68044号 奇塔·巴拉尔;格雷戈里·盖尔芬德;恩里科·蓬泰利;儿子Tran Cao 三 2022 从相互不同的示例中对答案集程序进行增量和迭代学习。 Zbl 1451.68066号 阿林达姆·米特拉;奇塔·巴拉尔 1 2018 一种非单调的目标规范语言,用于带有偏好的规划。 Zbl 1432.68452号 儿子Tran Cao;恩里科·蓬泰利;奇塔·巴拉尔 1 2015 金融理论。 Zbl 1432.03026号 儿子Tran Cao;恩里科·蓬泰利;奇塔·巴拉尔;格雷戈里·盖尔芬德 三 2014 在存在状态约束的情况下,关于多智能体领域中代理的信念的推理:动作语言ML。 Zbl 1401.68298号 奇塔·巴拉尔;格雷戈里·盖尔芬德;恩里科·蓬泰利;儿子Tran Cao 5 2013 在答案集编程中对Petri网的高级扩展进行编码。 Zbl 1405.68040号 萨达特·安瓦尔;奇塔·巴拉尔;井上,Katsumi 1 2013 在多个代理领域中,用知识和改变世界的行动回答集合编程和规划。 Zbl 1357.68247号 恩里科·蓬泰利;儿子Tran Cao;奇塔·巴拉尔;格雷戈里·盖尔芬德 2 2012 关于在多代理域中表示动作。 Zbl 1326.68272号 奇塔·巴拉尔;格雷戈里·盖尔芬德 1 2011 知识表示、推理和陈述性问题解决。2003年精装版再版。 兹比尔1192.68666 奇塔·巴拉尔 9 2010 在知识逻辑及其应用中寻找模型的逻辑编程:案例研究。 Zbl 1213.68168号 C.巴拉尔。;盖尔丰德,G。;彭泰利,E。;儿子,T。 三 2010 使用动作语言进行多智能体领域推理的初步研究。 Zbl 1309.68185号 奇塔·巴拉尔;儿子Tran Cao;恩里科·蓬泰利 1 2010 带有答案集的概率推理。 Zbl 1170.68003号 奇塔·巴拉尔;迈克尔·盖尔芬德;纳尔逊·拉什顿 39 2009 关于信号网络的假设。 Zbl 1168.92002号 越南Tran;奇塔·巴拉尔 5 2009 代理人在动态环境中的维护目标:制定和政策建设。 Zbl 1183.68630号 奇塔·巴拉尔;托马斯·艾特;比约兰德,马库斯;中村、木须 三 2008 逻辑编程和非单调推理。第九届国际会议,LPNMR 2007,美国亚利桑那州坦佩,2007年5月15日至17日。诉讼程序。 Zbl 1119.68003号 14 2007 使用答案集编程,通过感知动作、不完整信息和静态因果律进行推理和规划。 Zbl 1120.68101号 Tu,Phan Huy先生;儿子Tran Cao;奇塔·巴拉尔 12 2007 生物网络中非即时触发因素的推理。 Zbl 1137.68603号 越南Tran;奇塔·巴拉尔 三 2007 用于处理专家系统中不确定性的区间型和仿射算术型技术。 兹比尔1106.68101 马丁·塞贝里奥;弗拉基克·克里诺维奇;桑吉夫·乔普拉;卢克·朗普雷;Nguyen,Hung T。;伯特伦·卢德谢尔;奇塔·巴拉尔 2 2007 答案集规划中的领域相关知识。 Zbl 1367.68271号 儿子Tran Cao;奇塔·巴拉尔;越南Tran;希拉·麦克莱思 7 2006 宏、宏调用和模块化应答集编程中信号群的使用。 Zbl 1131.68365号 奇塔·巴拉尔;朱拉杰·Dzifcak;Hiro高桥 7 2006 使用系统发育图谱和罗塞塔石碑方法研究蛋白质功能的逻辑关系的联合学习。 Zbl 1373.92093号 张欣;Kim,Seungchan先生;王,铁;C.巴拉尔。 2 2006 知识更新:语义和复杂性问题。 Zbl 1132.68720号 奇塔·巴拉尔;张燕 10 2005 逻辑编程和非单调推理。第八届国际会议,LPNMR 2005,意大利迪亚曼特,2005年9月5-8日。诉讼程序。 Zbl 1086.68002号 6 2005 艾伦:一种建模非马尔科夫域的动作语言。 Zbl 1101.68856号 格拉西拉·冈萨雷斯;奇塔·巴拉尔;迈克尔·盖尔芬德 1 2005 带有答案集的概率推理。 Zbl 1122.68361号 奇塔·巴拉尔;盖尔方德,迈克尔;纳尔逊·拉什顿 21 2004 使用逻辑编程,通过传感动作和不完整信息进行规划。 Zbl 1122.68617号 儿子Tran Cao;Tu,Phan Huy先生;奇塔·巴拉尔 三 2004 知识表示、推理和陈述性问题解决。 Zbl 1056.68139号 奇塔·巴拉尔 210 2003 形式化传感动作——基于过渡函数的方法。 Zbl 0969.68152号 儿子,T.C。;C.巴拉尔。 28 2001 使用不同形式的领域相关控制知识进行规划–一种答案集编程方法。 Zbl 1007.68591号 儿子Tran Cao;奇塔·巴拉尔;McIlraith,希拉 4 2001 使用逻辑编程的组合拍卖的声明性规范和解决方案。 Zbl 1007.68588号 奇塔·巴拉尔;乌扬、岑克 三 2001 从计划到寻找最短的计划:最佳过渡。 Zbl 1113.68484号 R·特雷霍。;J·加洛韦。;萨克尔,C。;克里诺维奇,V。;巴拉尔,C。;团乐池 1 2001 存在不完全性时规划和近似规划的计算复杂性。 兹比尔0948.68088 C.巴拉尔。;克里诺维奇,V。;R·特雷霍。 22 2000 动态域中的推理代理。 Zbl 0979.68100号 奇塔·巴拉尔;迈克尔·盖尔芬德 16 2000 通过过滤进行诱拐推理。 Zbl 0945.68161号 C.巴拉尔。 三 2000 触发器的不变性、维护和其他声明性目标–活动数据库的正式特征。 Zbl 0983.68742号 中村、木须;奇塔·巴拉尔 1 2000 扩展ConGolog以允许部分排序。 兹伯利0970.68634 奇塔·巴拉尔;儿子Tran Cao 1 2000 使用嵌套限定将叙述形式化。 Zbl 0908.68121号 奇塔·巴拉尔;阿尔弗雷多·加巴登;亚历山德罗·普罗维蒂 4 1998 限制中的值最小化。 Zbl 0909.68173号 奇塔·巴拉尔;阿尔弗雷多·加巴登;亚历山德罗·普罗维蒂 1 1998 代表行动:法律、观察和假设。 Zbl 0882.68030号 奇塔·巴拉尔;迈克尔·盖尔芬德;亚历山德罗·普罗韦蒂 10 1997 推理并发操作的影响。 Zbl 0882.68027号 奇塔·巴拉尔;迈克尔·盖尔芬德 8 1997 在存在感知和不完整信息的情况下,对动作进行近似推理。 Zbl 0944.68177号 奇塔·巴拉尔;儿子Tran Cao 4 1997 在逻辑编程情境演算中嵌入修正程序。 Zbl 0884.68024号 奇塔·巴拉尔 1 1997 逻辑编程和知识表示。 Zbl 0820.68028号 奇塔·巴拉尔;迈克尔·盖尔芬德 44 1994 逻辑编程的可选语义和非单调推理之间的二重性。 Zbl 0782.68074号 奇塔·R·巴拉尔。;苏布拉马尼安。 18 1993 逻辑程序的广义析取语义。 Zbl 1034.68506号 奇塔·巴拉尔;豪尔赫·洛博;杰克·明克尔 18 1992 逻辑程序和缺省逻辑的稳定和可拓类理论。 Zbl 0763.03017号 奇塔·R·巴拉尔。;苏布拉马尼安。 17 1992 所有引用出版物 前5名被引用出版物 全部的 前5名641位作者引用 36 托尔斯滕·绍布(Torsten H.Schaub)。 20 奇塔·R·巴拉尔。 20 马丁·格布瑟 16 托马斯·艾特 16 尼古拉·利昂 15 马丁·德·科克 15 弗朗西斯科·里卡 14 迈克尔·盖尔芬德 14 儿子Tran Cao 13 恩里科·蓬泰利 13 史蒂文·肖卡特 12 井上,Katsumi 12 德克·弗梅尔 11 卡明·多达罗 11 沃尔夫冈·费伯 10 罗兰·卡明斯基 9 佩德罗·卡巴拉尔 9 马可·马拉提亚 9 斯特凡·沃尔特兰 8 戈帕尔·古普塔 8 豪尔赫·洛博 8 V.Wiktor马雷克 8 毛里西奥·奥索里奥。 7 马里奥·阿尔维亚诺 7 安德烈亚·福米萨诺 7 本杰明·考夫曼 7 胡安·卡洛斯·尼维斯 7 杰弗里·布赖恩·雷梅尔 7 恰基萨卡马 7 特鲁什钦斯基,米罗斯瓦夫 7 张燕 6 瓦夏克·贝勒 6 罗伯托·孔瓦洛尼埃里 6 埃斯拉·埃尔登 6 豪尔赫·范丁诺 6 迈克尔·芬克 6 汤米·詹胡宁 6 杰罗·扬森 6 Lee,Joohyng先生 6 路易斯·莫尼兹·佩雷拉 6 哈维尔·罗梅罗 6 法哈德·沙克林 6 你,嘉慧 5 马塞洛·巴尔杜奇尼 5 斯特凡妮娅·科斯坦蒂尼 5 乔治·戈特洛布 5 安德烈亚斯·赫齐格 5 马克斯·奥斯特罗斯基 5 法布里西奥·里古齐 5 苏布拉马尼安。 5 汉斯·托姆皮茨 5 袁丽燕 5 周毅 4 乔瓦尼·阿蒙多拉 4 波纳蒂,皮耶罗·安德里亚 4 詹姆斯·德尔格兰德。 4 尤尔根·迪克斯 4 阿戈斯蒂诺·多维尔 4 曼弗雷德·埃普 4 阿尔弗雷多·加巴登 4 霍尔格·H·胡斯。 4 弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich) 4 马吕斯·林道尔 4 杰克·明克尔 4 洛伊奇·波列维 4 拉斐尔·佩尼亚洛萨 4 杰拉尔德·菲弗 4 Phan Minh Dung公司 4 萨阿德(Emad W.Saad)。 4 沈一东 4 安妮·西格尔 4 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 4 阿古斯汀·瓦尔弗德 4 康塞普西翁·维达尔 4 王毅 4 菲利普·旺科 4 张元林 三 费利西达·阿瓜多 三 达米亚诺·阿佐利尼 三 板巴拉,武都 三 金·鲍特斯 三 埃琳娜·贝洛迪 三 马戎·布隆德尔 三 托马斯·博兰德 三 格哈德·布鲁卡 三 弗朗西斯科·卡利默里 三 马克·德内克 三 帕特里克·多尔蒂 三 路易斯·法利尼亚斯·德尔·塞罗 三 劳伦特·加西亚 三 格雷戈里·盖尔芬德 三 乔瓦姆巴蒂斯塔·伊安尼 三 达尼埃拉·因利赞 三 托马斯·克伦瓦尔纳 三 杰罗姆·朗 三 克莱尔·莱夫雷 三 Hector J.列夫斯克。 三 托马斯·卢卡西维奇 三 摩根·马根 三 保罗·曼卡雷拉 …还有541位作者 全部的 前5名48篇连载文章中引用 95 逻辑程序设计理论与实践 69 人工智能 38 数学与人工智能年鉴 18 国际近似推理杂志 12 理论计算机科学 11 应用逻辑杂志 8 自动化推理杂志 8 应用非经典逻辑杂志 6 机器学习 5 模糊集与系统 4 逻辑研究 4 合成 4 纯逻辑与应用逻辑年鉴 4 信息与计算 三 计算机与系统科学杂志 三 新一代计算 三 计算机基础理论 三 ACM计算逻辑汇刊 2 信息处理信件 2 信息科学 2 人工智能通信 2 逻辑、语言与信息杂志 2 计算机科学中的逻辑方法 1 国际通用系统杂志 1 计算与应用数学杂志 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 数学和计算机建模 1 运筹学年鉴 1 吉泰。实验与理论人工智能杂志 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑档案 1 控制科学档案 1 可靠的计算 1 约束条件 1 中国科学。E系列 1 高阶和符号计算 1 国际不确定性、模糊性和基于知识的系统杂志 1 逻辑与代数程序设计杂志 1 系统科学与复杂性杂志 1 计算智能 1 多值逻辑与软计算杂志 1 新数学与自然计算 1 医学中的计算和数学方法 1 算法 1 科学中国。信息科学 1 理论生物学杂志 1 计算机科学前沿 全部的 前5名在14个字段中引用 433 计算机科学(68至XX) 70 数学逻辑和基础(03-XX) 23 生物学和其他自然科学(92-XX) 8 运筹学、数学规划(90-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 历史和传记(01-XX) 2 统计学(62-XX) 2 数值分析(65-XX) 2 系统理论;控制(93至XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 动力系统和遍历理论(37至XX) 1 概率论与随机过程(60-XX) 按年份列出的引文