Mantas Šimkus

Cited by

	All	Since 2018
Citations	1839	883
h-index	25	19
i10-index	39	27

220

110

165

200820092010201120122013201420152016201720182019202020212022202323 25 54 35 77 97 173 170 180 106 139 128 220 122 175 98

Public access

View all

75 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
Emanuel SallingerUniversity of OxfordVerified email at cs.ox.ac.uk
Nhung NgoBosch Center for AIVerified email at de.bosch.com
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Labinot BajraktariVienna University of TechnologyVerified email at kr.tuwien.ac.at

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	180	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	113	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	98	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	85	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	70	2009
Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012	61	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	50	2014
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
Closed predicates in description logics: Results on combined complexity N Ngo, M Ortiz, M Simkus Fifteenth International Conference on the Principles of Knowledge …, 2016	48	2016
Answer set programming P Bonatti, F Calimeri, N Leone, F Ricca A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010	47	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	43	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	40	2012
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	32	2015
Towards Reconciling SPARQL and Certain Answers S Ahmetaj, W Fischl, R Pichler, M Simkus, S Skritek The 24th International World Wide Web Conference (WWW 2015), 2015	31	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