毛里齐奥·马泰利
人员信息
附属: 意大利热那亚大学
其他同名人员
SPARQL查询
优化列表
2010 – 2019
2015 [公元20年] 保罗·真蒂里尼 , 毛里齐奥·马泰利 , 朱塞佩·罗索里尼 :
显式构造逻辑ECL:认识主体对逻辑信息的构造和选择的新表示。 芬丹。 信息学 140 ( 3-4 ) : 357-372 ( 2015 ) 2013 [公元56年] 保罗·金蒂里尼 , 毛里齐奥·马泰利 :
显式构造逻辑ECL:认知主体对逻辑信息的构造和选择的新表示。 CILC公司 2013 : 147-162 2012 [公元55年] 文森佐·杜夫米亚 , 卢卡·保利诺 , 热那维法·托托拉 , 安东尼拉·特拉弗索 , 维维亚娜·马斯卡迪 , 马西莫·安科纳 , 毛里齐奥·马泰利 , 尼科莱塔·比安奇 , 亨利·德伦利 :
跨文档和图纸的调查分析:考古学家的视觉分析。 AVI公司 2012 : 539-546 [公元54年] 安吉拉·洛科罗 , 维维亚娜·马斯卡迪 , 丹妮拉·布里奥拉 , 毛里齐奥·马泰利 , 马西莫·安科纳 , 文森佐·杜夫米亚 , 卢卡·保利诺 , 詹尼·托托拉 , 朱塞佩·波兰人 , 丽塔·弗朗西斯 :
印第安纳MAS项目:目标和初步结果。 WOA公司 2012 2011 [公元19年] 维维亚娜·马斯卡迪 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
计算逻辑在智能系统开发和验证方法中的一些应用。 人工智能 5 ( 1 ) : 145-149 ( 2011 ) 2010 [公元18年] 保罗·金蒂里尼 , 毛里齐奥·马泰利 :
类型理论的抽象演绎和推理模型。 Inf.计算。 208 ( 7 ) : 737-771 ( 2010 ) [公元53年] 米歇尔·波扎诺 , 安吉拉·洛科罗 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 :
Trattamento del Linguaggio Naturale Tramite Prolog:un Approccio Promettente per Generase Istituzioni Virtuali da Testi Scritti(根据基因的正确性)。 CILC公司 2010 [第52条] 马特奥·巴多尼 , 克里斯蒂娜·巴罗利奥 , 费德里科·贝根蒂 , 安东尼奥·博卡拉特 , 伊丽莎·马伦戈 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 卢卡·帕多瓦尼 , 薇薇安娜·帕蒂 , 亚历山德罗·里奇 , 吉安弗兰科·罗西 , 安德烈·桑蒂 :
MERCURIO:一个面向交互的框架,用于设计、验证和编程多代理系统。 马洛 2010 [第51条] 马特奥·巴多尼 , 克里斯蒂娜·巴罗利奥 , 费德里科·贝根蒂 , 安东尼奥·博卡拉特 , 伊丽莎·马伦戈 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 卢卡·帕多瓦尼 , 维维亚娜·帕蒂 , 亚历山德罗·里奇 , 吉安弗兰科·罗西 , 安德烈·桑蒂 :
MERCURIO:一个面向交互的框架,用于设计、验证和编程多代理系统。 WOA公司 2010
2000 – 2009
2009 [公元50年] 丹妮拉·布里奥拉 , 维维亚娜·马斯卡迪 , 毛里齐奥·马泰利 , 里卡多·卡西亚 , 卡洛·米拉尼 :
MAS中的动态资源分配:来自行业的案例研究。 WOA公司 2009 : 125-133 2008 [公元17年] 乔瓦尼·卡塞拉 , 文森佐·杜夫米亚 , 维维亚娜·马斯卡迪 , Gennaro Costagliola公司 , 毛里齐奥·马泰利 :
基于代理的草图符号解释框架。 视觉杂志。 语言计算。 19 ( 2 ) : 225-257 ( 2008 ) [公元49年] 维维亚娜·马斯卡迪 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
Genova的计算逻辑。 伊尔·米利翁 2008 [公元48年] 维维亚娜·马斯卡迪 , 丹妮拉·布里奥拉 , 毛里齐奥·马泰利 , 里卡多·卡西亚 , 卡洛·米拉尼 :
使用基于逻辑的分布式代理监测和诊断铁路信号。 CISIS公司 2008 : 108-115 [公元47年] 乔瓦尼·卡塞拉 , 文森佐·杜夫米亚 , 维维亚娜·马斯卡迪 , 毛里齐奥·马泰利 , 热那维法·托托拉 :
手绘草图的推理:一种基于智能软件代理的方法。 可视化 2008 : 302-314 [公元46年] 丹妮拉·布里奥拉 , 维维亚娜·马斯卡迪 , 毛里齐奥·马泰利 , 加布里埃尔·阿雷科 , 里卡多·卡西亚 , 卡洛·米拉尼 :
基于Prolog的铁路信号监测MAS:实现和实验。 WOA公司 2008 : 11-18 2007 [c45] 维维亚娜·马斯卡迪 , 毛里齐奥·马泰利 , 伊万娜·贡吉 :
DCaseLP:多语言Agent系统的原型环境。 拉丁美洲和加勒比海地区 2007 : 139-155 [公元44年] 马特奥·巴多尼 , 安东尼奥·博卡拉特 , 弗拉维奥·德保利 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 :
2007年WOA会议记录前言。 WOA公司 2007 [电子3] 马特奥·巴多尼 , 安东尼奥·博卡拉特 , 弗拉维奥·德保利 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 :
WOA 2007:Dagli Oggetti agli Agenti。 第八届AI*IA/TABOO联合研讨会“从对象到代理”:代理和行业:软件代理的技术应用,2007年9月24日至25日,意大利热那亚。 塞内卡·埃迪齐奥尼·都灵 2007 ,国际标准图书编号 978-88-6122-061-4 [目录] 2006 [公元43年] 乔瓦尼·卡塞拉 , Costagliola真纳罗 , 文森佐·杜夫米亚 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 :
基于代理的图解草图中符号上下文驱动解释框架。 VL/HCC 2006 : 73-80 2005 [公元42年] 罗伯托·蒙塔尼亚 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 :
BDI^ATL:多智能体系统的交替时间BDI逻辑。 欧盟货币体系 2005 : 214-223 [公元41年] 瓦伦蒂娜·科尔德 , 保罗·隆巴迪 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 :
基于本体的概念集之间的相似性。 WOA公司 2005 : 16-21 2004 [公元16年] 维维亚娜·马斯卡迪 , 毛里齐奥·马泰利 , 利昂·斯特林 :
智能软件代理的基于逻辑的规范语言。 理论与实践。 日志。 程序。 4 ( 4 ) : 429-494 ( 2004 ) [j15] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
模型检查线性逻辑规范。 理论与实践。 日志。 程序。 4 ( 5-6 ) : 573-619 ( 2004 ) [公元40年] 马特奥·巴尔多尼 , 克里斯蒂娜·巴罗利奥 , 伊万娜·贡吉 , 阿尔贝托·马泰利 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 维维亚娜·帕蒂 , 克劳迪奥·斯齐凡内拉 :
DCaseLP中代理交互协议的推理。 DALT公司 2004 : 112-131 2003 [公元39年] 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 :
从UML图到Jess规则:集成OO和基于规则的语言来指定、实现和执行代理。 APPIA-GULP-PRODE公司 2003 : 275-286 [公元38年] 托马斯·胡安 , 利昂·斯特林 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 :
通过重用AOSE功能自定义AOSE方法。 美国原子能机构 2003 : 113-120 [公元37年] M.德拉托 , 阿尔贝托·马泰利 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 亚历山德罗·维里 :
多媒体、多频道和个性化新闻提供商。 混合动力系统 2003 : 388-399 [公元36年] Astesiano埃吉迪欧 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 吉安娜·雷吉奥 :
从需求规范到原型执行:多视图用例驱动方法和面向代理技术的组合。 瑞典克朗 2003 : 578-585 [i3] 维维亚娜·马斯卡迪 , 毛里齐奥·马泰利 , 莱昂·斯特林 :
智能软件代理的基于逻辑的规范语言。 CoRR公司 反恐精英。 AI/0311024号文件 ( 2003 ) [i2] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
模型检查线性逻辑规范。 CoRR公司 反恐精英。 PL/0309003 ( 2003 ) 2002 [公元14年] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
线性逻辑程序的有效不动点语义。 理论与实践。 日志。 程序。 2 ( 1 ) : 85-122 ( 2002 ) [公元35年] 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 利昂·斯特林 :
基于逻辑的语言对智能代理进行建模和编程。 APPIA-GULP-PRODE公司 2002 : 105-122 [公元34年] 里卡多·阿尔伯托尼 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 斯特凡诺·米格里亚 :
D-CaseLP中的Specifica,Implementated Esecuzione di un Prototipo di Sistema Multi-Agente。 WOA公司 2002 : 149-156 2001 [j13] 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
线性逻辑中的计算证明。 西奥。 计算。 科学。 258 ( 1-2 ) : 269-297 ( 2001 ) [公元33年] 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
将否定作为失败嵌入到线性逻辑中。 APPIA-GULP-PRODE公司 2001 : 165-179 [公元32年] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
一阶线性逻辑程序的有效自底向上语义。 FLOPS(浮动) 2001 : 138-152 [公元31年] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
析取与线性逻辑规划的关系。 APPIA-GULP-PRODE公司 2001 : 65-89 [i1] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
线性逻辑程序的有效定点语义。 CoRR公司 反恐精英。 PL/0102025 ( 2001 ) 2000 [公元12年] 米歇尔·布列西 , 乔治·德尔扎诺 , 路易吉·利古里 , 毛里齐奥·马泰利 :
线性逻辑中的对象计算。 J.日志。 计算。 10 ( 1 ) : 75-104 ( 2000 ) [公元30年] 西蒙尼·马里尼 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
异构代理体系结构规范。 阿塔尔 2000 : 275-289 [公元29年] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
线性逻辑程序的自下而上语义。 PPDP(PPDP) 2000 : 92-102 [公元28年] 西蒙尼·马里尼 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
HEMASL:一种指定异构代理的灵活语言。 WOA公司 2000 : 76-81
1990 – 1999
1999 [公元11年] 乔治·德尔扎诺 , 迪迪埃·加尔米奇 , 毛里齐奥·马泰利 :
并发面向对象编程的规范逻辑。 数学。 结构。 计算。 科学。 9 ( 三 ) : 253-286 ( 1999 ) [公元27年] 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
案例LP中多代理系统的规范和仿真。 APPIA-GULP-PRODE公司 1999 : 13-28 [公元26年] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
作为软件工程企业的多代理系统开发。 PADL(PADL) 1999 : 46-60 [第3页] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
逻辑编程和多代理系统:应用程序和语义的协同组合。 逻辑程序设计范式 1999 : 5-32 1998 [公元25年] 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
走向多代理软件原型。 PAAM公司 1998 : 331-354 1997 [公元10年] 达尼洛·蒙泰西 , 伊丽莎·贝尔蒂诺 , 毛里齐奥·马泰利 :
演绎数据库中的事务和更新。 IEEE传输。 知识。 数据工程。 9 ( 5 ) : 784-797 ( 1997 ) [公元24年] 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
面向对象、演绎和主动数据库的线性逻辑语义。 APPIA-GULP-PRODE公司 1997 : 105-116 [c23] 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
将逻辑编程应用于复杂应用程序的规范。 APPIA-GULP-PRODE公司 1997 : 491-500 1996 [公元22年] 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
线性逻辑中的计算证明。 APPIA-GULP-PRODE公司 1996 : 155-166 【c21】 米歇尔·布列西 , 乔治·德尔扎诺 , 路易吉·利科里 , 毛里齐奥·马泰利 :
线性逻辑微积分对象。 JICSLP公司 1996 : 67-81 [电子2] 帕基·卢西奥 , 毛里齐奥·马泰利 , 玛丽莎·纳瓦罗 :
1996年声明性编程联合会议,APPIA-GULP-PRODE’96,西班牙多诺斯蒂亚·圣塞巴斯蒂安,1996年7月15日至18日。 1996 [目录] 1995 [公元9年] 亚历山德拉·迪·皮耶罗 , 毛里齐奥·马泰利 , 帕拉米德斯猫 :
否定为实例化。 Inf.计算。 120 ( 2 ) : 263-278 ( 1995 ) [公元20年] 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
论坛对象。 活塞销 1995 : 283-294 [第19条] 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
论坛中的对象。 仪表着陆点 1995 : 115-129 1994 [j8] 安娜丽莎·博西 , 毛里齐奥·加布里埃利 , 乔治·列维 , 毛里齐奥·马泰利 :
语义方法:理论与应用。 J.日志。 程序。 19/20 : 149-197 ( 1994 ) [第18条] 毛里齐奥·马泰利 , 亚历山德罗·梅索拉 , 帕拉米德斯猫 , 阿兰·惠本·霍 :
L lambda的定点语义。 活塞杆(1) 1994 : 187-201 [第17条] 伊丽莎·贝尔蒂诺 , 芭芭拉·卡塔尼亚 , 乔瓦娜·格雷尼 , 毛里齐奥·马泰利 , 达尼洛·蒙泰西 :
带有更新和事务的数据库语言的自底向上解释器。 活塞杆(2) 1994 : 206-220 1993 [j7] 莫雷诺·法拉斯基 , 乔治·列维 , 毛里齐奥·马泰利 , 帕拉米德斯猫 :
逻辑程序操作语义的模型理论重建。 Inf.计算。 103 ( 1 ) : 86-113 ( 1993 ) [第16条] 伊丽莎·贝尔蒂诺 , 芭芭拉·卡塔尼亚 , 乔瓦娜·格雷尼 , 毛里齐奥·马泰利 , 达尼洛·蒙泰西 :
CLP(AD)中的Formalizzazione e Ottimizazione di Transazioni di modifica。 吞咽 1993 : 501-518 [第15条] 毛里齐奥·马泰利 , 亚历山德罗·梅索拉 , 帕拉米德斯猫 :
L-ambda的定点语义。 仪表着陆点 1993 : 666 [第14条] 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
有限成功的自下而上表征。 仪表着陆点 1993 : 676 1992 [j6] 毛里齐奥·马泰利 , 奇亚拉·特里科米 :
一个新的SLDNF-树。 信息处理。 莱特。 43 ( 2 ) : 57-62 ( 1992 ) [第13条] 伊丽莎·贝尔蒂诺 , 毛里齐奥·马泰利 , 达尼洛·蒙泰西 :
CLP(X)作为行动和演绎的框架。 CNKBS公司 1992 : 27-29 [第12条] 伊丽莎·贝尔蒂诺 , 毛里齐奥·马泰利 , 达尼洛·蒙泰西 :
用约束逻辑编程建模数据库更新。 演绎数据库研讨会,JICSLP 1992 : 175-184 [第11条] 伊丽莎·贝尔蒂诺 , 毛里齐奥·马泰利 , 达尼洛·蒙泰西 :
CLP(AD)作为带更新的演绎数据库语言。 ELP公司 1992 : 80-99 [c10] 伊丽莎·贝尔蒂诺 , 毛里齐奥·马泰利 , 达尼洛·蒙泰西 :
使用约束逻辑编程建模数据库更新。 FMLDO公司 1992 : 121-132 【c9】 毛里齐奥·加布里埃利 , 乔治·列维 , 毛里齐奥·马泰利 :
逻辑编程的新语义工具。 REX研讨会 1992 : 204-235 1991 [j5] 沃德齐米尔兹·德拉本特 , 毛里齐奥·马泰利 :
严格完成逻辑程序。 新一代。 计算。 9 ( 1 ) : 69-80 ( 1991 ) 【c8】 亚历山德拉·迪·皮耶罗 , 毛里齐奥·马泰利 , 帕拉米德斯猫 :
作为瞬时的否定:逻辑编程中处理否定的新规则。 ICLP公司 1991 : 32-45 1990 【j4】 罗伯托·巴布蒂 , 毛里齐奥·马泰利 :
识别无浪费的逻辑程序和目标。 Int.J.找到。 计算。 科学。 1 ( 2 ) : 151-164 ( 1990 ) 【c7】 乔治·列维 , 毛里齐奥·马泰利 , 帕拉米德斯猫 :
失败与成功造就了对称。 NACLP公司 1990 : 3-22
1980 – 1989
1989 [j3] 莫雷诺·法拉斯基 , 乔治·列维 , 帕拉米德斯猫 , 毛里齐奥·马泰利 :
逻辑语言操作行为的声明性建模。 西奥。 计算。 科学。 69 ( 三 ) : 289-318 ( 1989 ) [电子1] 乔治·列维 , 毛里齐奥·马泰利 :
逻辑编程,第六届国际会议记录,葡萄牙里斯本,1989年6月19-23日。 麻省理工学院出版社 1989 ,国际标准图书编号 0-262-62065-0 [目录] 1988 【c6】 莫雷诺·法拉斯基 , 乔治·列维 , 毛里齐奥·马泰利 , 帕拉米德斯猫 :
逻辑语言的一种新的声明语义学。 ICLP/SLP公司 1988 : 993-1005 【c5】 罗伯托·巴布蒂 , 毛里齐奥·马泰利 :
检查非浪费逻辑程序和目标的工具。 PLILP公司 1988 : 58-67 1986 [注2] C.阿奎拉诺 , 罗伯托·巴布蒂 , P.博切蒂 , 毛里齐奥·马泰利 :
否定为失败。 具有递归定义的Horn子句程序的查询求值过程的完整性。 J.汽车。 原因。 2 ( 2 ) : 155-170 ( 1986 ) 【c4】 罗伯托·巴布蒂 , 毛里齐奥·马泰利 :
一类逻辑程序的SLDNF解析的完整性。 ICLP公司 1986 : 600-614 [第2页] 罗伯托·巴布蒂 , 马可·贝利亚 , 乔治·列维 , 毛里齐奥·马泰利 :
LEAF:一种集成逻辑、方程和函数的语言。 逻辑程序设计:函数、关系和方程 1986 : 201-238 1985 [j1] 帕特里齐亚·阿西雷利 , 米歇尔·德·桑提斯 , 毛里齐奥·马泰利 :
逻辑数据库的完整性约束。 J.日志。 程序。 2 ( 三 ) : 221-232 ( 1985 ) 1984 【c3】 罗伯托·巴布蒂 , 马可·贝利亚 , 乔治·列维 , 毛里齐奥·马泰利 :
逻辑程序设计与函数程序设计的集成。 SLP公司 1984 : 160-166 [第1页] 马可·贝利亚 , 恩里科·达梅里 , 皮耶保罗·德加诺 , 乔治·列维 , 毛里齐奥·马泰利 :
Prolog-Compatible函数语言延迟实现的形式化模型。 Prolog的实现 1984 : 309-326 1983 【c2】 马可·贝利亚 , 乔治·列维 , 毛里齐奥·马泰利 :
按需驱动架构编译Prolog程序。 逻辑编程研讨会 1983 : 518-535 1982 【c1】 马可·贝利亚 , 恩里科·达梅里 , 皮耶保罗·德加诺 , 乔治·列维 , 毛里齐奥·马泰利 :
一阶逻辑中的适用通信过程。 程序设计研讨会 1982 : 1-14