停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）

路易吉亚·艾略

>主页 >珀森斯

人员信息

附属： 意大利罗马萨皮恩扎大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2016
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/Aiello16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/Aiello16
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）:
Ada Lovelace在数字时代的多方面影响。 Artif公司。智力。 235:58-62(2016)
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apin/BastianelliNAGM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apin/BastianelliNAGM16
伊曼纽尔·巴斯蒂亚内利,丹尼尔·纳尔迪,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,法布里奇奥·贾科梅利,尼古拉马里亚·马内斯:
专门针对机器人：为机器人应用开发语音接口。申请。智力。 44(1):43-66(2016)
2014
[电子3]
- 看法
- 出口记录
  dblp键：
  - conf/aiia/2013老化
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiia/2013老化
斯特凡妮娅·班迪尼,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,朱塞佩·维扎里:
“老龄化社会的挑战：人工智能的技术作用和机遇”研讨会会议记录，与意大利人工智能协会第十三届会议（AI*IA 2013）合办，意大利都灵，2013年12月6日。 CEUR研讨会记录1122,CEUR-WS.org公司 2014 [目录]
2013
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ia/IocchiMBMPANMSZSCGZFMCFS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ia/IocchiMBMPANMSZSCGZFMCFS13
卢卡·伊基,伊曼纽尔·梅内加蒂,安德烈亚·博纳里尼,马特奥·马特尤奇,恩里科·佩吉洛,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,丹尼尔·纳尔迪,富尔维奥·马斯特罗吉奥瓦尼,安东尼奥·斯戈比萨,雷纳托·扎卡里亚,罗萨里奥·索贝洛,安东尼奥·切拉,马塞洛·贾拉迪纳,普里莫·津加雷蒂,伊曼纽尔·弗伦托尼,阿德里亚诺·曼奇尼,格拉齐亚·西西雷利,亚历山德罗·法里内利,多梅尼科·索伦蒂:
智能服务机器人的开发。人工智能 7(2):139-152(2013)
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/agi/AielloBINPR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agi/AielloBINPR13
路易吉娅·卡鲁奇·艾洛,伊曼纽尔·巴斯蒂亚内利,卢卡·伊基,丹尼尔·纳尔迪,维托里奥·佩雷拉,加布里埃尔·兰德利:
知识渊博的会说话的机器人。 AGI公司 2013:182-191
[公元22年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiia/NardiIA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiia/NardiIA13
丹尼尔·纳尔迪,卢卡·伊基,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）:
Sapienza机器人杯。 PAI@人工智能*IA公司 2013:7-14

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2006
[j13]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/ia/AielloGS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ia/AielloGS06
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,恩里科·金奇利亚,卢西亚诺·塞拉菲尼:
人工智能逻辑。人工智能三(1-2):7-13(2006)
2005
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BenedettiA05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BenedettiA05
马尔科·贝内代蒂,路易吉娅·卡鲁奇·艾洛:
基于SAT的合作规划：提案。机械化数学推理 2005:494-513
2002
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/AielloM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/AielloM02
路易吉娅·卡鲁奇·艾洛,法比奥·马萨奇:
规划对安全协议的攻击：逻辑编程案例研究。计算逻辑：逻辑编程及其以外 2002:533-560
2001
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/AielloM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/AielloM01
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,法比奥·马萨奇:
在逻辑编程中验证安全协议。 ACM事务处理。计算。日志。 2(4):542-580(2001)
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/AielloM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/AielloM01
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,法比奥·马萨奇:
攻击公平交换协议：并行模型与跟踪模型。 CAV下的LACPV 2001:51-68
2000
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/AielloM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/AielloM00
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,法比奥·马萨奇:
一种用于规划安全协议攻击的可执行规范语言。 CSFW公司 2000:88-102

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1997
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/AmatiAP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/AmatiAP97
吉安尼·阿马蒂,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,菲奥拉·皮里:
定义和常识推理。 Artif公司。智力。 93:169-199(1997)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/AmatiAP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sLogica/AmatiAP97
吉安尼·阿马蒂,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,菲奥拉·皮里:
直觉主义自认知逻辑。 Stud Logica公司 59(1):103-120(1997)
1996
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/AmatiAGP96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/AmatiAGP96
吉安尼·阿马蒂,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,Dov M.Gabbay公司,菲奥拉·皮里:
表征缺省逻辑的模态框架的结构属性。日志。J.IGPL公司 4(1):7-22(1996)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AmatiAGP96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AmatiAGP96
吉安尼·阿马蒂,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,Dov M.Gabbay公司,菲奥拉·皮里:
缺省推理的证明理论方法I：缺省逻辑表。 J.日志。计算。 6(2):205-231(1996)
[第17条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ecai/Aiello公司96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecai/Aiello96网址
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）:
常识推理。 ECAI公司 1996:708-709
[c16]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fapr/ErricoA96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fapr/ErricoA96
布鲁诺·埃里科,路易吉娅·卡鲁奇·艾洛:
情境演算中的智能代理：在用户建模中的应用。 FAPR公司 1996:126-140
[电子2]
- 看法
  - dblp中的目录
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/1996
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/1996
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,乔恩·道尔,斯图亚特·夏皮罗:
1996年11月5日至8日，美国马萨诸塞州剑桥市，第五届知识表示和推理原则国际会议记录（KR’96）。摩根考夫曼 1996，国际标准图书编号1-55860-421-9 [目录]
1994
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jolli/AmatiAP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jolli/AmatiAP94
吉安尼·阿马蒂,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,菲奥拉·皮里:
默认为对经典Hilbert-style证明的限制。 J.日志。语言信息。三(4):303-326(1994)
1991
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aai/AielloN91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aai/AielloN91
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,丹尼尔·纳尔迪:
知识表示中的观点。申请。Artif公司。智力。 5(1):29-44(1991)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apin/AielloNS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apin/AielloNS91
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,丹尼尔·纳尔迪,马尔科·谢尔夫:
关于元级架构中的推理的推理。申请。智力。 1(1):55-67(1991)
[c15]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/AielloCN91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/AielloCN91
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,玛丽亚·恰尔迪亚,丹尼尔·纳尔迪:
关于学生知识的推理和推理。国际JCAI 1991:1087-1093
[第14条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/scai/AielloNS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/scai/AielloNS91
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,丹尼尔·纳尔迪,马尔科·谢尔夫:
知识推理：元层次方法。 SCAI公司 1991:4-18
1990
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aai/AielloM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aai/AielloM90
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,亚历山德罗·米卡雷利:
SEDAF：一个智能的数学教育系统。申请。Artif公司。智力。 4(1):15-36(1990)

1980 – 1989

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1988
[第13条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fgcs/AielloNS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fgcs/AielloNS88
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,丹尼尔·纳尔迪,马尔科·谢尔夫:
关于知识和无知的推理。 FGCS公司 1988:618-627
[第12条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ismis/AielloNS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ismis/AielloNS88
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,丹尼尔·纳尔迪,马尔科·谢尔夫:
三智者难题的另一个解决方案。 ISMIS系统 1988:398-407
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flfp/1986
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flfp/1986
毛罗·博斯卡罗,路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,乔治·列维:
逻辑和函数编程基础，研讨会，意大利特伦托，1986年12月15-19日，会议记录。计算机科学课堂讲稿306,施普林格 1988，国际标准图书编号3-540-19129-1 [目录]
1987
[第11条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CecchiSA87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CecchiSA87
卡路·施齐,达里奥·萨蒂尼,路易吉娅·卡鲁奇·艾洛:
通过集值函数评估逻辑程序。 ICLP公司 1987:428-455
1986
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pieee/AielloCS86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pieee/AielloCS86
路易吉亚·艾略,卡路·施齐,达里奥·萨蒂尼:
元知识的表示和使用。程序。电气与电子工程师协会 74(10):1304-1321(1986)
[第10条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ifip/Aiello86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip/Aiello86
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）:
推理技巧（面板）。 IFIP大会 1986:549-550
1985
【c9】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/db-workshops/AielloC85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/db-workshops/AielloC85
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,卡路·施齐:
在扩展关系代数中添加闭包算子：数据库技术与逻辑编程集成的又一步。知识库管理基础（Xania） 1985:179-202
1984
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cocs/AielloNP84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cocs/AielloNP84
路易吉亚·艾略,丹尼尔·纳尔迪,毛里齐奥·潘蒂:
办公室结构建模：迈向办公室专家系统的第一步。 COCS公司 1984:25-32
1981
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcss/AielloP81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcss/AielloP81
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,詹弗兰科·普里尼:
Lambda-Calculus的高效解释器。 J.计算。系统。科学。 23(三):383-424(1981)
1980
【c7】
- 看法
  - 电子版@aaai.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaai/Aiello80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/Aiello80
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）:
FOL中语义附件的自动生成。 AAAI公司 1980:90-92
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AielloW80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AielloW80
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,理查德·威哈奇:
用元理论推理做代数。 CADE公司 1980:1-13

1970 – 1979

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1977
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AielloAW77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AielloAW77
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,马里奥·艾略,理查德·威哈奇:
LCF中的Pascal:语义和证明示例。西奥。计算。科学。 5(2):135-177(1977)
【c5】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ifip2/AielloAP77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip2/AielloAP77
路易吉亚·艾略,朱塞佩·阿塔迪,吉安弗兰科·普里尼:
走向更具声明性的编程风格。编程概念的形式化描述 1977:121-138
1976
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/AielloAACP76
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/AielloAACP76
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,马里奥·艾略,朱塞佩·阿塔迪,P.卡瓦拉里,吉安弗兰科·普里尼:
生成的控制机制语义的形式化定义。 MFCS公司 1976:173-179
1975
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lambda/AielloA75型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lambda/AielloA75
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,马里奥·艾略:
类型化lambda演算中的编程语言语义。兰巴达微积分与计算机科学理论 1975:240-251
1974
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/AielloA74
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/AielloA74
路易吉亚·艾略,马里奥·艾略:
在L.C.F.中证明程序的正确性。。规划专题讨论会 1974:59-71
1973
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mfcs/CarlucciM73公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/CarlucciM73
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,乌戈·蒙塔纳里:
结构化程序中控制的形式化定义。 MFCS公司 1973:169-174

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。