Carsten Lutz

Cited by

	All	Since 2016
Citations	12335	4178
h-index	59	35
i10-index	143	87

940

470

235

705

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202146 37 52 110 94 179 202 324 558 634 694 806 755 816 877 937 841 815 660 684 775 904 333

Public access

View all

48 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Ralf MöllerProfessor of Computer Science, University of LübeckVerified email at uni-luebeck.de
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Jean Christoph JungUniversity of HildesheimVerified email at uni-bremen.de
Meghyn BienvenuCNRS ResearcherVerified email at labri.fr
David TomanProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
Sebastian BrandtSchool of Computer Science, The University of ManchesterVerified email at cs.manchester.ac.uk
Volker HaarslevProfessor of Computer Science, Concordia University, Montreal, CanadaVerified email at cse.concordia.ca
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Birte GlimmProf. of Computer Science, University of UlmVerified email at uni-ulm.de
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Adila KrisnadhiUniversitas IndonesiaVerified email at ui.ac.id
Balder ten CateSoftware Engineer, GoogleVerified email at google.com

Carsten Lutz

Professor of Computer Science, University of Bremen

Verified email at uni-bremen.de

Artificial Intelligence Logic in Computer Science Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Pushing the EL envelope F Baader, S Brandt, C Lutz IJCAI 5, 364-369, 2005	1344	2005
OWL 2 Web Ontology Language: Profiles B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C recommendation 27, 61, 2009	587	2009
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	334	2017
Pushing the EL Envelope Further F Baader, S Brandt, C Lutz	322	2008
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	316	2004
Conjunctive query answering for the description logic SHIQ B Glimm, I Horrocks, C Lutz, U Sattler Journal of Artificial Intelligence Research 31, 157-204, 2008	307	2008
Did I damage my ontology? A Case for Conservative Extensions in Description Logics S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006	269	2006
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	260	2008
CEL — A Polynomial-Time Reasoner for Life Science Ontologies F Baader, C Lutz, B Suntisrivaraporn International Joint Conference on Automated Reasoning, 287-291, 2006	254	2006
Conjunctive query answering in the description logic EL using a relational database system C Lutz, D Toman, F Wolter Twenty-first international joint conference on artificial intelligence, 2009	253	2009
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007	237	2007
Description logics with concrete domains-a survey C Lutz	230	2003
Integrating Description Logics and Action Formalisms: First Results. F Baader, C Lutz, M Milicic, U Sattler, F Wolter AAAI 5, 572-577, 2005	217	2005
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP M Bienvenu, BT Cate, C Lutz, F Wolter ACM Transactions on Database Systems (TODS) 39 (4), 1-44, 2014	197	2014
The combined approach to query answering in DL-Lite R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev Twelfth International Conference on the Principles of Knowledge …, 2010	187	2010
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev Twenty-second international joint conference on artificial intelligence, 2011	164	2011
Complexity and succinctness of public announcement logic C Lutz Proceedings of the fifth international joint conference on Autonomous agents …, 2006	160	2006
Updating Description Logic ABoxes. H Liu, C Lutz, M Milicic, F Wolter KR 6, 46-56, 2006	154	2006
Deciding inseparability and conservative extensions in the description logic EL C Lutz, F Wolter Journal of Symbolic Computation 45 (2), 194-228, 2010	147	2010
The complexity of conjunctive query answering in expressive description logics C Lutz International Joint Conference on Automated Reasoning, 179-193, 2008	147	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors