编辑配置文件（在新选项卡中打开） 亚历山德拉·拉索。 合著者距离 作者ID： russo.alessandra-m公司 发布方式： 亚历山德拉·拉索;A.拉索。;亚历山德拉·拉索。 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 50种出版物自1993年以来，包括1本书 7作为编辑的贡献 合著者： 54位合著者具有49联合出版物 958位合作作者 全部的 前5名合著者 2 单作者的 24 布罗达，Krysia B。 8 马洁菲 7 法律，Mark M。 6 Dov M.加巴伊。 5 奥利弗·雷 5 肯·佐藤 4 达拉·阿拉杰 4 多梅尼科·科尔皮 4 豪尔赫·洛博 4 埃米尔·卢普 4 塞巴斯蒂安·乌奇特尔 三 达戈斯蒂诺，马塞洛 三 浩史细部 三 杰夫·克莱默 三 弗朗西斯科·里卡 三 罗德里格斯，奥迪纳多·T·。 2 阿塔克拉维（Athakravi，Duangtida） 2 詹姆斯·库森斯 2 卢克·狄更斯 2 法兰克·勒 2 安迪·舒尔 2 朱利奥·斯塔里塔 2 Turluic，Calin-Rares（卡林·雷尔斯·特利乌克） 1 马里奥·阿里奥利 1 亚历山大·阿提基斯 1 塞拉芬·B·卡罗。 1 马修·克罗斯比 1 丹尼尔·坎宁顿 1 阿图尔·S·德阿维拉·加尔斯。 1 玛丽娜·德沃斯 1 马塞洛·芬格 1 保罗·福多 1 格哈德·弗里德里希（Gerhard E.Friedrich）。 1 丹尼尔·富纳罗 1 丹尼尔·布兰科（Daniel Furelos-Blanco） 1 Randy G.戈贝尔。 1 塞尔吉奥·格雷科 1 希施费尔德·卡勒（Nancy Hitschfeld-Kahler） 1 井上，胜美 1 安德斯·琼森 1 蒂姆·金伯 1 安吉丽卡·基米格 1 路易斯·兰姆。 1 尼古拉·利昂 1 弗朗西丝卡·亚历山德拉（Francesca Alessandra Lisi） 1 娜塔莉·迈马里 1 马可·马拉提亚 1 亚历山德拉·米利奥 1 罗布·米勒 1 卢多维科·米切纳 1 埃里克·诺拉德 1 巴沙尔·努塞贝 1 Olate-Sanzana，E。 1 奥尔蒂斯·伯纳丁，A。 1 朱利安·帕吉特 1 法布里西奥·里古齐 1 西尔瓦·瓦伦苏埃拉。 1 莫里斯·斯洛曼 1 丹尼尔·赛克斯 1 大卫·塔基 1 海克·卫尔海姆 1 大卫·A·伍德。 全部的 前5名系列 6 逻辑程序设计理论与实践 三 机器学习 三 IGPL逻辑杂志 2 计算的形式方面 2 计算机科学课堂讲稿 1 人工智能 1 卡尔科洛 1 Studia Logica公司 1 国际近似推理杂志 1 应用数学快报 1 数学和计算机建模 1 人工智能通信 1 数值算法 1 数学软件和软计算 1 人工智能研究杂志 1 Annali della Scuola Normale Superiore di Pisa公司。科学分类。V系列 1 应用逻辑杂志 1 符号逻辑述评 1 理论计算机科学电子论文集（EPTCS） 1 认知技术 全部的 前5名领域 42 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 8 总体主题；集合（00-XX） 4 偏微分方程（35-XX） 4 数值分析（65-XX） 三 流体力学（76-XX） 1 阶、格、有序代数结构（06-XX） 1 势能理论（31日至XX日） 1 欧氏空间的调和分析（42至XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用147中的次82文件 引用人▼ 年份▼ 答案集程序的归纳学习。 Zbl 1432.68391号 法律，马克;亚历山德拉·拉索;克里西亚，布罗达 19 2014 归纳逻辑编程是诱因搜索。 Zbl 1237.68203号 多梅尼科·科尔皮;亚历山德拉·拉索;埃米尔·卢普 16 2010 从上下文相关的示例中迭代学习答案集程序。 Zbl 1379.68074号 法律，马克;亚历山德拉·拉索;克里西亚，布罗达 14 2016 Stokes问题的后验误差估计。 Zbl 0821.65066号 A.拉索。 12 1995 Veamy：虚拟元素方法的可扩展面向对象C++库。 Zbl 1442.65002号 奥尔蒂斯·伯纳丁，A。;C·阿尔瓦雷斯。;Hitschfeld-Kahler，N。;A.拉索。;西尔瓦·瓦伦苏埃拉。;Olate-Sanzana，E。 11 2019 迭代方法的停止标准：PDE的应用。 Zbl 1072.65045号 M.阿里奥利。;诺拉德，E。;A.拉索。 10 2001 关于大通量Navier-Stokes系统稳态解的存在性。 Zbl 1150.76015号 A.拉索。;G.斯塔里塔。 10 2008 混合溯因归纳学习：Progol的推广。 Zbl 1263.68144号 奥利弗·雷;克里西亚，布罗达;亚历山德拉·拉索 8 2003 学习答案集编程中的弱约束。 Zbl 1379.68073号 法律，马克;亚历山德拉·拉索;克里西亚，布罗达 8 2015 使用答案集编程通过假设精化进行学习。 Zbl 1319.68166号 阿塔克拉维（Athakravi，Duangtida）;多梅尼科·科尔皮;克里西亚，布罗达;亚历山德拉·拉索 8 2014 学习答案集程序的复杂性和通用性。 Zbl 1445.68206号 法律，马克;亚历山德拉·拉索;克里西亚，布罗达 8 2018 失败诱导：学习相关的霍恩理论。 Zbl 1258.68031号 蒂姆·金伯;克里西亚，布罗达;亚历山德拉·拉索 6 2009 混合诱拐归纳证明程序。 Zbl 1067.68133号 奥利弗·雷;克里西亚，布罗达;亚历山德拉·拉索 5 2004 使用归纳学习的规范设计。 Zbl 1222.68054号 多梅尼科·科尔皮;亚历山德拉·拉索;玛丽娜·德沃斯;朱利安·帕吉特;肯·佐藤 5 2011 使用ILP从场景中提取需求。 Zbl 1201.68081号 达拉·阿拉杰;奥利弗·雷;亚历山德拉·拉索;塞巴斯蒂安·乌奇特尔 5 2007 一种用于模态逻辑、子结构逻辑和模糊逻辑的统一编译风格的演绎系统。 兹比尔1012.03013 克里西亚，布罗达;亚历山德拉·拉索;Dov Gabbay公司 4 2000 将模式移植到子结构蕴涵系统。 Zbl 0888.03011号 达戈斯蒂诺，马塞洛;Dov M.加巴伊。;亚历山德拉·拉索 4 1997 非单调域中的概率规则学习。 Zbl 1348.68188号 多梅尼科·科尔皮;丹尼尔·赛克斯;井上，胜美;亚历山德拉·拉索 4 2011 用于强化学习的子目标自动机的归纳和开发。 Zbl 1512.68275号 丹尼尔·布兰科（Daniel Furelos-Blanco）;法律，马克;安德斯·琼森;克里西亚，布罗达;亚历山德拉·拉索 4 2021 正规条件逻辑的标记自然演绎。 Zbl 1003.03024号 克里西亚，布罗达;Dov M.加巴伊。;路易斯·兰姆。;亚历山德拉·拉索。 三 2002 非经典逻辑中的信念修正。 Zbl 1208.03020号 Dov Gabbay公司;罗德里格斯，奥迪纳尔多;亚历山德拉·拉索 三 2008 用于分析基于事件的需求规范的诱因方法。 兹比尔1045.68531 亚历山德拉·拉索;罗布·米勒;巴沙尔·努塞贝;杰夫·克莱默 三 2002 概率外推中的极小性和完整性约束。 兹比尔1407.68086 Turluic，Calin-Rares（卡林·雷尔斯·特利乌克）;娜塔莉·迈马里;亚历山德拉·拉索;克里西亚，布罗达 三 2013 用改进的勒让德网格近似平流扩散问题。 Zbl 0875.76330号 D.富纳罗。;A.拉索。 2 1993 声明性分布式计算。 Zbl 1357.68139号 豪尔赫·洛博;马洁菲;亚历山德拉·拉索;法兰克·勒 2 2012 修订、可接受性和背景。理论和算法方面。 Zbl 1203.03023号 Dov M.加巴伊。;罗德里格斯，奥迪纳多·T·。;亚历山德拉·拉索 2 2010 子结构逻辑的标记自然演绎。 Zbl 0929.03059号 克里西亚，布罗达;马塞洛·芬格;亚历山德拉·拉索 2 1999 使用ILP从目标模型导出非Zeno行为模型。 Zbl 1213.68360号 D.阿尔拉杰。;杰夫·克莱默;A.拉索。;乌奇特尔，S。 2 2010 使用标记演绎系统概括命题模态逻辑。 Zbl 0902.03009号 亚历山德拉·拉索 2 1996 逆蕴涵的广义核集。 Zbl 1104.68384号 奥利弗·雷;克里西亚，布罗达;亚历山德拉·拉索 1 2004 使用诱因和归纳法细化操作需求。 Zbl 1176.68152号 D.阿尔拉杰。;O·雷。;A.拉索。;乌奇特尔，S。 1 2009 模态转换系统精化的归纳方法。 Zbl 1245.68061号 达拉·阿拉杰;杰夫·克莱默;亚历山德拉·拉索;塞巴斯蒂安·乌奇特尔 1 2011 分布式计算的声明性方法：规范、执行和分析。 Zbl 1286.68051号 马洁菲;法兰克·勒;大卫·伍德;亚历山德拉·拉索;豪尔赫·洛博 1 2013 定常Navier-Stokes方程的一个混合问题。 Zbl 1165.35430号 A.拉索。;G.斯塔里塔。 1 2009 使用Dirichlet先验的概率溯源逻辑编程。 Zbl 1386.68163号 卡林·雷尔斯（Calin Rares Turluic）;卢克·狄更斯;亚历山德拉·拉索;克里西亚，布罗达 1 2016 第36届逻辑编程（技术通信）国际会议记录，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。 Zbl 1466.68027号 1 2020 第36届逻辑程序设计国际会议简介。特刊I。 Zbl 1468.68018号 1 2020 用于强化学习的子目标自动机的归纳和开发。 Zbl 1512.68275号 丹尼尔·布兰科（Daniel Furelos-Blanco）;法律，马克;安德斯·琼森;克里西亚，布罗达;亚历山德拉·拉索 4 2021 第36届逻辑编程（技术通信）国际会议记录，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。 Zbl 1466.68027号 1 2020 第36届逻辑程序设计国际会议简介。特刊I。 Zbl 1468.68018号 1 2020 Veamy：虚拟元素方法的可扩展面向对象C++库。 Zbl 1442.65002号 奥尔蒂斯·伯纳丁，A。;C·阿尔瓦雷斯。;Hitschfeld-Kahler，N。;A.拉索。;西尔瓦·瓦伦苏埃拉。;Olate-Sanzana，E。 11 2019 学习答案集程序的复杂性和通用性。 Zbl 1445.68206号 法律，马克;亚历山德拉·拉索;克里西亚，布罗达 8 2018 从上下文相关的示例中迭代学习答案集程序。 Zbl 1379.68074号 法律，马克;亚历山德拉·拉索;克里西亚，布罗达 14 2016 使用Dirichlet先验的概率溯源逻辑编程。 Zbl 1386.68163号 卡林·雷尔斯（Calin Rares Turluic）;卢克·狄更斯;亚历山德拉·拉索;克里西亚，布罗达 1 2016 学习答案集编程中的弱约束。 Zbl 1379.68073号 法律，马克;亚历山德拉·拉索;克里西亚，布罗达 8 2015 答案集程序的归纳学习。 Zbl 1432.68391号 法律，马克;亚历山德拉·拉索;克里西亚，布罗达 19 2014 使用答案集编程通过假设精化进行学习。 Zbl 1319.68166号 阿塔克拉维（Athakravi，Duangtida）;多梅尼科·科尔皮;克里西亚，布罗达;亚历山德拉·拉索 8 2014 概率外推中的极小性和完整性约束。 兹比尔1407.68086 Turluic，Calin-Rares（卡林·雷尔斯·特利乌克）;娜塔莉·迈马里;亚历山德拉·拉索;克里西亚，布罗达 三 2013 分布式计算的声明性方法：规范、执行和分析。 Zbl 1286.68051号 马洁菲;法兰克·勒;大卫·伍德;亚历山德拉·拉索;豪尔赫·洛博 1 2013 声明性分布式计算。 Zbl 1357.68139号 豪尔赫·洛博;马洁菲;亚历山德拉·拉索;法兰克·勒 2 2012 使用归纳学习的规范设计。 Zbl 1222.68054号 多梅尼科·科尔皮;亚历山德拉·拉索;玛丽娜·德沃斯;朱利安·帕吉特;肯·佐藤 5 2011 非单调域中的概率规则学习。 Zbl 1348.68188号 多梅尼科·科尔皮;丹尼尔·赛克斯;井上，胜美;亚历山德拉·拉索 4 2011 模态转换系统精化的归纳方法。 Zbl 1245.68061号 达拉·阿拉杰;杰夫·克莱默;亚历山德拉·拉索;塞巴斯蒂安·乌奇特尔 1 2011 归纳逻辑编程是诱因搜索。 Zbl 1237.68203号 多梅尼科·科尔皮;亚历山德拉·拉索;埃米尔·卢普 16 2010 修订、可接受性和背景。理论和算法方面。 Zbl 1203.03023号 Dov M.加巴伊。;罗德里格斯，奥迪纳多·T·。;亚历山德拉·拉索 2 2010 使用ILP从目标模型导出非Zeno行为模型。 Zbl 1213.68360号 D.阿尔拉杰。;杰夫·克莱默;A.拉索。;乌奇特尔，S。 2 2010 失败诱导：学习相关的霍恩理论。 Zbl 1258.68031号 蒂姆·金伯;克里西亚，布罗达;亚历山德拉·拉索 6 2009 使用诱因和归纳法细化操作需求。 Zbl 1176.68152号 D.阿尔拉杰。;O·雷。;A.拉索。;乌奇特尔，S。 1 2009 定常Navier-Stokes方程的一个混合问题。 Zbl 1165.35430号 A.拉索。;G.斯塔里塔。 1 2009 关于大通量Navier-Stokes系统稳态解的存在性。 Zbl 1150.76015号 A.拉索。;G.斯塔里塔。 10 2008 非经典逻辑中的信念修正。 Zbl 1208.03020号 Dov Gabbay公司;罗德里格斯，奥迪纳尔多;亚历山德拉·拉索 三 2008 使用ILP从场景中提取需求。 Zbl 1201.68081号 达拉·阿拉杰;奥利弗·雷;亚历山德拉·拉索;塞巴斯蒂安·乌奇特尔 5 2007 混合诱拐归纳证明程序。 Zbl 1067.68133号 奥利弗·雷;克里西亚，布罗达;亚历山德拉·拉索 5 2004 逆蕴涵的广义核集。 Zbl 1104.68384号 奥利弗·雷;克里西亚，布罗达;亚历山德拉·拉索 1 2004 混合溯因归纳学习：Progol的推广。 Zbl 1263.68144号 奥利弗·雷;克里西亚，布罗达;亚历山德拉·拉索 8 2003 正规条件逻辑的标记自然演绎。 Zbl 1003.03024号 克里西亚，布罗达;Dov M.加巴伊。;路易斯·兰姆。;亚历山德拉·拉索。 三 2002 用于分析基于事件的需求规范的诱因方法。 兹比尔1045.68531 亚历山德拉·拉索;罗布·米勒;巴沙尔·努塞贝;杰夫·克莱默 三 2002 迭代方法的停止标准：PDE的应用。 Zbl 1072.65045号 M.阿里奥利。;诺拉德，E。;A.拉索。 10 2001 一种用于模态逻辑、子结构逻辑和模糊逻辑的统一编译风格的演绎系统。 兹比尔1012.03013 克里西亚，布罗达;亚历山德拉·拉索;Dov Gabbay公司 4 2000 子结构逻辑的标记自然演绎。 Zbl 0929.03059号 克里西亚，布罗达;马塞洛·芬格;亚历山德拉·拉索 2 1999 将模式移植到子结构蕴涵系统。 Zbl 0888.03011号 D&rsquo；马塞洛·阿戈斯蒂诺;Dov M.加巴伊。;亚历山德拉·拉索 4 1997 使用标记演绎系统概括命题模态逻辑。 Zbl 0902.03009号 亚历山德拉·拉索 2 1996 Stokes问题的后验误差估计。 Zbl 0821.65066号 A.拉索。 12 1995 用改进的勒让德网格近似平流扩散问题。 Zbl 0875.76330号 D.富纳罗。;A.拉索。 2 1993 所有引用出版物 前5名被引用出版物 全部的 前5名168位作者引用 14 亚历山德拉·拉索。 9 井上，胜美 9 法律，Mark M。 8 布罗达，Krysia B。 6 Dov M.加巴伊。 6 史蒂芬·H·马格尔顿。 4 安德鲁·克洛珀 三 达拉·阿拉杰 三 伊芙琳娜·拉姆 三 奥利弗·雷 三 法布里西奥·里古齐 三 雷娜塔·瓦瑟曼 2 娜塔莎·亚历奇纳 2 汤姆·J·阿梅罗特。 2 亚历山大·阿提基斯 2 埃琳娜·贝洛迪 2 多梅尼科·科尔皮 2 梅迪·达斯坦尼（Mehdi M.Dastani）。 2 阿图尔·S·德阿维拉·加尔斯。 2 吕克·德·雷德 2 托马斯·艾特 2 马塞洛·芬格 2 马可·加瓦内利 2 马丁·格布瑟 2 井沼，Koji 2 安东尼斯·卡卡斯（Antonis C.Kakas）。 2 尼科斯·卡佐里 2 路易斯·兰姆。 2 布赖恩·洛根 2 卢多维科·米切纳 2 希德托莫·纳贝希玛 2 乔治·巴利乌拉斯 2 托尼·里贝罗 2 恰基萨卡马 2 康斯坦丁·舍科提欣 2 塔马多尼·内扎德（Alireza Tamaddoni-Nezhad） 2 爱丽丝·塔萨里奥尔 2 塞巴斯蒂安·乌奇特尔 2 Van den Bussche，简 2 里卡多·泽斯 1 迈克尔·亚伯拉罕 1 阿尔珀·艾哈迈托格鲁 1 马尔科·阿尔贝蒂 1 彼得·阿尔瓦罗 1 加尔阿姆拉姆 1 阿塔克拉维（Athakravi，Duangtida） 1 达米亚诺·阿佐利尼 1 迈克尔·贝恩（Michael E.Bain）。 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 安德烈·顿塞斯库 1 迪迪埃·杜布瓦 1 塞巴斯蒂安杜曼奇奇 1 法国杜兰杜比夫 1 阿贝尔·迪乌布 1 弗拉维奥·埃弗拉多 1 斯特凡诺·费里利 1 爱德华多·利奥波多·费尔梅 1 保罗·菲奥里尼 1 Peter A.Flach。 1 马克西姆·福舍特 1 丹尼尔·布兰科（Daniel Furelos-Blanco） 1 穆罕默德·埃尔拉布（Mohamed H.Gad-Elrab）。 1 法比奥·加利亚迪·科兹曼 1 布莱恩·盖恩斯（Brian R.Gaines）。 1 安东尼奥·吉索尔菲 1 拉杰夫·普拉巴卡尔·戈尔 1 圭多州长 1 Guerra，Paulo T。 1 斯文·奥夫·汉森 1 约瑟夫·海勒斯坦。 1 何塞·埃尔南德斯·奥拉罗 1 安德斯·琼森 1 诺里希罗·卡米德 1 托比亚斯·卡明斯基 1 克里斯蒂安·凯斯廷 1 克莱森，Toryn Qwyllyn 1 科利，普希米特 1 塞缪尔·科尔布 …还有68位作者 全部的 前5名17篇连载文章中引用 22 机器学习 11 逻辑程序设计理论与实践 6 人工智能 4 人工智能研究杂志 三 理论计算机科学 三 国际近似推理杂志 三 应用逻辑杂志 2 哲学逻辑杂志 2 计算的形式方面 2 应用非经典逻辑杂志 2 泛逻辑 1 计算机与系统科学杂志 1 国际智能系统杂志 1 逻辑、语言与信息杂志 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 符号逻辑述评 全部的 前5名在8个字段中引用 72 计算机科学（68至XX） 21 数学逻辑和基础（03-XX） 2 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 动力系统和遍历理论（37至XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文