Travelled to:1 × Austria
1 × Canada
1 × Japan
2 × Italy
2 × USA
Collaborated with:M.Ortiz D.Calvanese S.Rudolph ∅ T.Kotek H.Veith F.Zuleger G.Gottlob M.Bienvenu G.Stefanoni
Talks about:logic (3) descript (2) queri (2) existenti (1) structur (1) perspect (1) fragment (1) theoret (1) regular (1) program (1)
Person: Mantas Simkus
DBLP: Simkus:Mantas
Contributed to:
2015
2014
2014
201420122010
2009Wrote 7 papers:
- LICS-2015-KotekSVZ
- Extending ALCQIO with Trees (TK, MS, HV, FZ), pp. 511–522.
- IFM-2014-CalvaneseKSVZ #analysis #data type
- Shape and Content — A Database-Theoretic Perspective on the Analysis of Data Structures (DC, TK, MS, HV, FZ), pp. 3–17.
- KR-2014-BienvenuCOS #logic #query
- Nested Regular Path Queries in Description Logics (MB, DC, MO, MS).
- PODS-2014-GottlobRS
- Expressiveness of guarded existential rule languages (GG, SR, MS), pp. 27–38.
- KR-2012-CalvaneseOSS #complexity #query
- The Complexity of Explaining Negative Query Answers in DL-Lite (DC, MO, MS, GS).
- KR-2010-OrtizRS #owl #reasoning #worst-case
- Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 (MO, SR, MS).
- ICLP-2009-Simkus #logic #logic programming
- Fusion of Logic Programming and Description Logics (MS), pp. 551–552.