伊昂·阿尔弗雷德·莱蒂亚
人员信息
附属: 罗马尼亚Cluj-Napoca技术大学
优化列表
2010 – 2019
2019 [公元48年] 安卡·马吉安 , 阿德里安·格罗扎 , 西蒙娜·迪莉亚·尼科拉 , 乔治·蒙滕 , 拉杜·拉兹万·斯拉夫斯库 , 伊昂·阿尔弗雷德·莱蒂亚 :
利用光学相干层析成像技术平衡卷积神经网络的复杂性。 国际竞争性商业惯例 2019 : 475-482 2017 [公元47年] 屋大维流行音乐 , 伊昂·阿尔弗雷德·莱蒂亚 :
解释支持人类用户的多上下文流中的不一致性。 国际竞争性商业惯例 2017 : 47-53 2016 [j8] 塞尔吉奥·阿莱杭德罗·戈麦斯 , 安卡·戈隆 , 阿德里安·格罗扎 , 伊昂·阿尔弗雷德·莱蒂亚 :
通过论证和模型检查确保空中交通管制系统的安全。 专家系统。 申请。 44 : 367-385 ( 2016 ) 2015 [j7] 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·戈隆 :
模型检查支持检查灵活流程中的规则符合性。 视觉杂志。 语言计算。 28 : 100-121 ( 2015 ) 2014 [公元46年] 阿德里安·格罗扎 , 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·戈隆 , 塞尔吉乌·扎波罗詹 :
识别无人机软件保证缺陷的正式方法。 ICSEng公司 2014 : 233-239 [公元45年] 安卡·尼科莱塔·马吉尼安 , 伊昂·阿尔弗雷德·莱蒂亚 , 扎波罗热 :
使用特定领域的分层良好实践对服务组合进行排名。 突触 2014 : 204-211 2013 [j6] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
集成业务流程的合规性检查。 数据知识。 工程师。 87 : 1-18 ( 2013 ) [j5] 伊昂·阿尔弗雷德·莱蒂亚 , 屋大维流行音乐 :
为代理团体建立适应性规范体系。 网络智能。 代理系统。 11 ( 4 ) : 339-350 ( 2013 ) [i2] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
承诺代理人的正当性和解释性论证。 CoRR公司 abs/1304.3860 ( 2013 ) [i1] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
自动化任务依赖网络中的争议解决。 CoRR公司 abs/1304.6078 ( 2013 ) 2012 【j4】 阿德里安·格罗扎 , 伊昂·阿尔弗雷德·莱蒂亚 :
流推理的合理描述逻辑程序。 未来互联网 4 ( 4 ) : 865-881 ( 2012 ) [j3] 伊昂·阿尔弗雷德·莱蒂亚 , 拉杜·拉兹万·斯拉夫斯库 :
电子商务仿真中基于逻辑的声誉模型。 J.阿蒂夫。 Soc.Soc.模拟。 15 ( 三 ) ( 2012 ) [公元44年] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
描述流推理的合理逻辑程序。 ICAART(一) 2012 : 560-566 2011 [注2] 伊昂·阿尔弗雷德·莱蒂亚 , 拉杜·拉兹万·斯拉夫斯库 :
构建Web服务时对有用行为的信任信念。 可扩展计算。 实践。 支出。 12 ( 1 ) ( 2011 ) [公元43年] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
与合作代理之间的理由进行辩论。 ArgMAS公司 2011 : 102-116 [公元42年] 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·戈隆 :
为规范合规辩护。 AAMAS货币 &WI-IAT系统 2011 : 110-128 [公元41年] 埃米尔·圣齐夫 , 伊昂·阿尔弗雷德·莱蒂亚 :
本体匹配的神经模型。 联邦犯罪现场调查系统 2011 : 933-940 [公元40年] 伊昂·阿尔弗雷德·莱蒂亚 , 拉杜·拉兹万·斯拉夫斯库 :
FloodTrust改进了信任传递性。 进气温度(IAT) 2011 : 276-279 [公元39年] 伊昂·阿尔弗雷德·莱蒂亚 , 屋大维波普 :
简化本体以在异构环境中实现平滑交互。 网络智能/IAT研讨会 2011 : 314-317 [公元38年] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 , 拉杜·巴拉杰 :
为审计决策辩护的有争议代理人。 国际竞争性商业惯例 2011 : 71-78 [公元37年] 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·戈隆 :
使用关于服务需求的参数。 国际竞争性商业惯例 2011 : 79-86 [公元36年] 埃米尔·圣齐夫 , 伊昂·阿尔弗雷德·莱蒂亚 :
语义增强Web API的神经模型。 国际竞争性商业惯例 2011 : 87-94 [公元35年] 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·尼科莱塔·马吉尼安 :
基于本体期望的服务监控。 国际竞争性商业惯例 2011 : 111-114 [公元34年] 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·戈隆 :
在说服性对话中嵌入基于价值的论证。 国际竞争性商业惯例 2011 : 115-118 [公元33年] 伊昂·阿尔弗雷德·莱蒂亚 , 拉杜·拉兹万·斯拉夫斯库 :
基于多模态逻辑的电子商务信任和声誉模型。 国际竞争性商业惯例 2011 : 119-122 [公元32年] 伊昂·阿尔弗雷德·莱蒂亚 :
前言。 国际竞争性商业惯例 2011 : vii(七) 2010 [公元31年] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
模糊描述逻辑框架下的语用论证主体。 ArgMAS公司 2010 : 209-227 [公元30年] 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·戈隆 :
不完全指定软件服务的论证方法。 突触 2010 : 518-525 [公元29年] 伊昂·阿尔弗雷德·莱蒂亚 , 拉杜·拉兹万·斯拉夫斯库 :
基于Web服务信任的帮助行为。 突触 2010 : 526-533 [公元28年] 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·尼科莱塔·马吉尼安 :
对服务质量评估的期望。 突触 2010 : 553-556 [公元27年] 伊昂·阿尔弗雷德·莱蒂亚 , 屋大维流行音乐 :
使用概念描述细化的语义服务对齐。 突触 2010 : 561-564
2000 – 2009
2008 [公元26年] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
使用参数交换格式中的概念图进行上下文扩展。 ArgMAS公司 2008 : 72-89 [公元25年] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
一种基于规划的方法,用于创建全球辩论网。 国际数据中心 2008 : 137-146 [公元24年] 埃米尔·圣齐夫 , 伊昂·阿尔弗雷德·莱蒂亚 :
一种用于无监督分类富集的神经模型。 iiWAS公司 2008 : 264-270 【c23】 埃米尔·圣齐夫 , 伊昂·阿尔弗雷德·莱蒂亚 :
使用层次自组织映射进行基于文本的本体丰富。 NatuReS公司 2008 2007 [公元22年] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
在线纠纷解决调解人的结构化辩论。 DALT公司 2007 : 193-210 【c21】 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
利用在线争议解决调解人的粗鲁辩论。 砷化硫磷 2007 : 697-706 [公元20年] 伊昂·阿尔弗雷德·莱蒂亚 , 安卡·尼科莱塔·马吉尼安 , 阿德里安·格罗扎 :
面向服务计算的基于Z的代理。 SOCASE公司 2007 : 160-174 2006 [第19条] 伊昂·阿尔弗雷德·莱蒂亚 , Raluca Vartic公司 :
说服对话中基于承诺的政策与可推迟的信念。 自动控制 2006 : 243-257 [第18条] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
同意可延期承诺。 DALT公司 2006 : 156-173 [第17条] 伊昂·阿尔弗雷德·莱蒂亚 , Raluca Vartic公司 :
说服对话中的可推翻协议。 IAT研讨会 2006 : 359-362 [第16条] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
运行具有可延期承诺的合同。 国际能源署/美国国际能源署 2006 : 91-100 2005 [第15条] 伊昂·阿尔弗雷德·莱蒂亚 , 阿德里安·格罗扎 :
自动化任务依赖网络中的争议解决。 进气温度(IAT) 2005 : 365-371 2004 [第14条] 伊昂·阿尔弗雷德·莱蒂亚 , 莫妮卡·阿卡洛夫斯基 :
通过角色规则的论证获得能力。 ESAW公司 2004 : 45-59 2002 [j1] 伊昂·阿尔弗雷德·莱蒂亚 , Doina Precup公司 :
通过强化学习开发协作Golog Agent。 国际艺术杂志。 智力。 工具 11 ( 2 ) : 233-246 ( 2002 ) [第13条] 雷穆斯·布拉德 , 伊昂·阿尔弗雷德·莱蒂亚 :
从卫星图像序列中提取云运动。 ICARCV公司 2002 : 1303-1307 [第12条] 伊昂·阿尔弗雷德·莱蒂亚 , Wamberto Weber Vasconcelos公司 :
规范及其在电子制度模式中的作用。 拉斯塔 2002 : 240-258 2001 [第11条] 天主教徒M.琼克 , 伊昂·阿尔弗雷德·莱蒂亚 , 扬·特雷尔 :
通过行为要求的跟踪检查诊断组织内的动态。 AOSE公司 2001 : 17-32 [第10条] 伊昂·阿尔弗雷德·莱蒂亚 , Doina Precup公司 :
通过强化学习开发协作Golog Agent。 国际通信技术协会 2001 : 195-202 【c9】 伊昂·阿尔弗雷德·莱蒂亚 , 弗洛林·克雷西恩(Florin Craciun) , 佐尔坦·科佩 :
在仓库场景中工作的DLP代理的规范。 国际能源署/美国国际能源署 2001 : 728-733 2000 【c8】 伊昂·阿尔弗雷德·莱蒂亚 , 弗洛林·克雷西恩(Florin Craciun) , 佐尔坦·科普 :
通过模拟验证规范。 多代理系统基础设施代理研讨会 2000 : 293-295 【c7】 伊昂·阿尔弗雷德·莱蒂亚 , 弗洛林·克雷西恩(Florin Craciun) , 佐尔坦·科普 , 亚历山德鲁·勒鲁图 :
使用多代理在分布式站点上挖掘序列模式的首次实验。 理想 2000 : 187-192 【c6】 伊昂·阿尔弗雷德·莱蒂亚 , 弗洛林·克雷西恩(Florin Craciun) , 佐尔坦·科普 :
验证信息市场场景中自利代理人的行为。 理想 2000 : 392-397
1990 – 1999
1999 【c5】 伊昂·阿尔弗雷德·莱蒂亚 :
支持证明的代理通信TLA+规范。 代理人 1999 : 410-411 1998 【c4】 伊昂·阿尔弗雷德·莱蒂亚 , 马吕斯·乔尔多斯 , 卡林·塞南 , 戴安娜·扎伊乌 , 艾琳娜·安德烈卡 :
模拟足球经纪人的决策树和规则归纳。 CRW公司 1998 : 110-122 【c3】 罗伯特·多林杰 , 伊昂·阿尔弗雷德·莱蒂亚 :
在相对数量级模型中使用容差演算进行推理。 IEA/AIE(第1卷) 1998 : 399-407 1995 【c2】 伊昂·阿尔弗雷德·莱蒂亚 :
学习第二种编程语言时的知识传授。 WCCE公司 1995 : 97-106 1993 【c1】 穆古尔·M·鞑靼 , 伊昂·阿尔弗雷德·莱蒂亚 :
将时间推理嵌入ATMS框架。 XPS公司 1993 : 276-282