Mantas Šimkus

Cited by

	All	Since 2020
Citations	2220	995
h-index	26	17
i10-index	46	32

280

140

210

20082009201020112012201320142015201620172018201920202021202220232024202525 25 55 36 76 97 171 165 181 108 135 130 224 116 167 181 277 26

Public access

View all

82 articles

2 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 unibz.it
Shqiponja AhmetajProject Assistant, TU WienVerified email at dbai.tuwien.ac.at
Meghyn BienvenuCNRS ResearcherVerified email at labri.fr
Guohui XiaoProfessor of Computer Science, Southeast University, ChinaVerified email at seu.edu.cn
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
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Sebastian SkritekTU WienVerified email at dbai.tuwien.ac.at
Emanuel SallingerTU WienVerified email at dbai.tuwien.ac.at
Federica Di StefanoPhD student, TU WienVerified email at tuwien.ac.at

Mantas Šimkus

Institute of Logic and Computation, TU Wien, Austria

Verified email at dbai.tuwien.ac.at - Homepage

Artificial Intelligence 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	196	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	148	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	117	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	88	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	72	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	60	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	53	2014
Answer set programming P Bonatti, F Calimeri, N Leone, F Ricca A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010	53	2010
Ontologies and data management: a brief survey T Schneider, M Šimkus KI-Künstliche Intelligenz 34 (3), 329-353, 2020	52	2020
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
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	44	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	43	2012

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