Mantas Šimkus

Cited by

	All	Since 2018
Citations	1740	784
h-index	24	17
i10-index	37	25

220

110

165

200820092010201120122013201420152016201720182019202020212022202323 27 51 38 76 98 172 169 180 105 139 125 219 120 171 10

Public access

View all

74 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, 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
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Trung-Kien TranBosch Center for AI (BCAI)Verified email at de.bosch.com
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
Labinot BajraktariVienna University of TechnologyVerified email at kr.tuwien.ac.at
Sanja LukumbuzyaVienna 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 Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012	176	2012
Query answering in the Horn fragments of the description logics SHOIQ and SROIQ M Ortiz, S Rudolph, M Simkus Twenty-Second International Joint Conference on Artificial Intelligence, 2011	112	2011
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. M Ortiz, S Rudolph, M Simkus KR, 2010	96	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	82	2013
Query Answering in the Description Logic Horn- T Eiter, G Gottlob, M Ortiz, M Šimkus Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008	79	2008
Query Answering in Description Logics with Transitive Roles. T Eiter, C Lutz, M Ortiz, M Simkus IJCAI 9, 759-764, 2009	69	2009
Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012	57	2012
Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI 13, 768-774, 2013	55	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	48	2014
FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols M Šimkus, T Eiter Logic for Programming, Artificial Intelligence, and Reasoning, 514-530, 2007	48	2007
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols T Eiter, M Šimkus ACM Transactions on Computational Logic (TOCL) 11 (2), 1-50, 2010	47	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	46	2016
Answer set programming P Bonatti, F Calimeri, N Leone, F Ricca A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010	46	2010
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	44	2014
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
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	39	2012
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. S Ahmetaj, M Ortiz, M Simkus IJCAI, 878-885, 2016	37	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	31	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