中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
0933-1875
刊名
Kunstliche Intelligenz
参考译名
人工智能
收藏年代
1999~2023
全部
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2020, vol.34, no.1
2020, vol.34, no.2
2020, vol.34, no.3
2020, vol.34, no.4
题名
作者
出版年
年卷期
crowd: A Visual Tool for Involving Stakeholders into Ontology Engineering Tasks
Braun, German; Gimenez, Christian; Cecchi, Laura; Fillottrani, Pablo
2020
2020, vol.34, no.3
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Koopmann, Patrick
2020
2020, vol.34, no.3
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT
Manthey, Norbert; Penaloza, Rafael; Rudolph, Sebastian
2020
2020, vol.34, no.3
Quantitative Variants of Language Equations and their Applications to Description Logics Extending Unification in Description Logics
Marantidis, Pavlos
2020
2020, vol.34, no.3
Connecting Knowledge to Data Through Transformations in KnowID: System Description
Fillottrani, Pablo R.; Jamieson, Stephan; Keet, C. Maria
2020
2020, vol.34, no.3
Towards Higher-order OWL
Kluka, Jan; Hozzova, Petra; Svatek, Vojtech; Vacura, Miroslav; Homola, Martin
2020
2020, vol.34, no.3
Querying Rich Ontologies by Exploiting the Structure of Data
Bajraktari, Labinot
2020
2020, vol.34, no.3
Reasoning in Description Logic Ontologies for Privacy Management
Nuradiansyah, Adrian
2020
2020, vol.34, no.3
Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis A Dissertation Summary
Kriegel, Francesco
2020
2020, vol.34, no.3
Machine Understandable Policies and GDPR Compliance Checking
Bonatti, Piero A.; Kirrane, Sabrina; Petrova, Iliana M.; Sauro, Luigi
2020
2020, vol.34, no.3
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024