路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello)
人员信息
附属: 意大利罗马萨皮恩扎大学
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2010 – 2019
2016 [j16] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) :
Ada Lovelace在数字时代的多方面影响。 Artif公司。 智力。 235 : 58-62 ( 2016 ) [公元15年] 伊曼纽尔·巴斯蒂亚内利 , 丹尼尔·纳尔迪 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 法布里奇奥·贾科梅利 , 尼古拉·马内斯 :
为机器人说话:为机器人应用开发声音接口。 申请。 智力。 44 ( 1 ) : 43-66 ( 2016 ) 2014 [电子3] 斯特凡妮娅·班迪尼 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 朱塞佩·维扎里 :
“老龄化社会的挑战:人工智能的技术作用和机遇”研讨会会议记录,与意大利人工智能协会第十三届会议(AI*IA 2013)合办,意大利都灵,2013年12月6日。 CEUR研讨会记录 1122, CEUR-WS.org公司 2014 [目录] 2013 [公元14年] 卢卡·伊基 , 伊曼纽尔·梅内加蒂 , 安德烈亚·博纳里尼 , 马特奥·马特尤奇 , 恩里科·佩吉洛 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 丹尼尔·纳尔迪 , 富尔维奥·马斯特罗吉奥瓦尼 , 安东尼奥·斯戈比萨 , 雷纳托·扎卡里亚 , 罗萨里奥·索贝洛 , 安东尼奥·切拉 , 马塞洛·贾拉迪纳 , 普里莫·津加雷蒂 , 埃马努埃勒·弗龙托尼 , 阿德里亚诺·曼奇尼 , 格拉齐亚·西西雷利 , 亚历山德罗·法利内利 , 多梅尼科·索伦蒂 :
智能服务机器人的开发。 人工智能 7 ( 2 ) : 139-152 ( 2013 ) 【c23】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 伊曼纽尔·巴斯蒂亚内利 , 卢卡·伊基 , 丹尼尔·纳尔迪 , 维托里奥·佩雷拉 , 加布里埃尔·兰德利 :
知识渊博的会说话的机器人。 AGI公司 2013 : 182-191 [公元22年] 丹尼尔·纳尔迪 , 卢卡·伊奥奇 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) :
Sapienza机器人杯。 PAI@人工智能 *IA公司 2013 : 7-14
2000 – 2009
2006 [j13] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 恩里科·金奇利亚 , 卢西亚诺·塞拉菲尼 :
人工智能逻辑。 人工智能 三 ( 1-2 ) : 7-13 ( 2006 ) 2005 【c21】 马尔科·贝内代蒂 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) :
基于SAT的合作规划:提案。 机械化数学推理 2005 : 494-513 2002 [公元20年] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 法比奥·马萨奇 :
规划对安全协议的攻击:逻辑编程案例研究。 计算逻辑:逻辑编程及其以外 2002 : 533-560 2001 [公元12年] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 法比奥·马萨奇 :
在逻辑编程中验证安全协议。 ACM事务处理。 计算。 日志。 2 ( 4 ) : 542-580 ( 2001 ) [第19条] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 法比奥·马萨奇 :
攻击公平交换协议:并行模型与跟踪模型。 CAV下的LACPV 2001 : 51-68 2000 [第18条] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 法比奥·马萨奇 :
一种用于规划安全协议攻击的可执行规范语言。 CSFW公司 2000 : 88-102
1990 – 1999
1997 [公元11年] 吉安尼·阿马蒂 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 菲奥拉·皮里 :
定义和常识推理。 Artif公司。 智力。 93 : 169-199 ( 1997 ) [公元10年] 吉安尼·阿马蒂 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 菲奥拉·皮里 :
直觉主义自认知逻辑。 Stud Logica公司 59 ( 1 ) : 103-120 ( 1997 ) 1996 [公元9年] 吉安尼·阿马蒂 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , Dov M.Gabbay公司 , 菲奥拉·皮里 :
表征缺省逻辑的模态框架的结构属性。 日志。 J.IGPL公司 4 ( 1 ) : 7-22 ( 1996 ) [j8] 吉安尼·阿马蒂 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , Dov M.Gabbay公司 , 菲奥拉·皮里 :
缺省推理的证明理论方法I:缺省逻辑表。 J.日志。 计算。 6 ( 2 ) : 205-231 ( 1996 ) [第17条] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) :
常识推理。 ECAI公司 1996 : 708-709 [第16条] 布鲁诺·埃里科 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) :
情境演算中的智能代理:在用户建模中的应用。 FAPR公司 1996 : 126-140 [电子2] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 乔恩·道尔 , 斯图亚特·夏皮罗 :
1996年11月5日至8日,美国马萨诸塞州剑桥市,第五届知识表示和推理原则国际会议记录(KR’96)。 摩根·考夫曼 1996 ,国际标准图书编号 1-55860-421-9 [目录] 1994 [j7] 吉安尼·阿马蒂 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 菲奥拉·皮里 :
默认为对经典Hilbert-style证明的限制。 J.日志。 语言信息。 三 ( 4 ) : 303-326 ( 1994 ) 1991 [j6] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 丹尼尔·纳尔迪 :
知识表示中的观点。 申请。 Artif公司。 智力。 5 ( 1 ) : 29-44 ( 1991 ) [j5] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 丹尼尔·纳尔迪 , 马尔科·谢尔夫 :
关于元级架构中推理的推理。 申请。 智力。 1 ( 1 ) : 55-67 ( 1991 ) [第15条] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 玛丽亚·恰尔迪亚 , 丹尼尔·纳尔迪 :
关于学生知识和推理的推理。 国际JCAI 1991 : 1087-1093 [第14条] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 丹尼尔·纳尔迪 , 马尔科·谢尔夫 :
知识推理:元层次方法。 SCAI公司 1991 : 4-18 1990 【j4】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 亚历山德罗·米卡雷利 :
SEDAF:一个智能的数学教育系统。 申请。 Artif公司。 智力。 4 ( 1 ) : 15-36 ( 1990 )
1980 – 1989
1988 [第13条] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 丹尼尔·纳尔迪 , 马尔科·谢尔夫 :
关于知识和无知的推理。 FGCS公司 1988 : 618-627 [第12条] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 丹尼尔·纳尔迪 , 马尔科·谢尔夫 :
三智者难题的另一个解决方案。 伊斯米斯 1988 : 398-407 [电子1] 毛罗·博斯卡罗 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 乔治·列维 :
逻辑和函数编程基础,研讨会,意大利特伦托,1986年12月15-19日,会议记录。 计算机科学课堂讲稿 306, 施普林格 1988 ,国际标准图书编号 3-540-19129-1 [目录] 1987 [第11条] 卡路·施齐 , 达里奥·萨蒂尼 , 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) :
通过设置值函数评估逻辑程序。 ICLP公司 1987 : 428-455 1986 [j3] 路易吉亚·艾略 , 卡路·施齐 , 达里奥·萨蒂尼 :
元知识的表示和使用。 程序。 电气与电子工程师协会 74 ( 10 ) : 1304-1321 ( 1986 ) [第10条] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) :
推理技巧(面板)。 IFIP大会 1986 : 549-550 1985 【c9】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 卡路·施齐 :
在扩展关系代数中添加闭包算子:数据库技术与逻辑编程集成的又一步。 知识库管理基础(Xania) 1985 : 179-202 1984 【c8】 路易吉亚·艾略 , 丹尼尔·纳尔迪 , 毛里齐奥·潘蒂 :
办公室结构建模:走向办公室专家系统的第一步。 COCS公司 1984 : 25-32 1981 [注2] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 吉安弗兰科·普里尼 :
Lambda-Calculus的高效解释器。 J.计算。 系统。 科学。 23 ( 三 ) : 383-424 ( 1981 ) 1980 【c7】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) :
FOL中语义附件的自动生成。 AAAI公司 1980 : 90-92 【c6】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 理查德·威哈奇 :
用元理论推理做代数。 CADE公司 1980 : 1-13
1970 – 1979
1977 [j1] 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 马里奥·艾洛 , 理查德·威哈奇 :
LCF中的Pascal:语义和证明示例。 西奥。 计算。 科学。 5 ( 2 ) : 135-177 ( 1977 ) 【c5】 路易吉亚·艾略 , 朱塞佩·阿塔迪 , 吉安弗兰科·普里尼 :
走向更具声明性的编程风格。 编程概念的形式化描述 1977 : 121-138 1976 【c4】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 马里奥·艾略 , 朱塞佩·阿塔迪 , P.卡瓦拉里 , 吉安弗兰科·普里尼 :
生成的控制机制语义的形式化定义。 MFCS公司 1976 : 173-179 1975 【c3】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 马里奥·艾略 :
类型化lambda演算中的编程语言语义。 兰巴达微积分与计算机科学理论 1975 : 240-251 1974 【c2】 路易吉亚·艾略 , 马里奥·艾略 :
在L.C.F.中证明程序的正确性。。 规划专题讨论会 1974 : 59-71 1973 【c1】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 乌戈·蒙塔纳里 :
结构化程序中控制的形式化定义。 MFCS公司 1973 : 169-174
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)