×

Found 25 Documents (Results 1–25)

Recursive rules with aggregation: a simple unified semantics. (English) Zbl 07551717

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 156-179 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Rewriting guarded existential rules into small Datalog programs. (English) Zbl 1489.68066

Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 98, Article 4, 24 p. (2018).
MSC:  68P15 03B70
PDFBibTeX XMLCite
Full Text: DOI

Logic, languages, and rules for web data extraction and reasoning over data. (English) Zbl 1485.68088

Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 27-47 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Containment of monadic Datalog programs via bounded clique-width. (English) Zbl 1440.68054

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 427-439 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of the Bernays-Schönfinkel class with Datalog. (English) Zbl 1307.03019

Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 187-201 (2010).
PDFBibTeX XMLCite
Full Text: DOI

A new proposal for debugging Datalog programs. (English) Zbl 1283.68123

Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 79-92 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Linear logical algorithms. (English) Zbl 1155.68349

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 336-347 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Directed \(st\)-connectivity is not expressible in symmetric Datalog. (English) Zbl 1155.68390

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 172-183 (2008).
PDFBibTeX XMLCite
Full Text: DOI

On Datalog vs. LFP. (English) Zbl 1155.68402

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 160-171 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Datalog and constraint satisfaction with infinite templates. (English) Zbl 1136.03314

Durand, Bruno (ed.) et al., STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23–25, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-32301-3/pbk). Lecture Notes in Computer Science 3884, 646-659 (2006).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software