Mantas Šimkus

Citeras av

	Alla	Sedan 2017
Citat	1582	747
h-index	23	16
i10-index	36	24

220

110

165

20082009201020112012201320142015201620172018201920202021202223 24 54 34 76 98 168 166 175 104 131 126 216 125 45

Offentlig åtkomst

Visa alla

70 artiklar

1 artikel

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Magdalena OrtizVienna University of Technology (TU Wien)Verifierad e-postadress på kr.tuwien.ac.at
Thomas EiterVienna University of Technology (TU Wien)Verifierad e-postadress på kr.tuwien.ac.at
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verifierad e-postadress på inf.unibz.it
Shqiponja AhmetajProject Assistant, TU WienVerifierad e-postadress på dbai.tuwien.ac.at
Meghyn BienvenuCNRS ResearcherVerifierad e-postadress på labri.fr
Guohui XiaoAssociate Professor, University of Bergen, NorwayVerifierad e-postadress på uib.no
Sebastian RudolphTechnische Universität DresdenVerifierad e-postadress på tu-dresden.de
Georg GottlobProfessor of Informatics, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigVerifierad e-postadress på informatik.uni-leipzig.de
Wolfgang FischlProject assistant, Vienna University of TechnologyVerifierad e-postadress på dbai.tuwien.ac.at
Reinhard PichlerTU WienVerifierad e-postadress på dbai.tuwien.ac.at
Trung-Kien TranBosch Center for AI (BCAI)Verifierad e-postadress på de.bosch.com
Tomer KotekTU WienVerifierad e-postadress på forsyte.at
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
Florian ZulegerAssociate Professor, TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
Sebastian SkritekTU WienVerifierad e-postadress på dbai.tuwien.ac.at
Labinot BajraktariVienna University of TechnologyVerifierad e-postadress på kr.tuwien.ac.at
Nhung NgoBosch Center for AIVerifierad e-postadress på de.bosch.com
Emanuel SallingerUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
Andreas PierisUniversity of Edinburgh & University of CyprusVerifierad e-postadress på inf.ed.ac.uk

Följ

Mantas Šimkus

Vienna University of Technology

Verifierad e-postadress på dbai.tuwien.ac.at - Startsida

Computer Science


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	170	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	105	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	88	2010
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	77	2008
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	73	2013
Query answering in description logics with transitive roles T Eiter, C Lutz, M Ortiz, M Simkus Twenty-First International Joint Conference on Artificial Intelligence, 2009	67	2009
Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web International Summer School, 1-53, 2012	52	2012
: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols M Šimkus, T Eiter International Conference on Logic for Programming Artificial Intelligence …, 2007	48	2007
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	46	2010
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	44	2014
Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI, 768-774, 2013	44	2013
Answer set programming P Bonatti, F Calimeri, N Leone, F Ricca A 25-year perspective on logic programming, 159-182, 2010	43	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	42	2016
Nested regular path queries in description logics M Bienvenu, D Calvanese, M Ortiz, M Simkus Fourteenth International Conference on the Principles of Knowledge …, 2014	42	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	39	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	38	2012
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. S Ahmetaj, M Ortiz, M Simkus IJCAI, 878-885, 2016	35	2016
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	34	2014
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	33	2015

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ den här författaren

Citeras av

Medförfattare