停止战争！

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

对于科学家：

默认搜索操作

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

问别人

毛里齐奥·马泰利

>主页 >人员

人员信息

附属： 意大利热那亚大学

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010年至2019年

请参阅常见问题解答

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

2015
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/GentiliniMR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/GentiliniMR15
保罗·金蒂里尼,毛里齐奥·马泰利,朱塞佩·罗索里尼:
显式构造逻辑ECL：认知主体对逻辑信息的构造和选择的新表示。芬丹。信息学 140(3-4):357-372(2015)
2013
[公元56年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/庆大霉素M13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/GentiliniM13网址
保罗·金蒂里尼,毛里齐奥·马泰利:
显式构造逻辑ECL：认识主体对逻辑信息的构造和选择的新表示。 CILC公司 2013:147-162
2012
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/avi/DeufemiaPTTMAMBL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/avi/DeufemiaPTTMAMBL12
文森佐·杜夫米亚,卢卡·保利诺,热那维法·托托拉,安东尼拉·特拉弗索,维维亚娜·马斯卡迪,马西莫·安科纳,毛里齐奥·马泰利,尼科莱塔·比安奇,亨利·德伦利:
跨文档和图纸的调查分析：考古学家的视觉分析。 AVI公司 2012:539-546
[公元54年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/LocoromBMMADPTPF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/LocoroMBMADPTPF12
安吉拉·洛科罗,维维亚娜·马斯卡迪,丹妮拉·布里奥拉,毛里齐奥·马泰利,马西莫·安科纳,文森佐·杜夫米亚,卢卡·保利诺,詹尼·托托拉,朱塞佩·波利斯,丽塔·弗朗西斯:
印第安纳州MAS项目：目标和初步结果。 WOA公司 2012
2011
[j19]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ia/MascardiDM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ia/MascardiDM11网站
维维亚娜·马斯卡迪,乔治·德尔扎诺,毛里齐奥·马泰利:
计算逻辑在智能系统开发和验证方法中的一些应用。人工智能 5(1):145-149年(2011)
2010
[公元18年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/GentiliniM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/GentiliniM10
保罗·金蒂里尼,毛里齐奥·马泰利:
类型理论的抽象演绎和推理模型。 Inf.计算。 208(7):737-771(2010)
[公元53年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cilc/波扎诺LMM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cilc/BozzanoLMM10
米歇尔·波扎诺,安吉拉·洛科罗,毛里齐奥·马泰利,维维亚娜·马斯卡迪:
Trattamento del Linguaggio Naturale Tramite Prolog：un Approccio Promettente per Generase Istituzioni Virtuali da Testi Scritti（根据基因的正确性）。 CILC公司 2010
[第52条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mallow/巴多尼BBBMMMPPRRS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mallow/BaldoniBBBMMMPPRRS10
马特奥·巴尔多尼,克里斯蒂娜·巴罗利奥,费德里科·贝根蒂,安东尼奥·博卡拉特,伊丽莎·马伦戈,毛里齐奥·马泰利,维维亚娜·马斯卡迪,卢卡·帕多瓦尼,维维亚娜·帕蒂,亚历山德罗·里奇,吉安弗兰科·罗西,安德烈·桑蒂:
MERCURIO：一个面向交互的框架，用于设计、验证和编程多代理系统。马洛 2010
[第51条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/BaldoniBBBMMMPPRRS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/BaldoniBBBMMMPPRRS10
马特奥·巴多尼,克里斯蒂娜·巴罗利奥,费德里科·贝根蒂,安东尼奥·博卡拉特,伊丽莎·马伦戈,毛里齐奥·马泰利,维维亚娜·马斯卡迪,卢卡·帕多瓦尼,薇薇安娜·帕蒂,亚历山德罗·里奇,吉安弗兰科·罗西,安德烈·桑蒂:
MERCURIO：一个面向交互的框架，用于设计、验证和编程多代理系统。 WOA公司 2010

2000年至2009年

请参阅常见问题解答

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

2009
[公元50年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/BriolaMMCM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/BriolaMMCM09
丹妮拉·布里奥拉,维维亚娜·马斯卡迪,毛里齐奥·马泰利,里卡多·卡西亚,卡洛·米拉尼:
MAS中的动态资源分配：来自行业的案例研究。 WOA公司 2009:125-133
2008
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/vlc/CasellaDMCM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/vlc/CasellaDMCM08
乔瓦尼·卡塞拉,文森佐·杜夫米亚,维维亚娜·马斯卡迪,Gennaro Costagliola公司,毛里齐奥·马泰利:
基于代理的草图符号解释框架。视觉杂志。语言计算。 19(2):225-257(2008)
[公元49年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/MascardiDM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MascardiDM08网址
维维亚娜·马斯卡迪,乔治·德尔扎诺,毛里齐奥·马泰利:
热那亚的计算逻辑。伊尔·米利翁 2008
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cisis-西班牙/MascardiBMCM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cisis-spain/MascardiBMCM08
维维亚娜·马斯卡迪,丹妮拉·布里奥拉,毛里齐奥·马泰利,里卡多·卡西亚,卡洛·米拉尼:
使用基于逻辑的分布式代理监测和诊断铁路信号。 CISIS公司 2008:108-115
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/visual/CasellaDMMT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/visual/CasellaDMMT08
乔瓦尼·卡塞拉,文森佐·杜夫米亚,维维亚娜·马斯卡迪,毛里齐奥·马泰利,热那维法·托托拉:
手绘草图的推理：一种基于智能软件代理的方法。可视化 2008:302-314
[公元46年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/BriolaMMACM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/BriolaMMACM08
丹妮拉·布里奥拉,维维亚娜·马斯卡迪,毛里齐奥·马泰利,加布里埃尔·阿雷科,里卡多·卡西亚,卡洛·米拉尼:
基于Prolog的铁路信号监测MAS：实现和实验。 WOA公司 2008:11-18
2007
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lads/MascardiMG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lads/MascardiMG07网站
维维亚娜·马斯卡迪,毛里齐奥·马泰利,伊万娜·贡吉:
DCaseLP：多语言Agent系统的原型环境。拉丁美洲和加勒比海地区 2007:139-155
[公元44年]
- 看法
  - 电子版@unige.it（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/BaldoniBPMM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/BaldoniBPMM07网址
马特奥·巴多尼,安东尼奥·博卡拉特,弗拉维奥·德保利,毛里齐奥·马泰利,维维亚娜·马斯卡迪:
2007年WOA会议记录前言。 WOA公司 2007
[电子3]
- 看法
  - dblp中的目录
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/2007
马特奥·巴多尼,安东尼奥·博卡拉特,弗拉维奥·德保利,毛里齐奥·马泰利,维维亚娜·马斯卡迪:
WOA 2007：Dagli Oggetti agli Agenti。第八届AI*IA/TABOO联合研讨会“从对象到代理”：代理和行业：软件代理的技术应用，2007年9月24日至25日，意大利热那亚。塞内卡·埃迪齐奥尼·都灵 2007，国际标准图书编号978-88-6122-061-4 [目录]
2006
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vl/CasellaCDMM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vl/CasellaCDMM06
乔瓦尼·卡塞拉,Gennaro Costagliola公司,文森佐·杜夫米亚,毛里齐奥·马泰利,维维亚娜·马斯卡迪:
基于代理的图解草图中符号上下文驱动解释框架。 VL/HCC 2006:73-80
2005
[c42]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/eumas/MontagnaDMM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eumas/MontagnaDMM05
罗伯托·蒙塔格纳,乔治·德尔扎诺,毛里齐奥·马泰利,维维亚娜·马斯卡迪:
BDI^ATL：多智能体系统的交替时间BDI逻辑。欧盟货币体系 2005:214-223
[公元41年]
- 看法
  - 电子版@unibo.it（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/CordiLMM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/CordiLMM05
瓦伦蒂娜·科尔德,保罗·隆巴迪,毛里齐奥·马泰利,维维亚娜·马斯卡迪:
基于本体的概念集之间的相似性。 WOA公司 2005:16-21岁
2004
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/MascardiMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/MascardiMS04
维维亚娜·马斯卡迪,毛里齐奥·马泰利,利昂·斯特林:
智能软件代理的基于逻辑的规范语言。理论与实践。日志。程序。 4(4):429-494(2004)
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/BozzanoDM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/BozzanoDM04
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
模型检查线性逻辑规范。理论与实践。日志。程序。 4(5-6):573-619(2004)
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dalt/BaldoniBGMMMPS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dalt/BaldoniBGMMMPS04
马特奥·巴多尼,克里斯蒂娜·巴罗利奥,伊万娜·贡吉,阿尔贝托·马泰利,毛里齐奥·马泰利,维维亚娜·马斯卡迪,维维亚娜·帕蒂,克劳迪奥·斯齐凡内拉:
DCaseLP中代理交互协议的推理。 DALT公司 2004:112-131
2003
[公元39年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/MartelliM03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/MartelliM03
毛里齐奥·马泰利,维维亚娜·马斯卡迪:
从UML图到Jess规则：集成OO和基于规则的语言来指定、实现和执行代理。 APPIA-GULP-PRODE公司 2003:275至286
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atal/JuanSMM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atal/JuanSMM03
托马斯·胡安,利昂·斯特林,毛里齐奥·马泰利,维维亚娜·马斯卡迪:
通过重用AOSE功能自定义AOSE方法。美国原子能机构 2003:113-120
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mips/DelatoMMMV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mips/DelatoMMMV03
M.德拉托,阿尔贝托·马泰利,毛里齐奥·马泰利,维维亚娜·马斯卡迪,亚历山德罗·维里:
多媒体、多频道和个性化新闻提供商。混合动力系统 2003:388-399
[公元36年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/seke/AstesianoMMR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/seke/AstesianoMMR03
埃吉迪奥·阿斯泰西亚诺,毛里齐奥·马泰利,维维亚娜·马斯卡迪,吉安娜·雷吉奥:
从需求规范到原型执行：多视图用例驱动方法和面向代理技术的组合。瑞典克朗 2003:578-585
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/cs-AI-0311024
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-AI-0311024
维维亚娜·马斯卡迪,毛里齐奥·马泰利,莱昂·斯特林:
智能软件代理的基于逻辑的规范语言。 CoRR公司完。AI/0311024号文件(2003)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/cs-PL-0309003
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-PL-0309003
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
模型检查线性逻辑规范。 CoRR公司完。PL/0309003(2003)
2002
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/BozzanoDM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/BozzanoDM02
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
线性逻辑程序的有效不动点语义。理论与实践。日志。程序。 2(1):85-122(2002)
[公元35年]
- 看法
  - 电子版@programmazionelogica.it（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/MartelliMS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/MartelliMS02
毛里齐奥·马泰利,维维亚娜·马斯卡迪,利昂·斯特林:
基于逻辑的语言对智能代理进行建模和编程。 APPIA-GULP-PRODE公司 2002:105-122
[公元34年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/AlbertoniMMM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/AlbertoniMMM02
里卡多·阿尔贝托尼,毛里齐奥·马泰利,维维亚娜·马斯卡迪,斯特凡诺·米格里亚:
D-CaseLP中的Specifica，Implementated Esecuzione di un Prototipo di Sistema Multi-Agente。哇 2002:149-156
2001
[j13]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DelzannoM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DelzannoM01
乔治·德尔扎诺,毛里齐奥·马泰利:
证明为线性逻辑中的计算。西奥。计算。科学。 258(1-2):269-297(2001)
[公元33年]
- 看法
  - 电子版@uevora.pt（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/DelzannoM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/DelzannoM01
乔治·德尔扎诺,毛里齐奥·马泰利:
将否定作为失败嵌入到线性逻辑中。 APPIA-GULP-PRODE公司 2001:165-179
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/BozzanoDM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/BozzanoDM01
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
一阶线性逻辑程序的有效自底向上语义。 FLOPS（浮动） 2001:138-152
[公元31年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BozzanoDM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BozzanoDM01
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
析取与线性逻辑规划的关系。 APPIA-GULP-PRODE公司 2001:65-89
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/cs-PL-0102025
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/cs-PL-0102025
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
线性逻辑程序的有效定点语义。 CoRR公司完。PL/0102025(2001)
2000
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BugliesiDLM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BugliesiDLM00
米歇尔·布列西,乔治·德尔扎诺,路易吉·利科里,毛里齐奥·马泰利:
线性逻辑中的对象计算。 J.日志。计算。 10(1):75-104(2000)
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atal/MariniMMZ00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atal/MariniMMZ00
西蒙尼·马里尼,毛里齐奥·马泰利,维维亚娜·马斯卡迪,弗洛里亚诺·齐尼:
异构代理体系结构规范。安乐 2000:275-289
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/波扎诺DM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BozzanoDM00网站
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
线性逻辑程序的自下而上语义。 PPDP（PPDP） 2000:92-102
[公元28年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/woa/MariniMMZ00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/woa/MariniMMZ00
西蒙尼·马里尼,毛里齐奥·马泰利,维维亚娜·马斯卡迪,弗洛里亚诺·齐尼:
HEMASL：一种灵活的指定异构代理的语言。 WOA公司 2000:76-81

1990 – 1999

请参阅常见问题解答

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

1999
[公元11年]
- 看法
  - 电子版@cambridge.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/mscs/DelzannoGM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/DelzannoGM99
乔治·德尔扎诺,迪迪埃·加尔米奇,毛里齐奥·马泰利:
并发面向对象编程的规范逻辑。数学。结构。计算。科学。 9(三):253-286(1999)
[公元27年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/MartelliMZ99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/MartelliMZ99
毛里齐奥·马泰利,维维亚娜·马斯卡迪,弗洛里亚诺·齐尼:
案例LP中多代理系统的规范和仿真。 APPIA-GULP-PRODE公司 1999:13-28
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BozzanoDMMZ99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BozzanoDMMZ99
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利,维维亚娜·马斯卡迪,弗洛里亚诺·齐尼:
作为软件工程企业的多代理系统开发。 PADL（PADL） 1999:46-60
[第3页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/99/BozzanoDMMZ99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/99/BozzanoDMMZ99
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利,维维亚娜·马斯卡迪,弗洛里亚诺·齐尼:
逻辑编程和多代理系统：应用程序和语义的协同组合。逻辑程序设计范式 1999:5-32
1998
[公元25年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/paam/MartelliMZ98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/paam/MartelliMZ98
毛里齐奥·马泰利,维维亚娜·马斯卡迪,弗洛里亚诺·齐尼:
走向多代理软件原型。 PAAM公司 1998:331-354
1997
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tkde/MontesiBM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tkde/MontesiBM97
达尼洛·蒙泰西,伊丽莎·贝尔蒂诺,毛里齐奥·马泰利:
演绎数据库中的事务和更新。 IEEE传输。知识。数据工程。 9(5):784-797(1997)
[c24]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/BozzanoDM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/BozzanoDM97
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
面向对象、演绎和主动数据库的线性逻辑语义。 APPIA-GULP-PRODE公司 1997:105-116
【c23】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/MartelliMZ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/MartelliMZ97
毛里齐奥·马泰利,维维亚娜·马斯卡迪,弗洛里亚诺·齐尼:
将逻辑编程应用于复杂应用程序的规范。 APPIA-GULP-PRODE公司 1997:491-500
1996
[公元22年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/DelzannoM96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/DelzannoM96
乔治·德尔扎诺,毛里齐奥·马泰利:
线性逻辑中的计算证明。 APPIA-GULP-PRODE公司 1996:155-166
【c21】
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BugliesiDML96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BugliesiDML96
米歇尔·布列西,乔治·德尔扎诺,路易吉·利科里,毛里齐奥·马泰利:
线性逻辑微积分对象。 JICSLP公司 1996:67-81
[电子2]
- 看法
  - dblp中的目录
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/1996
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/1996
帕基·卢西奥,毛里齐奥·马泰利,玛丽莎·纳瓦罗:
1996年7月15日至18日，西班牙多诺斯蒂亚·圣塞巴斯蒂安，APPIA-GULP-PRODE’96，声明性编程联合会议。 1996 [目录]
1995
[公元9年]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/PierroMP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/PierroMP95
亚历山德拉·迪·皮耶罗,毛里齐奥·马泰利,帕拉米德斯猫:
否定作为实例化。 Inf.计算。 120(2):263-278(1995)
[公元20年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/DelzannoM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/DelzannoM95
乔治·德尔扎诺,毛里齐奥·马泰利:
论坛对象。活塞销 1995:283-294
[c19]
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/DelzannoM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/DelzannoM95
乔治·德尔扎诺,毛里齐奥·马泰利:
论坛中的对象。仪表着陆点 1995:115-129
1994
[j8]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/BossiGLM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/BossiGLM94
安娜丽莎·博西,毛里齐奥·加布里埃利,乔治·列维,毛里齐奥·马泰利:
语义方法：理论与应用。 J.日志。程序。 20年19日:149-197(1994)
[第18条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/MartelliMPH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/MartelliMPH94
毛里齐奥·马泰利,亚历山德罗·梅索拉,帕拉米德斯猫,阿兰·许邦华:
L lambda的定点语义。活塞杆（1） 1994:187-201
[第17条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/BertinoCGMM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/BertinoCGMM94
伊丽莎·贝尔蒂诺,芭芭拉·卡塔尼亚,乔瓦娜·格雷尼,毛里齐奥·马泰利,达尼洛·蒙泰西:
带有更新和事务的数据库语言的自底向上解释器。活塞杆（2） 1994:206-220
1993
[j7]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/FalaschiLMP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/FalaschiLMP93
莫雷诺·法拉斯基,乔治·列维,毛里齐奥·马泰利,帕拉米德斯猫:
逻辑程序操作语义的模型理论重建。 Inf.计算。 103(1):86-113(1993)
[第16条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/BertinoCGMM93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/BertinoCGMM93
伊丽莎·贝尔蒂诺,芭芭拉·卡塔尼亚,乔瓦娜·格雷尼,毛里齐奥·马泰利,达尼洛·蒙泰西:
CLP（AD）中的Formalizzazione e Ottimizazione di Transazioni di modifica。吞咽 1993:501-518
[第15条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/MartelliMP93文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/MartelliMP93
毛里齐奥·马泰利,亚历山德罗·梅索拉,帕拉米德斯猫:
L-lambda的定点语义。仪表着陆点 1993:666
[第14条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/DelzannoM93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/DelzannoM93
乔治·德尔扎诺,毛里齐奥·马泰利:
有限成功的自下而上表征。仪表着陆点 1993:676
1992
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ipl/MartelliT92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/MartelliT92
毛里齐奥·马泰利,奇亚拉·特里科米:
一个新的SLDNF-树。信息处理。莱特。 43(2):57-62(1992)
[第13条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cnkbs/BertinoMM92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cnkbs/BertinoMM92
伊丽莎·贝尔蒂诺,毛里齐奥·马泰利,达尼洛·蒙泰西:
CLP（X）作为行动和演绎的框架。 CNKBS公司 1992:27-29
[第12条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/演绎/BertinoMM92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dextractive/BertinoMM92
伊丽莎·贝尔蒂诺,毛里齐奥·马泰利,达尼洛·蒙泰西:
用约束逻辑编程建模数据库更新。演绎数据库研讨会，JICSLP 1992:175-184
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/elp/BertinoMM92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/elp/BertinoMM92
伊丽莎·贝尔蒂诺,毛里齐奥·马泰利,达尼洛·蒙泰西:
CLP（AD）作为带更新的演绎数据库语言。 ELP公司 1992:80至99
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmldo/贝尔蒂诺MM92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmldo/BertinoMM92
伊丽莎·贝尔蒂诺,毛里齐奥·马泰利,达尼洛·蒙泰西:
使用约束逻辑编程建模数据库更新。 FMLDO公司 1992:121-132
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rex/GabbrielliLM92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rex/GabbrielliLM92
毛里齐奥·加布里埃利,乔治·列维,毛里齐奥·马泰利:
逻辑编程的新语义工具。 REX研讨会 1992:204-235
1991
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ngc/DrabentM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ngc/DrabentM91
沃德齐米尔兹·德拉本特,毛里齐奥·马泰利:
严格完成逻辑程序。新一代。计算。 9(1):69-80(1991)
【c8】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/PierroMP91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PierroMP91
亚历山德拉·迪·皮耶罗,毛里齐奥·马泰利,帕拉米德斯猫:
作为瞬时的否定：逻辑编程中处理否定的新规则。 ICLP公司 1991:32-45
1990
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/BarbutiM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/BarbutiM90
罗伯托·巴布蒂,毛里齐奥·马泰利:
识别无浪费的逻辑程序和目标。发现的国际期刊。计算。科学。 1(2):151-164(1990)
【c7】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/LiveMP90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/LiveMP90
乔治·列维,毛里齐奥·马泰利,帕拉米德斯猫:
失败与成功造就了对称。 NACLP公司 1990:3-22

1980 – 1989

请参阅常见问题解答

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

1989
[j3]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FalaschiLPM89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FalaschiLPM89
莫雷诺·法拉斯基,乔治·列维,帕拉米德斯猫,毛里齐奥·马泰利:
逻辑语言操作行为的声明性建模。西奥。计算。科学。 69(三):289-318(1989)
[电子1]
- 看法
  - dblp中的目录
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/1989
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/1989
乔治·列维,毛里齐奥·马泰利:
《逻辑编程》，第六届国际会议论文集，葡萄牙里斯本，1989年6月19日至23日。麻省理工学院出版社 1989，国际标准图书编号0-262-62065-0 [目录]
1988
【c6】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/FalaschiLMP88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/FalaschiLMP88
莫雷诺·法拉斯基,乔治·列维,毛里齐奥·马泰利,帕拉米德斯猫:
逻辑语言的一种新的声明语义学。 ICLP/SLP 1988:993-1005
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/plilp/BarbutiM88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/plilp/BarbutiM88
罗伯托·巴布蒂,毛里齐奥·马泰利:
检查非浪费逻辑程序和目标的工具。 PLILP公司 1988:58-67
1986
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Aquilano BBM86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AquilanoBBM86
C.阿奎拉诺,罗伯托·巴布蒂,P.博切蒂,毛里齐奥·马泰利:
否定为失败。具有递归定义的Horn子句程序的查询求值过程的完整性。 J.自动化。原因。 2(2):155-170(1986)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/BarbutiM86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BarbutiM86
罗伯托·巴布蒂,毛里齐奥·马泰利:
一类逻辑程序的SLDNF解析的完整性。 ICLP公司 1986:600-614
[第2页]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/ph/deGrootL86/BabutiBLM86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/ph/deGroot086/BarbutiBLM86
罗伯托·巴布蒂,马可·贝利亚,乔治·列维,毛里齐奥·马泰利:
LEAF：一种集成逻辑、方程和函数的语言。逻辑程序设计：函数、关系和方程 1986:201-238
1985
[j1]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/AsirelliSM85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/AsirelliSM85
帕特里齐亚·阿西雷利,米歇尔·德·桑提斯,毛里齐奥·马泰利:
逻辑数据库的完整性约束。 J.日志。程序。 2(三):221-232(1985)
1984
【c3】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/BarbutiBLM84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/BarbutiBLM84
罗伯托·巴布蒂,马可·贝利亚,乔治·列维,毛里齐奥·马泰利:
逻辑程序设计与函数程序设计的集成。 SLP公司 1984:160-166
[第1页]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/eh/坎贝尔84/贝利亚DDLM84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/eh/campbell84/BelliaDDLM84
马尔科·贝利亚,恩里科·达梅里,皮耶保罗·德加诺,乔治·列维,毛里齐奥·马泰利:
Prolog-Compatible函数语言延迟实现的形式化模型。 Prolog的实现 1984:309-326
1983
【c2】
- 看法
  - 电子版@softwarepreservation.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BelliaLM83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BelliaLM83
马可·贝利亚,乔治·列维,毛里齐奥·马泰利:
按需驱动架构编译Prolog程序。逻辑编程研讨会 1983:第518页至第535页
1982
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/programm/BelliaDDLM82
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/programm/BelliaDDLM82
马可·贝利亚,恩里科·达梅里,皮耶保罗·德加诺,乔治·列维,毛里齐奥·马泰利:
一阶逻辑中的适用通信过程。规划专题讨论会 1982:1-14

合著者索引

请参阅常见问题解答

服务

管理网站设置

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