塔内尔·塔米特
人员信息
附属: 塔林理工大学,爱沙尼亚塔林 隶属关系(以前): 瑞典哥德堡查尔默斯科技大学
优化列表
2020年–今天
2024 [公元12年] 理查德·迈克尔·德雷林 , 塔内尔·塔米特 , 英格丽德·帕佩尔 :
技术推动AI支持的服务:如何掌握Bürokratt案例中的技术集成。 序列号计算。 科学。 5 ( 6 ) : 738 ( 2024 ) [公元39年] 塔内尔·塔米特 :
减少浪费:在策略组合运行之间共享条款的实验(实验论文)。 LPAR公司 2024 : 106-115 [公元38年] 塔内尔·塔米特 , Priit Järv公司 , 马丁·维雷夫 , 德克·德拉海姆 :
将语言转换为逻辑的LLM实验。 NeSy(2) 2024 : 305-314 2023 [公元11年] 西尔维娅·利普斯 , 瓦伦蒂娜·察普 , 尼特斯·巴罗萨 , 罗伯特·克里默 , 塔内尔·塔米特 , 德克·德拉海姆 :
国家eID基础设施作为国家关键资产和公私伙伴关系的管理:从爱沙尼亚的案例中学习。 信息系统。 边境 25 ( 6 ) : 2439-2456 ( 2023 ) [公元10年] Priit Järv公司 , 塔内尔·塔米特 , 马丁·维雷夫 , 德克·德拉海姆 :
默认逻辑推理的大规模常识知识。 序列号计算。 科学。 4 ( 5 ) : 550 ( 2023 ) [公元37年] 塔内尔·塔米特 , Priit Järv公司 , 马丁·维雷夫 , 德克·德拉海姆 :
自然语言自动推理实验管道(短文)。 CADE公司 2023 : 509-521 [公元36年] 理查德·迈克尔·德雷林 , 塔内尔·塔米特 , 英格丽德·帕佩尔 :
从AI解决方案中寻找问题的数字转换见解。 FDSE公司 2023 : 341-351 2022 [公元9年] 阿霍·布尔达斯 , 德克·德拉海姆 , 迈克·高尔特 , 里斯托·拉奥尼亚 , 竹彦Nagumo , 马特·萨雷雷拉 , Syed Attique Shah公司 , 佐塞普·西姆 , 杰米·斯坦纳 , 塔内尔·塔米特 , 阿霍·特鲁 :
用于通用资产标记化的超大规模区块链平台:设计与实现。 IEEE接入 10 : 77284-77322 ( 2022 ) [公元35年] 塔内尔·塔米特 , 德克·德拉海姆 , 普里特·雅尔夫 :
GK:为常识推理实现完整的一阶默认逻辑(系统描述)。 国际JCAR 2022 : 300-309 [公元34年] 理查德·迈克尔·德雷林 , 塔内尔·塔米特 , 英格丽德·帕佩尔 :
人工智能在电子政务服务中的应用:系统的跨学科文献综述。 FDSE(CCIS卷) 2022 : 547-559 [公元33年] Priit Järv公司 , 塔内尔·塔米特 , 马丁·维雷夫 , 德克·德拉海姆 :
基于缺省逻辑的常识推理知识集成。 KDIR公司 2022 : 148-155 [公元32年] 塔内尔·塔米特 , 德克·德拉海姆 , Priit Järv公司 , 马丁·维雷夫 :
一阶逻辑和常识推理:少走一条路。 ICLP研讨会 2022 2021 [j8] 德克·德拉海姆 , 罗伯特·克里默 , 塔内尔·塔米特 :
数字政府生态系统的国家级架构:从ICT驱动到数据中心。 事务处理。 大规模数据知识。 以中心为中心的系统。 48 : 165-195 ( 2021 ) [公元31年] 塔内尔·塔米特 , 德克·德拉海姆 , Priit Järv公司 :
常识推理的可信度。 CADE公司 2021 : 507-524 [公元30年] 理查德·德雷林 , 埃里克·布莱克·杰克逊 , 塔内尔·塔米特 , 阿莱娜·拉巴纳娃 , 英格丽德·帕佩尔 :
政府机器学习和人工智能系统的社会、法律和技术考虑。 冰岛(1) 2021 : 701-708 [公元29年] 塔内尔·塔米特 , 杰夫·萨特克利夫 :
将JSON-LD与一阶逻辑相结合。 ICSC公司 2021 : 256-261 2020 [公元28年] 德克·德拉海姆 , 塔内尔·塔米特 :
从传感器到Dempster-Shafer理论及其背后:模糊传感器正确性公理及其应用——2020年DEXA主题演讲——第31届数据库和专家系统应用国际会议。 地塞米松(1) 2020 : 3-19 [公元27年] 前Luberg , 雅各布·平迪斯 , 塔内尔·塔米特 :
景点、标题和标签:挖掘全球观光照片数据库。 WIMS公司 2020 : 149-158 [i1] 塔内尔·塔米特 :
扩展常识推理的自动演绎。 CoRR公司 abs/2003.13159 ( 2020 )
2010 – 2019
2019 [公元26年] 塔内尔·塔米特 :
GKC:大型知识库的推理系统。 CADE公司 2019 : 538-549 2018 [公元25年] Priit Järv公司 , 塔内尔·塔米特 , 马丁·塔尔 :
层次感兴趣区域。 中密度聚乙烯 2018 : 86-95 2016 [公元24年] 卡勒·托明加 , Priit Järv公司 , 塔内尔·塔米特 :
从数据仓库过程中发现数据世系。 KDIR公司 2016 : 101-110 [c23] 卡勒·托明加 , Priit Järv公司 , 塔内尔·塔米特 :
为数据仓库计算数据谱系和业务语义。 IC3K系列 2016 : 101-124 2014 [公元22年] 卡勒·托明加 , 玛格斯·克利马斯克 , 塔内尔·塔米特 :
数据仓库自动化的数据集成模式。 阿德比斯(2) 2014 : 41-55 【c21】 卡勒·托明加 , 塔内尔·塔米特 , 玛古斯·克利马斯克 , Priit Järv公司 :
用于企业商业智能的自动化组件相关性分析。 ICIS公司 2014 [公元20年] 卡勒·托明加 , 塔内尔·塔米特 , 玛格斯·克利马斯克 :
基于规则的企业商业智能影响分析。 AIAI研讨会 2014 : 301-309 2013 [j7] 卡琳·舍费格 , 塔内尔·塔米特 , 迈克尔·格拉尼策 :
社会经济信息检索调查。 计算。 科学。 版次。 8 : 25-46 ( 2013 ) [第19条] 塔内尔·塔米特 , 前Luberg , Priit Järv公司 :
景观地图:世界各地的人气来源。 ENTER(输入) 2013 : 314-325 2012 [第18条] 前Luberg , Priit Järv公司 , 塔内尔·塔米特 :
游客推荐系统的信息提取。 ENTER(输入) 2012 : 332-343 [第17条] 前Luberg , 迈克尔·格拉尼策 , 吴洪翰 , Priit Järv公司 , 塔内尔·塔米特 :
旅游推荐观景器的信息检索和重复数据消除。 WIMS公司 2012 : 50:1-50:11 [第16条] 吴洪翰 , 前Luberg , 塔内尔·塔米特 :
按对域对象进行排名 网页的智慧 . WIMS公司 2012 : 67:1-67:4 2011 [第15条] 阿戈·卢伯格 , 塔内尔·塔米特 , 普里特·雅尔夫 :
扩展的三存储结构在推荐系统中的应用。 DEXA研讨会 2011 : 539-543 [第14条] 前Luberg , 塔内尔·塔米特 , Priit Järv公司 :
智慧城市:基于规则的游客推荐系统。 ENTER(输入) 2011 : 51-62 [第13条] 前Luberg , Priit Järv公司 , 卡林·肖福格 , 塔内尔·塔米特 :
旅游推荐系统的上下文软件和多语言信息提取。 我知道 2011 : 13
2000 – 2009
2008 [第12条] 塔内尔·塔米特 , 尤里·瓦因 , 安德烈斯·普塞普 , Enar Reilent公司 , 阿拉尔·库西克 :
基于RFID的自组织机器人群通信。 SASO公司 2008 : 45-54 2006 [j6] 斯蒂芬·舒尔茨 , 杰夫·萨特克利夫 , 塔内尔·塔米特 :
前言。 国际艺术杂志。 智力。 工具 15 ( 1 ) : 1-2 ( 2006 ) [第11条] 塔内尔·塔米特 , Hele-Mai哈夫 , 维尔洛·卡达尔皮克 , 马尔科·卡拉梅斯 :
使用规则语言捕获基于Web的系统中的语义。 数据库和信息系统 2006 : 249-259 2004 [c10] 塔内尔·塔米特 :
语义Web的链解析。 国际JCAR 2004 : 307-320 2003 【c9】 塔内尔·塔米特 :
语义网经典定理证明的扩展。 PSSS系统 2003 【c8】 塔内尔·塔米特 , 维尔洛·卡达尔皮克 :
将推理引擎与数据库相结合:规则服务器。 规则ML 2003 : 136-149 2001 [第2页] 克里斯蒂安·弗缪勒(Christian G.Fermüller) , 亚历山大·莱奇 , 乌尔里希·赫斯塔特 , 塔内尔·塔米特 :
决议决策程序。 自动化推理手册 2001 : 1791-1849
1990 – 1999
1998 [j5] 塔内尔·塔米特 , 简·M·史密斯 :
一阶逻辑中类型理论片段的优化编码。 J.日志。 计算。 8 ( 6 ) : 713-744 ( 1998 ) 【c7】 塔内尔·塔米特 :
实现高效吸纳。 CADE公司 1998 : 427-441 1997 【j4】 塔内尔·塔米特 :
甘道夫。 J.汽车。 原因。 18 ( 2 ) : 199-204 ( 1997 ) 【c6】 塔内尔·塔米特 :
分辨率,逆方法和序贯演算。 库尔特·哥德尔座谈会 1997 : 65-83 1996 【c5】 塔内尔·塔米特 :
直觉逻辑的归结定理证明器。 CADE公司 1996 : 2-16 1995 [j3] 塔内尔·塔米特 :
确定性答案解析的完整性。 J.日志。 计算。 5 ( 4 ) : 449-471 ( 1995 ) 【c4】 塔内尔·塔米特 :
使用分辨率扩展KL-ONE类型语言。 公里 1995 : 326-332 【c3】 塔内尔·塔米特 , 简·M·史密斯 :
一阶逻辑中类型理论片段的优化编码。 类型 1995 : 265-287 1994 [注2] 塔内尔·塔米特 :
线性逻辑中的证明系统。 J.汽车。 原因。 12 ( 三 ) : 273-304 ( 1994 ) 【c2】 塔内尔·塔米特 :
通过案例分析确定答案的解决方案的完整性。 CSL公司 1994 : 309-323 1993 【b1】 克里斯蒂安·弗缪勒(Christian G.Fermüller) , 亚历山大·莱奇 , 塔内尔·塔米特 , N.K.Zamov公司 :
决策问题的解决方法。 计算机科学课堂讲稿 679, 施普林格 1993 ,国际标准图书编号 3-540-56732-1 1991 [j1] 格里戈里造币厂 , 塔内尔·塔米特 :
关联逻辑的浓缩分离是完全的:一种计算机辅助证明。 J.汽车。 原因。 7 ( 4 ) : 587-596 ( 1991 ) [第1页] 塔内尔·塔米特 :
使用分辨率确定可解类和建立有限模型。 波罗的海计算机科学 1991 : 33-64
1980 – 1989
1988 【c1】 塔内尔·塔米特 :
解析程序,能够决定一些可解类。 计算机逻辑会议 1988 : 300-312