Thomas Schneider 个人学术档案

引用次数

	总计	2019 年至今
引用	1472	485
h 指数	21	13
i10 指数	32	15

120

2007200820092010201120122013201420152016201720182019202020212022202320249 11 58 83 92 120 118 87 106 105 92 87 78 113 94 93 74 33

开放获取的出版物数量

查看全部

15 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Uli SattlerProfessor, IMG, Department of Computer Science, University of Manchester在 cs.man.ac.uk 的电子邮件经过验证
Bijan ParsiaProfessor of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
Chiara Del VescovoSenior Data Manager at BBC在 bbc.co.uk 的电子邮件经过验证
Michael ZakharyaschevBirkbeck, University of London在 dcs.bbk.ac.uk 的电子邮件经过验证
Jean Christoph JungTU Dortmund在 tu-dortmund.de 的电子邮件经过验证
Carsten LutzProfessor of Computer Science, University of Leipzig在 informatik.uni-leipzig.de 的电子邮件经过验证
Heribert VollmerProfessor für Theoretische Informatik, Leibniz Universität Hannover在 thi.uni-hannover.de 的电子邮件经过验证
Pavel KlinovSenior Research Engineer, Complexible Inc在 complexible.com 的电子邮件经过验证
Arne MeierPrivatdozent, Institute of Theoretical Computer Science, Leibniz Universität Hannover在 thi.uni-hannover.de 的电子邮件经过验证
Frank WolterDepartment of Computer Science, University of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
Henning SchnoorResearcher of Computer Science, Dept. of Computer Science, Kiel University在 ti.informatik.uni-kiel.de 的电子邮件经过验证
Rafael Berlanga LlavoriUniversidad Jaume I在 uji.es 的电子邮件经过验证
Ernesto Jimenez-RuizLecturer in Artificial Intelligence. City, University of London, UK在 city.ac.uk 的电子邮件经过验证
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.在 cs.ox.ac.uk 的电子邮件经过验证
Roman KontchakovReader, Birkbeck, University of London在 dcs.bbk.ac.uk 的电子邮件经过验证
Till MossakowskiProfessor of Computer Science, University of Magdeburg在 ovgu.de 的电子邮件经过验证
Diedrich WolterSmart Environments, University of Bamberg在 uni-bamberg.de 的电子邮件经过验证
Víctor Gutiérrez BasultoCardiff University在 cardiff.ac.uk 的电子邮件经过验证
Mantas ŠimkusTU Wien, Austria在 dbai.tuwien.ac.at 的电子邮件经过验证
Yazmin Angelica Ibañez-GarciaLecturer at Cardiff University在 cardiff.ac.uk 的电子邮件经过验证

关注

Thomas Schneider

Dept. of Mathematics and Computer Science, University of Bremen, Germany

在 uni-bremen.de 的电子邮件经过验证 - 首页

Logic - knowledge representation - modal logic - description logic - hybrid logic - modularity


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Safe and economic re-use of ontologies: A logic-based methodology and tool support E Jiménez-Ruiz, B Grau, U Sattler, T Schneider, R Berlanga The Semantic Web: Research and Applications, 185-199, 2008	163	2008
Getting the foot out of the pelvis: modeling problems affecting use of SNOMED CT hierarchies in practical applications AL Rector, S Brandt, T Schneider Journal of the American Medical Informatics Association 18 (4), 432-440, 2011	122	2011
Which kind of module should I extract U Sattler, T Schneider, M Zakharyaschev Proc. of DL 477, 2009	121	2009
The modular structure of an ontology: Atomic decomposition C Del Vescovo, B Parsia, U Sattler, T Schneider IJCAI Proceedings-international joint conference on artificial intelligence …, 2011	111	2011
A survey of qualitative spatial and temporal calculi: algebraic and computational properties F Dylla, JH Lee, T Mossakowski, T Schneider, A van Delden, ... ACM Computing Surveys (CSUR) 50 (1), 1-39, 2017	109	2017
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. R Kontchakov, L Pulina, U Sattler, T Schneider, P Selmer, F Wolter, ... IJCAI 9, 836-841, 2009	101	2009
Decomposition and modular structure of BioPortal ontologies C Del Vescovo, D Gessler, P Klinov, B Parsia, U Sattler, T Schneider, ... The Semantic Web–ISWC 2011, 130-145, 2011	58	2011
Algebraic Properties of Qualitative Spatio-Temporal Calculi F Dylla, T Mossakowski, T Schneider, D Wolter COSIT, 516-536, 2013	50	2013
The modular structure of an ontology: an empirical study C Del Vescovo, B Parsia, U Sattler, T Schneider Proceedings of the Fourth International Workshop on Modular Ontologies (WoMO …, 2010	40	2010
Ontologies and data management: a brief survey T Schneider, M Šimkus KI-Künstliche Intelligenz 34 (3), 329-353, 2020	38	2020
The complexity of generalized satisfiability for linear temporal logic M Bauland, T Schneider, H Schnoor, I Schnoor, H Vollmer Logical Methods in Computer Science 5 (1), 2008	38	2008
Empirical Study of Logic-Based Modules: Cheap Is Cheerful C Del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov Description Logics, 144-155, 2013	34	2013
Finite Model Reasoning in Horn Description Logics Y Ibáñez-García, C Lutz, T Schneider KR-2014, 2014	30	2014
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR-2014, 2014	30	2014
Conjunctive query inseparability of OWL 2 QL TBoxes B Konev, R Kontchakov, M Ludwig, T Schneider, F Wolter, ... Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 221-226, 2011	29	2011
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes V Gutiérrez-Basulto, JC Jung, T Schneider IJCAI, 3015-3021, 2015	27	2015
Complexity of hybrid logics over transitive frames M Mundhenk, T Schneider, T Schwentick, V Weber Journal of Applied Logic 8 (4), 422-440, 2010	27	2010
The tractability of model checking for LTL: The good, the bad, and the ugly fragments M Bauland, M Mundhenk, T Schneider, H Schnoor, I Schnoor, H Vollmer ACM Transactions on Computational Logic (TOCL) 12 (2), 1-28, 2011	25	2011
The tractability of model-checking for LTL: The good, the bad, and the ugly fragments M Bauland, M Mundhenk, T Schneider, H Schnoor, I Schnoor, H Vollmer Electronic Notes in Theoretical Computer Science 231, 277-292, 2009	24	2009
The complexity of generalized satisfiability for linear temporal logic M Bauland, T Schneider, H Schnoor, I Schnoor, H Vollmer Foundations of Software Science and Computational Structures: 10th …, 2007	24	2007

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用