塞尔吉奥·特萨利斯
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [公元57年] Chiara Di Francescomarino公司 , 伊万·多纳德罗 , 奇亚拉·吉迪尼 , 法布里奇奥·玛丽亚·马吉 , 威廉斯·里兹 , 塞尔吉奥·特萨利斯 :
理解时间事件数据:发现区分时间模式的比较技术框架。 CAiSE公司 2024 : 423-439 2023 [j6] 安东内拉·德安吉利 , 马蒂亚·法尔杜蒂 , 玛丽亚·梅内德斯·布兰科 , 塞尔吉奥·特萨利斯 :
报道非感官色情:清晰度、效率和痛苦。 Multim公司。 工具应用程序。 82 ( 9 ) : 12829-12858 ( 2023 ) [j5] 费德里科·切萨尼 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 丹妮拉·洛雷蒂 , 法布里奇奥·玛丽亚·马吉 , 保拉·梅洛 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
异常痕迹和其他奇怪事物的过程发现。 IEEE传输。 知识。 数据工程。 35 ( 11 ) : 11784-11800 ( 2023 ) 2022 [j4] 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 塞尔吉奥·特萨利斯 :
解决数据软件工作流上的可达性问题。 专家系统。 申请。 189 : 116059 ( 2022 ) [公元56年] 费德里科·切萨尼 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 丹妮拉·洛雷蒂 , 法布里奇奥·玛丽亚·马吉 , 保拉·梅洛 , 马可·蒙塔利 , 埃琳娜·帕尔米耶里 , 塞尔吉奥·特萨利斯 :
发现表示为Declare约束的DNF或CNF公式的业务流程模型。 CILC公司 2022 : 201-216 [公元55年] 费德里科·切萨尼 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 朱莉娅·格兰德勒 , 丹妮拉·洛雷蒂 , 法布里奇奥·玛丽亚·马吉 , 保拉·梅洛 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
塑造您的流程:从积极和消极的痕迹中发现声明性业务流程,并考虑到用户的偏好。 EDOC公司 2022 : 217-234 [公元54年] 马蒂亚·法尔杜蒂 , 塞尔吉奥·特萨利斯 :
关于使用聊天机器人报告非保密性亲密图像滥用:法律专家视角。 GoodIT公司 2022 : 96-102 [公元53年] 费德里科·切萨尼 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 朱莉娅·格兰德勒 , 丹妮拉·洛雷蒂 , 法布里奇奥·玛丽亚·马吉 , 保拉·梅洛 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
使用答案集编程优化业务流程发现。 低密度核磁共振 2022 : 498-504 [i7] 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
SQL空值的关系代数和微积分。 CoRR公司 abs/2202.10898 ( 2022 ) 2021 [第52条] 安东内拉·德安吉利 , 马蒂亚·法尔杜蒂 , 玛丽亚·梅内德斯·布兰科 , 塞尔吉奥·特萨利斯 :
复仇色情报道:初步专家分析。 奇塔利 2021 : 30:1-30:5 [i6] 安东内拉·德安吉利 , 马蒂亚·法尔杜蒂 , 玛丽亚·梅内德斯·布兰科 , 塞尔吉奥·特萨利斯 :
复仇色情报道:初步专家分析。 CoRR公司 abs/2106.12223 ( 2021 ) [i5] 费德里科·切萨尼 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 丹妮拉·洛雷蒂 , 法布里奇奥·玛丽亚·马吉 , 保拉·梅洛 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
对异常痕迹和其他奇怪事物的过程发现。 CoRR公司 abs/2109.14883 ( 2021 )
2010 – 2019
2019 [第51条] 费德里科·切萨尼 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 丹妮拉·洛雷蒂 , 法布里奇奥·玛丽亚·马吉 , 保拉·梅洛 , 马可·蒙塔利 , 瓦西尔·斯基达尼恩科 , 塞尔吉奥·特萨利斯 :
使用溯源逻辑编程生成“完美”日志。 CILC公司 2019 : 179-192 [i4] 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 塞尔吉奥·特萨利斯 :
通过可达性验证数据感知工作流:形式化和实验。 CoRR公司 abs/1909.12738 ( 2019 ) 2018 [j3] 维罗尼卡·达尔 , 塞尔吉奥·特萨利斯 , 马里亚诺·德索萨·比斯波 :
解析为语义引导的约束求解:本体的作用。 安。数学。 Artif公司。 智力。 82 ( 1-3 ) : 161-185 ( 2018 ) [注2] 费德里科·切萨尼 , 保拉·梅洛 , 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
不完全信息和时间约束下的业务流程合规性:基于溯源推理的通用框架。 芬丹。 信息学 161 ( 1-2 ) : 75-111 ( 2018 ) [公元50年] 卢卡·萨比尤丘 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
用于验证数据软件业务流程的工具。 AI*IA公司 2018 : 266-276 2017 [公元49年] 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
将数据添加到业务流程验证中:弥合理论与实践之间的差距。 AAAI公司 2017 : 1091-1099 [公元48年] 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 塞尔吉奥·特萨利斯 :
使用数据增强工作流网络以完成跟踪。 业务流程管理研讨会 2017 : 89-106 [i3] 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 塞尔吉奥·特萨利斯 :
使用数据增强工作流网络以完成跟踪。 CoRR公司 abs/1706.00356 ( 2017 ) 2016 [公元47年] 费德里科·切萨尼 , 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 保拉·梅洛 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
强制遵守不完整的事件日志。 AI*IA公司 2016 : 208-222 [公元46年] 费德里科·切萨尼 , 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 保拉·梅洛 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
诱导工作流跟踪:管理业务流程中不完整性的通用框架。 ECAI公司 2016 : 1734-1735 [i2] 费德里科·切萨尼 , 里卡多·德马塞利斯 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 保拉·梅洛 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 :
强制遵守不完整的事件日志。 CoRR公司 腹肌/1606.05446 ( 2016 ) 2015 [公元45年] Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 塞尔吉奥·特萨利斯 , 伊泽尔·瓦兹奎斯·桑多瓦尔 :
使用操作语言完成工作流跟踪。 CAiSE公司 2015 : 314-330 [公元44年] 伊夫·阿德巴拉 , 维罗尼卡·达尔 , 塞尔吉奥·特萨利斯 :
通过女性语法加本体论完成混合语言语法。 ICAART(一) 2015 : 292-297 [公元43年] 伊夫·阿德巴拉 , 维罗尼卡·达尔 , 塞尔吉奥·特萨利斯 :
使用部分已知语法进行分析。 ICAART(修订论文集) 2015 : 334-346 [公元42年] 维罗尼卡·达尔 , 塞尔吉奥·特萨利斯 , 托姆·W·福吕维思 :
通过Womb语法和本体论进行不完善的查询。 IJCAI的JOWO 2015 2014 [公元41年] Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 塞尔吉奥·特萨利斯 , 伊泽尔·瓦兹奎斯·桑多瓦尔 :
使用动作语言对不完整执行跟踪进行推理-第一份报告。 ICSOC研讨会 2014 : 185-191 2013 [公元40年] 德米特里·索洛马金 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 , 里卡多·德马塞利斯 :
以工艺为中心的系统的验证:可决定性和建模问题。 国际社会理事会 2013 : 252-266 [i1] 德米特里·索洛马金 , 马可·蒙塔利 , 塞尔吉奥·特萨利斯 , 里卡多·德马塞利斯 :
以工艺为中心的系统的验证:可决定性和建模问题。 CoRR公司 abs/1304.1697 ( 2013 ) 2012 [j1] 巴勃罗·菲尔洛特拉尼 , 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
ICOM 3.0智能概念建模工具和方法。 语义Web 三 ( 三 ) : 293-306 ( 2012 ) [公元39年] 德米特里·索洛马金 , 塞尔吉奥·特萨利斯 , 马可·蒙塔利 :
结合过程和本体建模。 DC@AI *IA公司 2012 : 43-47 [公元38年] 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
关于SQL Null的逻辑。 AMW公司 2012 : 114-128 [公元37年] 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
SQL Null的代数和逻辑。 SEBD公司 2012 : 163-176 2011 [公元36年] 巴勃罗·菲尔洛特拉尼 , 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
本体设计与ICOM 3.0集成:工具描述与方法。 描述逻辑 2011 [公元35年] 恩里科·弗兰科尼 , 保罗·瓜利亚多 , 马可·特雷维西安 , 塞尔吉奥·特萨利斯 :
Quelo:一个Ontology-Driven查询接口。 描述逻辑 2011 [公元34年] 阿里·法齐·纳杰姆·艾尔·沙马里 , Weldemariam公司 , 阿道夫·维拉菲奥里塔 , 塞尔吉奥·特萨利斯 :
通过开放标准进行投票验证:路线图。 REVOTE公司 2011 : 22-26 2010 [公元33年] 利娜·卢比特 , 塞尔吉奥·特萨利斯 :
支持数据包装本体的开发(扩展抽象)。 描述逻辑 2010
2000 – 2009
2009 [公元32年] 利娜·卢比特 , 塞尔吉奥·特萨利斯 :
支持数据包装本体的开发。 ASWC公司 2009 : 31-45 [公元31年] 利娜·卢比特 , 塞尔吉奥·特萨利斯 :
包装关系数据源的本体的自动提取。 DEXA公司 2009 : 128-142 [电子3] 塞尔吉奥·特萨利斯 , 恩里科·弗兰科尼 , 托马斯·艾特 , 克劳迪奥·古铁雷斯 , 齐格弗里德·汉德施 , 玛丽·克里斯汀·罗塞特 , 雷娜特·施密特 :
推理Web。 2009年8月30日至9月4日,意大利布里森-布列萨诺第五国际暑期学校信息系统语义技术教程。 计算机科学课堂讲稿 5689, 施普林格 2009 ,国际标准图书编号 978-3-642-03753-5 [目录] 2008 [c30] 奇亚拉·吉迪尼 , 卢西亚诺·塞拉菲尼 , 塞尔吉奥·特萨利斯 :
桥接二元关系的异构表示:第一个结果。 描述逻辑 2008 [公元29年] 利娜·卢比特 , 塞尔吉奥·特萨利斯 :
支持数据访问的本体设计。 描述逻辑 2008 [公元28年] 奇亚拉·吉迪尼 , 卢西亚诺·塞拉菲尼 , 塞尔吉奥·特萨利斯 :
表达本体映射推理的复杂性。 FOIS公司 2008 : 151-163 2007 [c27] 奇亚拉·吉迪尼 , 卢西亚诺·塞拉菲尼 , 塞尔吉奥·特萨利斯 :
关于不同本体中异质元素的关联。 上下文 2007 : 234-247 [公元26年] 奇亚拉·吉迪尼 , 卢西亚诺·塞拉菲尼 , 塞尔吉奥·特萨利斯 :
关于不同本体中异质元素的关联。 描述逻辑 2007 [公元25年] 利娜·卢比特 , 塞尔吉奥·特萨利斯 :
从关系数据库中提取本体。 描述逻辑 2007 [公元24年] 伊凡·佐齐 , 塞尔吉奥·特萨利斯 , 保罗·多吉尔 :
提高基于本体的查询公式的响应能力。 SWAP公司 2007 [电子2] 迭戈·卡尔瓦内斯 , 恩里科·弗兰科尼 , 沃尔克·哈尔斯列夫 , 多梅尼科·伦博 , 鲍里斯·莫提克 , 安妮·亚斯敏·图尔汗 , 塞尔吉奥·特萨利斯 :
2007年描述逻辑国际研讨会论文集(DL2007),Brixen Bressanone,意大利Bozen Bolzano附近,2007年6月8-10日。 CEUR研讨会记录 250, CEUR-WS.org公司 2007 [目录] 2006 【c23】 巴勃罗·菲尔洛特拉尼 , 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
新的ICOM本体编辑器。 描述逻辑 2006 [公元22年] 保罗·多吉尔 , 塞尔吉奥·特萨利斯 , 约翰·贝特曼 :
利用系统功能语言学增强智能数据库查询。 ISDA(1) 2006 : 1073-1079 【c21】 卡斯滕·卢茨 , 弗兰兹·巴德 , 恩里科·弗兰科尼 , 多梅尼科·伦博 , 拉尔夫·默勒 , 里卡多·罗萨蒂 , 乌尔里克·萨特勒 , Boontawee Suntisrivaraporn酒店 , 塞尔吉奥·特萨利斯 :
本体设计的推理支持。 OWLED(发光二极管) 2006 [公元20年] 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
RDF和SPARQL的逻辑:教程。 豆荚 2006 : 355 2005 [第19条] 塞尔吉奥·特萨利斯 , 恩里科·弗兰科尼 :
具有本体的规则和查询:统一的逻辑框架。 描述逻辑 2005 [第18条] 恩里科·弗兰科尼 , 乔斯·德布鲁因(Jos de Bruijn) , 塞尔吉奥·特萨利斯 :
规范RDF的逻辑重构。 OWLED(发光二极管) 2005 [c17] 乔斯·德·布鲁因(Jos de Bruijn) , 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
RDF和本体语言的逻辑重构。 PPSWR公司 2005 : 65-71 [第16条] 保罗·多吉尔 , 巴勃罗·菲尔洛特拉尼 , 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
使用本体查询异构数据源的多代理系统。 SEBD公司 2005 : 75-86 [第15条] 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
带本体的规则(和查询)统一逻辑框架。 用于互操作性的规则语言 2005 2004 [第14条] 保罗·多吉尔 , 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
语义驱动的查询公式支持。 描述逻辑 2004 [第13条] 蒂齐亚娜·卡塔西 , 保罗·多吉尔 , 塔尼娅·迪·马斯西奥 , 恩里科·弗兰科尼 , 朱塞佩·桑图奇 , 塞尔吉奥·特萨利斯 :
一种基于本体的可视化工具,用于查询公式化支持。 ECAI公司 2004 : 308-312 [第12条] 恩里科·弗兰科尼 , 塞尔吉奥·特萨利斯 :
带本体的规则和查询:一个统一的逻辑框架。 PPSWR公司 2004 : 50-60 2003 [第11条] 蒂齐亚娜·卡塔西 , 塔尼娅·迪·马斯西奥 , 恩里科·弗兰科尼 , 朱塞佩·桑图奇 , 塞尔吉奥·特萨利斯 :
一种基于本体的可视化查询公式支持工具。 OTM研讨会 2003 : 32-33 2002 [第10条] 塞尔吉奥·特萨利斯 , 伊恩·霍洛克斯 , 格雷厄姆·高夫 :
评估模块化Abox算法。 韩国 2002 : 227-238 【c9】 塞尔吉奥·特萨利斯 , 伊恩·霍洛克斯 :
在表达描述逻辑中将Abox可满足性简化为术语推理。 LPAR公司 2002 : 435-449 【c8】 伊恩·霍洛克斯 , 塞尔吉奥·特萨利斯 :
查询语义Web:一种形式化方法。 ISWC公司 2002 : 177-191 [电子1] 伊恩·霍洛克斯 , 塞尔吉奥·特萨利斯 :
2002年描述逻辑国际研讨会论文集(DL2002),法国图卢兹,2002年4月19-21日。 CEUR研讨会记录 53, CEUR-WS.org公司 2002 [目录] 2001 【c7】 塞尔吉奥·特萨利斯 :
查询有表现力的DL。 描述逻辑 2001 2000 【c6】 伊恩·霍洛克斯 , 塞尔吉奥·特萨利斯 :
描述逻辑abox的连接查询语言。 AAAI/IAAI公司 2000 : 399-404 【c5】 伊恩·霍洛克斯 , 塞尔吉奥·特萨利斯 :
关于DL-Aboxes的连词问答:初步报告。 描述逻辑 2000 : 173-182 【c4】 伊恩·霍洛克斯 , 乌尔里克·萨特勒 , 塞尔吉奥·特萨利斯 , 斯蒂芬·托比 :
如何使用描述逻辑确定约束下的查询包含。 KRDB公司 2000 : 59-72 【c3】 伊恩·霍洛克斯 , 乌尔里克·萨特勒 , 塞尔吉奥·特萨利斯 , 斯蒂芬·托比 :
如何使用描述逻辑确定约束下的查询包含。 LPAR公司 2000 : 326-343