朱塞佩·阿塔尔迪
人员信息
附属: 意大利比萨大学
优化列表
2020年-今天
2020 [公元94年] 米歇尔·丰塔纳 , 朱塞佩·阿塔尔迪 :
Fontana-Unipi@HaSpeeDe2:Evalita仇恨演讲任务变形金刚合奏(短文)。 埃瓦利塔 2020 [c93] 朱塞佩·阿塔尔迪 , 丹尼尔·萨蒂亚诺 , 玛丽亚·西米 :
线性神经解析和增强通用依赖的混合增强。 IWPT 2020年 2020 : 206-214 [公元92年] 瓦列里娅·斯洛文科夫斯卡娅 , 朱塞佩·阿塔尔迪 :
将学习从变形金刚转移到假新闻挑战姿态检测(FNC-1)任务。 LREC公司 2020 : 1211-1218
2010 – 2019
2019 [公元91年] 丹尼尔·萨蒂亚诺 , 朱塞佩·阿塔尔迪 , 卢卡·德里 , 毛里齐奥·马蒂内利 :
利用机器学习进行可疑网络事件识别。 IEEE大数据 2019 : 5915-5920 [公元90年] 费德里科·罗塞托 , 阿莱西奥·格拉维纳 , 西尔维娅·塞韦里尼 , 朱塞佩·阿塔尔迪 :
答案句选择模型的比较研究。 CLiC-它 2019 [公元89年] 米歇尔·雷斯塔 , 丹尼尔·阿里奥利 , 亚历山德罗·法格纳尼 , 朱塞佩·阿塔尔迪 :
2019年BioASQ问答用变压器模型。 PKDD/ECML研讨会(2) 2019 : 711-726 2018 [公元88年] 阿莱西奥·格拉维纳 , 费德里科·罗塞托 , 西尔维娅·塞韦里尼 , 朱塞佩·阿塔尔迪 :
基于选择的问题回答的交叉关注。 NL4AI@人工智能 *IA公司 2018 : 53-62 [公元87年] 朱塞佩·阿塔尔迪 , 亚历克斯·巴切西 , 阿尔贝托·科拉 , 罗伯托·迪·拉洛 , 富尔维奥·加利亚齐 :
用于部署容器平台的声明性建模。 AINA研讨会 2018 : 386-389 [公元86年] 朱塞佩·阿塔尔迪 , 贝尼亚米·迪马蒂诺 , 安东尼奥·埃斯波西托 , 米歇尔·马斯特罗亚尼 :
使用联邦云平台实现学术研究和管理服务。 AINA研讨会 2018 : 413-418 [公元85年] 马尔科·阿尔迪努奇 , 塞尔吉奥·拉贝利诺 , 马可·皮隆蒂 , 菲利波·斯皮加 , 保罗·维维亚尼 , 毛里齐奥·德罗科 , 马可·盖尔佐尼 , 吉多·波埃拉 , 马可·梅利娅 , 保罗·玛加拉 , 伊迪利奥·德拉戈 , 罗伯托·马图拉诺 , 吉多·马切托 , 埃利奥·皮科洛 , 斯特凡诺·巴纳斯科 , 斯特凡诺·卢索 , 萨拉·瓦莱罗 , 朱塞佩·阿塔尔迪 , 亚历克斯·巴切西 , 阿尔贝托·科拉 , 富尔维奥·加利亚齐 :
HPC4AI:一个AI按需联合平台项目。 穿越火线 2018 : 279-286 [公元84年] 朱塞佩·阿塔尔迪 , 丹尼尔·萨蒂亚诺 :
DGA分类的双向LSTM模型。 SSCC公司 2018 : 687-694 2017 [公元83年] 安德烈亚·马多托 , 朱塞佩·阿塔尔迪 :
用于问题回答的问题相关递归实体网络。 NL4AI@人工智能 *IA公司 2017 : 69-80 [公元82年] 朱塞佩·阿塔尔迪 , 安东尼奥·卡塔 , 费德里科·埃里卡 , 安德烈亚·马多托 , 卢多维卡·潘尼托 :
SemEval-2017任务3的FA3L:用于问答的ThRee嵌入递归神经网络。 SemEval@ACL公司 2017 : 299-304 [i2] 朱塞佩·阿塔尔迪 , 亚历克斯·巴切西 , 阿尔贝托·科拉 , 富尔维奥·加利亚齐 , 乔瓦尼·马尔祖利 , 马里奥·雷尔 :
构建云联合和云应用程序的声明性建模。 CoRR公司 abs/1706.05272 ( 2017 ) [i1] 安德烈亚·马多托 , 朱塞佩·阿塔尔迪 :
用于问题回答的问题相关递归实体网络。 CoRR公司 abs/1707.07922 ( 2017 ) 2016 [公元81年] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
Tweets的字符嵌入PoS Tagger与HMM Tagger。 CLiC-it/EVALITA公司 2016 [公元80年] 朱塞佩·阿塔尔迪 , 丹妮尔·萨尔蒂亚诺 , 奇亚拉·阿尔泽塔 , 费德里卡·塞姆普利奇 :
意大利推文情感分析的卷积神经网络。 CLiC-it/EVALITA公司 2016 [公元79年] 朱塞佩·阿塔尔迪 , 丹尼尔·萨蒂亚诺 , 玛丽亚·西米 , 艾琳·苏卡梅利 :
在推文中使用嵌入进行实体识别和链接。 CLiC-it/EVALITA公司 2016 [c78] 玛丽亚·西米 , 朱塞佩·阿塔尔迪 :
将TANL工具套件调整为通用依赖项。 LREC公司 2016 [公元77年] 朱塞佩·阿塔尔迪 , 丹尼尔·萨蒂亚诺 :
UniPI在2016年SemEval的任务4:情绪分类的卷积神经网络。 塞米瓦尔@NAACL-HLT 2016 : 220-224 2015 [公元12年] 朱塞佩·阿塔尔迪 , 瓦莱里奥·巴兹勒 , 克里斯蒂娜·博斯科 , 托马索·卡塞利 , 费利斯·德尔·奥列塔 , 西蒙娜塔·蒙泰马尼 , 维维亚娜·帕蒂 , 玛丽亚·西米 , Rachele Sprugnoli公司 :
最先进的意大利语语言技术:埃瓦利塔2014年展望。 人工智能 9 ( 1 ) : 43-61 ( 2015 ) [公元76年] 安东尼奥·瓦莱里奥·米切利·巴龙 , 朱塞佩·阿塔尔迪 :
机器翻译中基于非投射依赖的递归神经网络预排序。 ACL(1) 2015 : 846-856 [公元75年] 朱塞佩·阿塔尔迪 :
词汇情感、习语和感觉的表达。 IIR公司 2015 [公元74年] 朱塞佩·阿塔尔迪 , Vittoria科萨 , 丹尼尔·萨蒂亚诺 :
意大利病历中关系的注释和提取。 IIR公司 2015 [公元73年] 朱塞佩·阿塔尔迪 :
DeepNL:深度学习NLP管道。 VS@HLT-NAACL 2015 : 109-115 [公元72年] 安东尼奥·瓦莱里奥·米切利·巴龙 , 朱塞佩·阿塔尔迪 :
机器翻译中基于非投射依赖的递归神经网络预排序。 NAACL-HLT的SSST 2015 : 10-20 2014 [公元71年] 朱塞佩·阿塔尔迪 , Vittoria科萨 , 丹尼尔·萨蒂亚诺 :
UniPi:识别临床文本中提到的疾病。 SemEval@COLING公司 2014 : 754-760 2013 [公元70年] 朱塞佩·阿塔尔迪 , 安德烈亚·布泽利 , 丹尼尔·萨蒂亚诺 :
生物医学文档中跨语言实体识别的机器翻译。 CLEF(工作注释) 2013 [公元69年] 安东尼奥·瓦莱里奥·米切利·巴龙 , 朱塞佩·阿塔尔迪 :
使用依赖分析树上基于转换的遍历实现机器翻译的预排序。 WMT@ACL 2013 : 164-169 2012 [公元68年] 朱塞佩·阿塔尔迪 , 卢卡·阿佐里 , 玛丽亚·西米 :
机器阅读和问答的索引扩展。 CLEF(在线工作笔记/实验室/研讨会) 2012 2011 [公元67年] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 , 安德烈亚·扎内利 :
针对意大利语的依赖关系分析调整DeSR。 埃瓦利塔 2011 : 37-45 [公元66年] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 , 安德烈亚·扎内利 :
通过主动学习进行领域适应。 埃瓦利塔 2011 : 77-85 [公元65年] 朱塞佩·阿塔尔迪 , 贾科莫·贝拉迪 , 斯特凡诺·戴·罗西 , 玛丽亚·西米 :
2011年Evalita电视台转播新闻中命名实体识别的Tanl Tagger。 埃瓦利塔 2011 : 116-125 [公元64年] 朱塞佩·阿塔尔迪 , 斯特凡诺·戴·罗西 , 玛丽亚·西米 :
UNIPI参与Evalita 2011回指解决任务。 埃瓦利塔 2011 : 156-165 [公元63年] 朱塞佩·阿塔尔迪 , 卢卡·巴隆蒂 , 斯特凡诺·戴·罗西 , 玛丽亚·西米 :
基于最大熵马尔可夫模型的超感标记。 埃瓦利塔 2011 : 186-194 [公元62年] 朱塞佩·阿塔尔迪 , 斯特凡诺·戴·罗西 , 玛丽亚·西米 :
Tanl Lemmatizer通过一系列级联滤波器进行了丰富。 埃瓦利塔 2011 : 257-265 [第61条] 朱塞佩·阿塔尔迪 , 阿塔纳斯·沙涅夫 , 安东尼奥·瓦莱里奥·米切利·巴龙 :
基于依赖的统计翻译模型。 SSST@ACL 2011 : 79-87 2010 [公元60年] 约尔迪·阿塞里亚斯 , 朱塞佩·阿塔尔迪 , 玛丽亚·西米 , 雨果·萨拉戈萨 :
积极学习,构建问题语料库,用于分析。 LREC公司 2010 [公元59年] 朱塞佩·阿塔尔迪 , 斯特凡诺·德伊·罗西 , 朱利亚·迪·皮特罗 , 亚历山德罗·伦奇 , 西蒙娜塔·蒙泰马尼 , 玛丽亚·西米 :
意大利语文本超感标记的资源和工具。 LREC公司 2010 [公元58年] 克里斯蒂娜·博斯科 , 西蒙娜塔·蒙泰马尼 , 亚历山德罗·马泽伊 , 文森佐·隆巴多 , 费利斯·德尔·奥列塔 , 亚历山德罗·伦奇 , 莱昂纳多·莱斯莫 , 朱塞佩·阿塔尔迪 , 玛丽亚·西米 , 阿尔贝托·拉韦利 , 约翰·霍尔 , 延斯·尼尔森 , 约阿金·尼夫尔 :
比较不同树库注释对依赖分析的影响。 LREC公司 2010 [公元57年] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 , 斯特凡诺·戴·罗西 :
TANL-1:通过解析分析和相似性聚类进行共指解析。 SemEval@ACL公司 2010 : 108-111 [第1页] 马西米利亚诺·西亚米塔 , 朱塞佩·阿塔尔迪 :
基于二阶特征映射和注释语义信息的依赖性分析。 解析技术的发展趋势 2010 : 87-104
2000 – 2009
2009 [c56] 朱塞佩·阿塔尔迪 , 费利斯·德尔·奥列塔 :
依赖关系分析的反向修订和线性树组合。 HLT-NAACL(短文) 2009 : 261-264 2008 [公元55年] 马西米利亚诺·西亚米塔 , 朱塞佩·阿塔尔迪 , 费利斯·德尔·奥列塔 , 米哈·苏尔德努 :
DeSRL:一个线性时间语义角色标记系统。 CoNLL公司 2008 : 258-262 [公元54年] 约尔迪·阿塞里亚斯 , 雨果·萨拉戈萨 , 马西米利亚诺·西亚米塔 , 朱塞佩·阿塔尔迪 :
英语维基百科语义注释快照。 LREC公司 2008 [公元53年] 克里斯蒂娜·博斯科 , 亚历山德罗·马泽伊 , 文森佐·隆巴多 , 朱塞佩·阿塔尔迪 , 安娜·科拉扎 , 阿尔贝托·拉韦利 , 莱昂纳多·莱斯莫 , 乔治·萨塔 , 玛丽亚·西米 :
比较常见Treebank上的意大利解析器:EVALITA体验。 LREC公司 2008 2007 [第52条] 雨果·萨拉戈萨 , 亨宁·罗德 , 彼得·米卡 , 约尔迪·阿塞里亚斯 , 马西米利亚诺·西亚米塔 , 朱塞佩·阿塔尔迪 :
在维基百科上对很多类型化实体进行排名。 CIKM公司 2007 : 1015-1018 [第51条] 朱塞佩·阿塔尔迪 , 费利斯·德尔·奥列塔 , 玛丽亚·西米 , 阿塔纳斯·沙涅夫 , 马西米利亚诺·西亚米塔 :
使用DeSR的多语言依赖性分析和域适配。 EMNLP-CoNLL公司 2007 : 1112-1118 [公元50年] 马西米利亚诺·西亚米塔 , 朱塞佩·阿塔尔迪 :
基于二阶特征映射和注释语义信息的依赖性分析。 IWPT公司 2007 : 133-143 [公元49年] 朱塞佩·阿塔尔迪 , 马西米利亚诺·西亚米塔 :
依赖关系分析的树修正学习。 HLT-NAACL公司 2007 : 388-395 2006 [公元48年] 朱塞佩·阿塔尔迪 :
多语言非投射依赖分析器的实验。 CoNLL公司 2006 : 166-170 [公元47年] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
通过Opinionated单词进行博客挖掘。 TREC公司 2006 2005 [公元46年] 朱塞佩·阿塔尔迪 :
IXE在TREC2005兆字节任务中。 TREC公司 2005 2004 [公元11年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 , 迭戈·科伦坡 :
CIL+元数据>可执行程序。 J.对象技术。 三 ( 2 ) : 19-26 ( 2004 ) [公元45年] 朱塞佩·阿塔尔迪 , 安德烈亚·埃苏利 , 卢西安·汉库 , 玛丽亚·西米 :
参与式搜索。 ICWI公司 2004 : 643-650 [公元44年] 朱塞佩·阿塔尔迪 , 安德里亚·埃苏利 , 奇拉格·巴泰尔 :
在TB任务中使用群集和刀片群集。 TREC公司 2004 [公元43年] 朱塞佩·阿塔尔迪 , 安德烈亚·埃苏利 , 玛丽亚·西米 :
最佳选择:数千个查询以搜索客户。 WWW(备选跟踪文件和海报) 2004 : 422-423 2003 [公元10年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 :
CLI中的多级编程支持。 IEE程序。 柔和。 150 ( 5 ) : 275-282 ( 2003 ) [公元42年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 , 安德鲁·肯尼迪 :
CodeBricks:作为构建块的代码片段。 政治公众人物 2003 : 66-74 2002 [公元41年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 :
自适应编程的自我反思。 通用电力公司 2002 : 50-65 [公元40年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 , 弗朗西斯科·福米卡 , 玛丽亚·西米 , 亚历山德罗·托马西 :
PiQASso 2002年。 TREC公司 2002 2001 [公元39年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 :
通过模板元编程实现反射支持。 英国普通中等教育证书 2001 : 118-127 [公元38年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 :
模板元编程——关系表的对象接口。 反思 2001 : 266-267 [公元37年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 , 弗朗西斯科·福米卡 , 玛丽亚·西米 , 亚历山德罗·托马西 :
PiQASso:比萨问答系统。 TREC公司 2001 2000 [公元36年] 朱塞佩·阿塔尔迪 , 克里斯蒂安·布里尼 :
PISAB问答系统。 TREC公司 2000
1990 – 1999
1999 [公元35年] 朱塞佩·阿塔尔迪 , 玛丽琳娜·贝特罗 , 毛里齐奥·福特 , 罗伯托·戈里 , 安东内拉·吉达佐利 , 西尔瓦诺·伊姆博登 , 弗朗西斯科·马尔莱尼 :
使用螺旋CT数据对古埃及木乃伊进行三维虚拟面部重建和可视化。 欧洲制图(简短介绍) 1999 1998 [公元9年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 , 玛丽亚·西米 :
基于Web的配置助手。 Artif公司。 智力。 工程设计。 分析。 制造商。 12 ( 4 ) : 321-331 ( 1998 ) [j8] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
跨观点交流。 J.日志。 语言信息。 7 ( 1 ) : 53-75 ( 1998 ) [j7] 朱塞佩·阿塔尔迪 , 塞尔吉奥·迪马尔科 , 大卫·萨维 :
按上下文分类。 J.大学。 计算。 科学。 4 ( 9 ) : 719-736 ( 1998 ) [j6] 朱塞佩·阿塔尔迪 , 蒂托·弗拉盖拉 , 彼得罗·伊格利奥 :
一个用于C++的可定制内存管理框架。 柔和。 实际。 支出。 28 ( 11 ) : 1143-1183 ( 1998 ) [公元34年] 彼得罗·伊格利奥 , 朱塞佩·阿塔尔迪 :
计算机代数软件组件。 ISSAC公司 1998 : 62-69 [公元33年] 朱塞佩·阿塔尔迪 , 塞尔吉奥·迪马尔科 , 大卫·萨维 :
按上下文分类。 WebNet(网络) 1998 1997 [公元32年] 朱塞佩·阿塔尔迪 , 安东尼奥·西斯特尼诺 , 玛丽亚·西米 :
CompAss:学习计划编制系统。 爱*爱 1997 : 427-430 [公元31年] 安东尼奥·西斯特尼诺 , 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
在Web上构建配置助手。 WebNet(网络) 1997 [公元30年] 多梅尼科·达托 , 安东尼奥·古利 , 朱塞佩·阿塔尔迪 :
通过DNS的Web主机枚举。 WebNet(网络) 1997 1996 [j5] 朱塞佩·阿塔尔迪 , 毛罗·加斯帕里 :
多语言互操作性。 计算。 Artif公司。 智力。 15 ( 6 ) : 531-554 ( 1996 ) 【j4】 朱塞佩·阿塔尔迪 , 蒂托·弗拉盖拉 :
PoSSo解算器中的内存管理。 J.塞姆。 计算。 21 ( 三 ) : 293-311 ( 1996 ) [j3] 朱塞佩·阿塔尔迪 , 卡洛·特拉弗索 :
Strategy-Accurate并行Buchberger算法。 J.塞姆。 计算。 21 ( 4 ) : 411-425 ( 1996 ) 1995 [注2] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
观点的形式化。 芬丹。 信息学 23 ( 2/3/4 ) : 149-173 ( 1995 ) [公元29年] 朱塞佩·阿塔尔迪 , 蒂托·弗拉盖拉 , 彼得罗·伊格利奥 :
可自定义收集器中的性能调整。 IWMM公司 1995 : 179-196 1994 [公元28年] 朱塞佩·阿塔尔迪 , 蒂托·弗拉盖拉 :
可自定义的内存管理框架。 C++会议 1994 : 123-142 [公元27年] 朱塞佩·阿塔尔迪 , 蒂托·弗拉盖拉 :
自定义对象分配。 ECOOP公司 1994 : 320-343 [c26] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
上下文中的证据。 韩国 1994 : 15-26 [公元25年] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
在上下文中构建证据。 元 1994 : 410-424 [c24] 朱塞佩·阿塔尔迪 , 卡洛·特拉弗索 :
一种策略精确的并行Buchberger算法。 PASCO公司 1994 : 12-21 1991 【c23】 朱塞佩·阿塔尔迪 , 毛罗·加斯帕里 , 彼得罗·伊格利奥 :
高效编译一阶谓词。 AI*IA公司 1991 : 440-444 [公元22年] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
关于反思的思考。 韩国 1991 : 22-31 【c21】 朱塞佩·阿塔尔迪 :
知识共享:一个可行的梦想。 韩国 1991 : 597-598 [公元20年] 朱塞佩·阿塔尔迪 , 毛罗·加斯帕里 :
多语言互操作性。 PLILP公司 1991 : 429-430 1990 [第19条] 朱塞佩·阿塔尔迪 :
知识库系统中的标准要求(摘要)。 迪斯科舞厅 1990 : 194 [第18条] 朱塞佩·阿塔尔迪 , 毛罗·加斯帕里 , F.萨拉科 :
人工智能语言的互操作性。 ECAI公司 1990 : 41-46
1980 – 1989
1989 [第17条] 朱塞佩·阿塔尔迪 , 肉桂 , 玛丽亚·罗萨里奥·博斯科特雷卡斯 , 蒂托·弗拉盖拉 , 毛罗·加斯帕里 :
CLOS中的元级编程。 ECOOP公司 1989 : 243-256 1987 [第16条] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
一个统一和集成的描述系统。 Wissensbasierte系统 1987 : 12-21 1986 [j1] 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
用于构建知识库的面向描述的逻辑。 程序。 电气与电子工程师协会 74 ( 10 ) : 1335-1344 ( 1986 ) [第15条] 朱塞佩·阿塔尔迪 :
知识库中的并发性。 未来的并行计算机 1986 : 401-415 [第14条] 朱塞佩·阿塔尔迪 :
OMEGA中的并发策略执行。 ECAI公司 1986 : 205-214 [第13条] 朱塞佩·阿塔尔迪 , 安德烈亚·科拉迪尼 , S.迪奥梅迪 , 玛丽亚·西米 :
分类推理。 ECAI公司 1986 : 277-286 1985 [第12条] 恩里科·莫塔 , 玛丽亚·西米 , 朱塞佩·阿塔尔迪 :
元语言和数据库。 知识库管理基础(Xania) 1985 : 57-72 [第11条] 安东尼奥·阿尔巴诺 , 朱塞佩·阿塔尔迪 :
数据库和知识库集成中的问题。 知识库管理基础(Xania) 1985 : 283-291 1984 [第10条] 卡尔·休伊特 , 汤姆·莱因哈特 , 古尔·阿加 , 朱塞佩·阿塔尔迪 :
接待员对共享资源的语言支持。 并行讨论会 1984 : 330-359 【c9】 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
元语言和跨视点推理。 ECAI公司 1984 : 413-422 1982 【c8】 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
通过示例扩展编程的功能。 COCS公司 1982 : 52-66 【c7】 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
通过示例扩展编程的威力。 ECICS公司 1982 : 3-25 1981 【c6】 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
知识表示逻辑OMEGA的一致性和完整性。 国际JCAI 1981 : 504-510 1980 【c5】 卡尔·休伊特 , 朱塞佩·阿塔尔迪 , 玛丽亚·西米 :
Omega描述系统中的知识嵌入。 AAAI公司 1980 : 157-164
1970 – 1979
1979 【c4】 卡尔·休伊特 , 朱塞佩·阿塔尔迪 , 亨利·利伯曼 :
为分布式系统指定和证明监护人的属性。 并发计算的语义 1979 : 316-336 1977 【c3】 路易吉亚·艾略 , 朱塞佩·阿塔尔迪 , 吉安弗兰科·普里尼 :
走向更具声明性的编程风格。 编程概念的形式化描述 1977 : 121-138 1976 [c2] 朱塞佩·阿塔尔迪 , 卡洛·蒙坦格罗 , 吉安弗兰科·普里尼 :
用于人工智能的高级机器。 AISB(ECAI) 1976 : 26-37 【c1】 路易吉亚·卡卢奇·艾略(Luigia Carlucci Aiello) , 马里奥·艾略 , 朱塞佩·阿塔尔迪 , P.卡瓦拉里 , 詹弗兰科·普里尼 :
生成的控制机制语义的形式化定义。 MFCS公司 1976 : 173-179