Mantas Šimkus

Cytowane przez

	Wszystkie	Od 2020
Cytowania	2220	995
h-indeks	26	17
i10-indeks	46	32

280

140

210

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

Dostęp publiczny

Wyświetl wszystko

82 artykuły

2 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Magdalena OrtizVienna University of Technology (TU Wien)Zweryfikowany adres z kr.tuwien.ac.at
Thomas EiterVienna University of Technology (TU Wien)Zweryfikowany adres z kr.tuwien.ac.at
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Zweryfikowany adres z unibz.it
Shqiponja AhmetajProject Assistant, TU WienZweryfikowany adres z dbai.tuwien.ac.at
Meghyn BienvenuCNRS ResearcherZweryfikowany adres z labri.fr
Guohui XiaoProfessor of Computer Science, Southeast University, ChinaZweryfikowany adres z seu.edu.cn
Sebastian RudolphTechnische Universität Dresden and ScaDS.AIZweryfikowany adres z tu-dresden.de
Georg GottlobProfessor of Informatics, University of CalabriaZweryfikowany adres z unical.it
Wolfgang FischlProject assistant, Vienna University of TechnologyZweryfikowany adres z dbai.tuwien.ac.at
Reinhard PichlerTU WienZweryfikowany adres z dbai.tuwien.ac.at
Trung-Kien TranLead Scientist at Bosch Center for AI (BCAI)Zweryfikowany adres z de.bosch.com
Carsten LutzProfessor of Computer Science, University of LeipzigZweryfikowany adres z informatik.uni-leipzig.de
Sanja LukumbuzyaVienna University of TechnologyZweryfikowany adres z kr.tuwien.ac.at
Tomer KotekTU WienZweryfikowany adres z forsyte.at
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienZweryfikowany adres z forsyte.tuwien.ac.at
Florian ZulegerAssociate Professor, TU WienZweryfikowany adres z forsyte.tuwien.ac.at
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyZweryfikowany adres z uni-bremen.de
Sebastian SkritekTU WienZweryfikowany adres z dbai.tuwien.ac.at
Emanuel SallingerTU WienZweryfikowany adres z dbai.tuwien.ac.at
Federica Di StefanoPhD student, TU WienZweryfikowany adres z tuwien.ac.at

Obserwuj

Mantas Šimkus

Institute of Logic and Computation, TU Wien, Austria

Zweryfikowany adres z dbai.tuwien.ac.at - Strona główna

Artificial Intelligence Computer Science


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy