Mantas Šimkus

Cited by

	All	Since 2019
Citations	2142	1047
h-index	26	19
i10-index	44	31

240

120

180

2008200920102011201220132014201520162017201820192020202120222023202425 25 53 36 76 97 173 165 181 108 135 129 221 119 163 186 226

Public access

View all

83 articles

1 article

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 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 Dresden and ScaDS.AIVerified email at tu-dresden.de
Georg GottlobProfessor of Informatics, University of CalabriaVerified email at unical.it
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
Sanja LukumbuzyaVienna University of TechnologyVerified email at kr.tuwien.ac.at
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
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Emanuel SallingerTU WienVerified email at dbai.tuwien.ac.at
Federica Di StefanoPhD student, TU WienVerified email at tuwien.ac.at

Mantas Šimkus

TU Wien, Austria

Verified email at dbai.tuwien.ac.at - 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	194	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	122	2023
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	116	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	104	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	87	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	84	2008
Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012	72	2012
Query Answering in Description Logics with Transitive Roles. T Eiter, C Lutz, M Ortiz, M Simkus IJCAI 9, 759-764, 2009	71	2009
Closed predicates in description logics: Results on combined complexity N Ngo, M Ortiz, M Simkus Fifteenth International Conference on the Principles of Knowledge …, 2016	58	2016
Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI 13, 768-774, 2013	57	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	54	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	52	2014
Answer set programming P Bonatti, F Calimeri, N Leone, F Ricca A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010	51	2010
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
: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols M Šimkus, T Eiter International Conference on Logic for Programming Artificial Intelligence …, 2007	49	2007
Ontologies and data management: a brief survey T Schneider, M Šimkus KI-Künstliche Intelligenz 34 (3), 329-353, 2020	45	2020
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	44	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	42	2012
Stable model semantics for recursive SHACL M Andresel, J Corman, M Ortiz, JL Reutter, O Savkovic, M Simkus Proceedings of The Web Conference 2020, 1570-1580, 2020	39	2020

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