„Monadic Datalog“

Suchergebnisse

9 Treffer

• Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk)
  Feier, Cristina ; Kuusisto, Antti ; Lutz, Carsten 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Symmetric Linear Arc Monadic Datalog and Gadget Reductions
  Bodirsky, Manuel ; Starke, Florian 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic
  Bodirsky, Manuel ; Knäuer, Simon ; Rudolph, Sebastian 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multioperator Weighted Monadic Datalog
  Stüber, Torsten ; Vogler, Heiko ; Fülöp, Zoltán 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Static analysis of monadic datalog on finite labeled trees
  Frochaux, André ; Schweikardt, Nicole ; Adler, Isolde ; Köbler, Johannes 2017 Mathematisch-Naturwissenschaftliche Fakultät
• On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators
  Artale, Alessandro ; Gnatenko, Anton ; Ryzhikov, Vladislav ; Zacharjaščev, Michail V. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
  Feller, Thomas ; Lyon, Timothy ; Ostropolski-Nalewaja, Piotr ; Rudolph, Sebastian 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multioperator weighted monadic datalog
  Stüber, Torsten
• Weighted monadic datalog tree transducers
  Geisler, Daniel ; Stüber, Torsten 2010 TU, Fak. Informatik