Mantas Šimkus

Cited by

	All	Since 2018
Citations	1897	940
h-index	26	19
i10-index	40	27

220

110

165

200820092010201120122013201420152016201720182019202020212022202323 25 54 35 77 97 173 170 180 106 138 130 220 121 171 158

Public access

View all

79 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Magdalena OrtizVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Shqiponja AhmetajProject Assistant, TU WienVerified email at dbai.tuwien.ac.at
Meghyn BienvenuCNRS ResearcherVerified email at labri.fr
Guohui XiaoAssociate Professor of Computer Science, University of Bergen, NorwayVerified email at uib.no
Sebastian RudolphTechnische Universität DresdenVerified email at tu-dresden.de
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Wolfgang FischlProject assistant, Vienna University of TechnologyVerified email at dbai.tuwien.ac.at
Reinhard PichlerTU WienVerified email at dbai.tuwien.ac.at
Trung-Kien TranLead Scientist at Bosch Center for AI (BCAI)Verified email at de.bosch.com
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Tomer KotekTU WienVerified email at forsyte.at
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Sebastian SkritekTU WienVerified email at dbai.tuwien.ac.at
Sanja LukumbuzyaVienna University of TechnologyVerified email at kr.tuwien.ac.at
Emanuel SallingerTU WienVerified email at dbai.tuwien.ac.at
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Nhung NgoBosch Center for AIVerified email at de.bosch.com

Mantas Šimkus

Associate Professor, Umeå University, Sweden

Verified email at cs.umu.se - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Query rewriting for Horn-SHIQ plus rules T Eiter, M Ortiz, M Simkus, TK Tran, G Xiao Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 726-733, 2012	185	2012
Query answering in the Horn fragments of the description logics SHOIQ and SROIQ M Ortiz, S Rudolph, M Simkus IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011	114	2011
Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2 M Ortiz, S Rudolph, M Simkus Twelfth International Conference on the Principles of Knowledge …, 2010	99	2010
Reasoning about explanations for negative query answers in DL-Lite D Calvanese, M Ortiz, M Simkus, G Stefanoni Journal of Artificial Intelligence Research 48, 635-669, 2013	86	2013
Query answering in the description logic horn T Eiter, G Gottlob, M Ortiz, M Šimkus European Workshop on Logics in Artificial Intelligence, 166-179, 2008	81	2008
Query Answering in Description Logics with Transitive Roles. T Eiter, C Lutz, M Ortiz, M Simkus IJCAI 9, 759-764, 2009	71	2009
Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012	62	2012
Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI 13, 768-774, 2013	56	2013
Expressiveness of guarded existential rule languages G Gottlob, S Rudolph, M Simkus Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of …, 2014	51	2014
Nested regular path queries in description logics M Bienvenu, D Calvanese, M Ortiz, M Simkus Fourteenth International Conference on the Principles of Knowledge …, 2014	51	2014
Closed predicates in description logics: Results on combined complexity N Ngo, M Ortiz, M Simkus Fifteenth International Conference on the Principles of Knowledge …, 2016	50	2016
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols T Eiter, M Šimkus ACM Transactions on Computational Logic (TOCL) 11 (2), 1-50, 2010	50	2010
Answer set programming P Bonatti, F Calimeri, N Leone, F Ricca A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010	48	2010
: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols M Šimkus, T Eiter International Conference on Logic for Programming Artificial Intelligence …, 2007	47	2007
Managing change in graph-structured data using description logics S Ahmetaj, D Calvanese, M Ortiz, M Šimkus ACM Transactions on Computational Logic (TOCL) 18 (4), 1-35, 2017	44	2017
Capturing relational schemas and functional dependencies in RDFS D Calvanese, W Fischl, R Pichler, E Sallinger, M Simkus Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014	43	2014
Conjunctive query answering in the description logic SH using knots T Eiter, M Ortiz, M Šimkus Journal of Computer and System Sciences 78 (1), 47-85, 2012	41	2012
The biggest business process management problems to solve before we die I Beerepoot, C Di Ciccio, HA Reijers, S Rinderle-Ma, W Bandara, ... Computers in Industry 146, 103837, 2023	40	2023
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. S Ahmetaj, M Ortiz, M Simkus IJCAI, 878-885, 2016	36	2016
Regular path queries in lightweight description logics: Complexity and algorithms M Bienvenu, M Ortiz, M Simkus Journal of Artificial Intelligence Research 53, 315-374, 2015	35	2015

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

Cited by

Co-authors