首页
文献服务
文献资源
外文期刊
外文会议
中文期刊
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
0933-1875
刊名
Kunstliche Intelligenz
参考译名
人工智能
收藏年代
1999~2025
全部
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
2024
2025
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
©2016机械工业出版社(机械工业信息研究院) 京ICP备05055788号-35