编辑配置文件（在新选项卡中打开） 克劳迪奥·卡斯泰里尼 合著者距离 作者ID： 卡斯特里尼·克劳迪奥 发布日期： 克劳迪奥·卡斯泰里尼;C·卡斯特利尼。 外部链接： ORCID公司 已编制索引的文档： 10出版物自1994年以来 合著者： 13合著者具有10联合出版物 272合著作者 全部的 前5名合著者 0 单作者的 5 恩里科Giunchilia 4 亚历山德罗·阿曼多 三 马可·马拉提亚 三 阿兰·斯梅尔 2 阿曼多·塔切拉 1 巴巴拉·卡普托 1 福斯托·金奇利亚 1 马西莫·伊迪尼 1 杰、罗 1 尤尔根·科斯洛夫斯基 1 弗朗西斯科·奥拉博纳 1 朱利奥·桑迪尼 1 乔治·斯特雷克（George E.Strecker）。 系列 1 人工智能 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 自动推理杂志 1 模式识别 1 IGPL逻辑期刊 全部的 前5名领域 8 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 有序，格，有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 一般拓扑结构（54至XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用56次48文件 引用人▼ 年份▼ 基于SAT的自动推理决策程序：统一的观点。 Zbl 1098.68693号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;福斯托·金奇利亚;阿曼多·塔切拉 19 2005 复杂领域中基于SAT的规划：并发、约束和不确定性。 Zbl 1082.68799号 克劳迪奥·卡斯泰里尼;恩里科Giunchilia;阿曼多·塔切拉 17 2003 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 9 2005 在线独立支持向量机。 Zbl 1192.68534号 弗朗西斯科·奥拉博纳;克劳迪奥·卡斯泰里尼;巴巴拉·卡普托;杰、罗;朱利奥·桑迪尼 4 2010 量化模态逻辑的系统呈现。 Zbl 1019.03015号 克劳迪奥·卡斯泰里尼;阿兰·斯梅尔 2 2002 TSAT公司++：可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马西莫·伊迪尼;马可·马拉提亚 2 2005 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 1 2005 一阶时序逻辑的证明规划。 Zbl 1135.68553号 克劳迪奥·卡斯泰里尼;斯梅尔，艾伦 1 2005 常规闭包运算符的对偶方法。 Zbl 080118002号 C·卡斯特利尼。;J·科斯洛夫斯基。;乔治·斯特雷克（George E.Strecker）。 1 1994 在线独立支持向量机。 Zbl 1192.68534号 弗朗西斯科·奥拉博纳;克劳迪奥·卡斯泰里尼;巴巴拉·卡普托;杰、罗;朱利奥·桑迪尼 4 2010 基于SAT的自动推理决策程序：统一的观点。 Zbl 1098.68693号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;福斯托·金奇利亚;阿曼多·塔切拉 19 2005 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 9 2005 TSAT公司++：可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马西莫·伊迪尼;马可·马拉提亚 2 2005 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 1 2005 一阶时序逻辑的证明规划。 Zbl 1135.68553号 克劳迪奥·卡斯泰里尼;阿兰·斯梅尔 1 2005 复杂领域中基于SAT的规划：并发、约束和不确定性。 Zbl 1082.68799号 克劳迪奥·卡斯泰里尼;恩里科Giunchilia;阿曼多·塔切拉 17 2003 量化模态逻辑的系统呈现。 Zbl 1019.03015号 克劳迪奥·卡斯泰里尼;阿兰·斯梅尔 2 2002 正则闭包算子的对偶方法。 Zbl 080118002号 C·卡斯特利尼。;J·科斯洛夫斯基。;乔治·斯特雷克（George E.Strecker）。 1 1994 所有引用出版物 前5名被引用出版物 全部的 前5名105位作者引用 5 亚历山德罗·西马蒂 5 恩里科Giunchilia 4 马可·马拉提亚 三 马可·罗维里 三 罗伯托·塞巴斯蒂亚尼 三 儿子Tran Cao 2 亚历山德罗·阿曼多 2 克拉克·W·巴雷特。 2 皮耶乔治·贝尔托利 2 玛丽亚·保拉（Maria Paola Bonacina） 2 马可·波扎诺 2 罗伯特·布鲁托梅索 2 穆纳乔·埃切宁 2 汤米·A·琼蒂拉。 2 迈克尔·D·莫菲特。 2 萨拉·内格里 2 卢卡·普利纳 2 萨阿德（Emad W.Saad）。 2 阿曼多·塔切拉 2 保罗·特拉弗索 2 Tu，Phan Huy先生 2 彼得·范·罗苏姆 1 巴哈雷赫巴德班 1 Chitta R.巴拉尔。 1 David A.Basin。 1 亚历山德罗·布里干纳 1 克劳迪奥·卡斯泰里尼 1 欧内斯特·戴维斯 1 乔斯·德·布拉班特 1 克里斯·德·布拉班特 1 Bart L.R.De Moor。 1 莱昂纳多·德·莫拉 1 汤姆·迪特 1 多姆什拉克，卡梅尔 1 阿戈斯蒂诺·多维尔 1 罗尔夫·德雷克斯勒 1 杜忠华 1 罗伊·戴克霍夫 1 弗朗西斯科·法比亚诺 1 豪尔赫·范丁诺 1 布莱恩·盖恩斯（Brian R.Gaines）。 1 迈克尔·盖尔芬德 1 Mark A.Girolma。 1 阿尔贝托·格里乔 1 戴维·霍尔盖特（David B.Holgate）。 1 米科拉什，雅诺塔 1 Karsmakers，彼得 1 理查德·科尔夫（Richard E.Korf）。 1 马诺利斯库巴拉基斯 1 Hironobu Kuruma 1 乌古尔·库特 1 弗朗索瓦·拉费里雷 1 李，Ye-Bo 1 尤利亚·利勒 1 小斯科特 1 若昂·席尔瓦侯爵。 1 米其利，安德里亚 1 马贾·米利奇奇 1 维塔利·米基斯 1 宫崎骏 1 A.里卡多·莫拉莱斯 1 克里斯·迈尔斯（Chris J.Myers）。 1 马西莫·纳里扎诺 1 瑙，达纳 1 罗伯特·纽文胡斯 1 马塞洛·奥格利蒂 1 阿尔伯特·奥利弗拉斯 1 达里奥·奥斯图尼 1 恩吉亚·范姆（Duc Nghia Pham） 1 Phan，Quoc Sang先生 1 马可·皮斯托雷 1 Martha E.Pollack。 1 塞雷娜·伊丽莎·蓬塔 1 恩里科·蓬泰利 1 乔红 1 爱丽丝·拉斐尔 1 西尔维奥·兰伊斯 1 罗密欧·里兹 1 哈维尔·罗梅罗 1 阿卜杜勒·萨塔尔 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 斯蒂芬·舒尔茨 1 Shin、Ji-Ae 1 约瑟夫·什拉帕尔 1 马蒂亚斯·苏肯 1 Stump，亚伦 1 孙建国 1 约翰·苏肯斯。 1 Kazuo Takaragi 1 塞萨尔·蒂内利 1 西尔维娅·托马西 1 奥尔加·特维雷蒂纳 1 范德波尔，扬·科内利斯 1 莫西·亚亚科夫·瓦尔迪 1 马可·沃伊格特 1 大卫·沃尔特 1 王迪 1 罗伯特·威利 1 沃尔夫，伯克哈特 1 汉斯·赞特马 …还有5位作者 全部的 前5名17篇连载文章中引用 9 人工智能 5 自动推理杂志 4 约束条件 三 信息与计算 三 逻辑程序设计理论与实践 2 模式识别 1 信息科学 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 符号计算杂志 1 计算的形式方面 1 运筹学年鉴 1 神经计算 1 符号逻辑公报 1 数学与人工智能年鉴 1 Hacettepe数学与统计杂志 1 泛逻辑 全部的 前5名在7个字段中引用 41 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 5 运筹学、数学规划（90-XX） 2 范畴理论；同调代数（18-XX） 2 统计学（62-XX） 1 一般拓扑结构（54至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文