Mantas Šimkus

Cituota

	Visi	Nuo 2020
Šaltiniai	2233	1001
h-rodyklė	26	17
i10-rodyklė	46	31

280

140

210

20082009201020112012201320142015201620172018201920202021202220232024202525 26 55 39 77 98 169 167 179 107 135 135 220 119 166 180 279 32

Viešas pasiekiamumas

Peržiūrėti viską

81 straipsnis

2 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Magdalena OrtizVienna University of Technology (TU Wien)Patvirtintas el. paštas kr.tuwien.ac.at
Thomas EiterVienna University of Technology (TU Wien)Patvirtintas el. paštas kr.tuwien.ac.at
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Patvirtintas el. paštas unibz.it
Shqiponja AhmetajProject Assistant, TU WienPatvirtintas el. paštas dbai.tuwien.ac.at
Meghyn BienvenuCNRS ResearcherPatvirtintas el. paštas labri.fr
Guohui XiaoProfessor of Computer Science, Southeast University, ChinaPatvirtintas el. paštas seu.edu.cn
Sebastian RudolphTechnische Universität Dresden and ScaDS.AIPatvirtintas el. paštas tu-dresden.de
Georg GottlobProfessor of Informatics, University of CalabriaPatvirtintas el. paštas unical.it
Wolfgang FischlProject assistant, Vienna University of TechnologyPatvirtintas el. paštas dbai.tuwien.ac.at
Reinhard PichlerTU WienPatvirtintas el. paštas dbai.tuwien.ac.at
Trung-Kien TranLead Scientist at Bosch Center for AI (BCAI)Patvirtintas el. paštas de.bosch.com
Carsten LutzProfessor of Computer Science, University of LeipzigPatvirtintas el. paštas informatik.uni-leipzig.de
Sanja LukumbuzyaVienna University of TechnologyPatvirtintas el. paštas kr.tuwien.ac.at
Sebastian SkritekTU WienPatvirtintas el. paštas dbai.tuwien.ac.at
Tomer KotekTU WienPatvirtintas el. paštas forsyte.at
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienPatvirtintas el. paštas forsyte.tuwien.ac.at
Florian ZulegerAssociate Professor, TU WienPatvirtintas el. paštas forsyte.tuwien.ac.at
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyPatvirtintas el. paštas uni-bremen.de
Robert DavidVienna University of Economics and BusinessPatvirtintas el. paštas s.wu.ac.at
Federica Di StefanoPhD student, TU WienPatvirtintas el. paštas tuwien.ac.at

Stebėti

Mantas Šimkus

Institute of Logic and Computation, TU Wien, Austria

Patvirtintas el. paštas dbai.tuwien.ac.at - Pagrindinis puslapis

Artificial Intelligence Computer Science


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	198	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	153	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 KR, 2010	105	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
Query Answering in Description Logics with Transitive Roles. T Eiter, C Lutz, M Ortiz, M Simkus IJCAI 9, 759-764, 2009	72	2009
Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012	71	2012
Closed Predicates in Description Logics: Results on Combined Complexity. N Ngo, M Ortiz, M Simkus KR, 237-246, 2016	60	2016
Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI 13, 768-774, 2013	59	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	55	2014
Ontologies and data management: a brief survey T Schneider, M Šimkus KI-Künstliche Intelligenz 34 (3), 329-353, 2020	53	2020
Nested regular path queries in description logics M Bienvenu, D Calvanese, M Ortiz, M Simkus KR, 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	52	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	50	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	45	2017
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
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	44	2012
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	41	2014

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai