BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Simkus:Mantas

Contributed to:

LICS 20152015
IFM 20142014
KR 20142014
PODS 20142014
KR 20122012
KR 20102010
ICLP 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.