×

Found 12 Documents (Results 1–12)

Representing multi-scale Datalog\(+/-\) using hierarchical graphs. (English) Zbl 1398.68512

Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 59-71 (2016).
MSC:  68T30 68T35
PDFBibTeX XMLCite
Full Text: DOI Link

Ontology-mediated query answering with data-tractable description logics. (English) Zbl 1358.68086

Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 218-307 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Recent advances in Datalog\(^\pm \). (English) Zbl 1358.68054

Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 193-217 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software