Weighted monadic Datalog
type: Item
instance of: scholarly article
title: Weighted monadic Datalog
zbMATH Open document ID: 1155.68023
author: Torsten Stüber
author: Heiko Vogler
published in: Theoretical Computer Science
publication date: 2008-09-16T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5344348
zbMATH Keywords: semiring-based logic programming
zbMATH Keywords: monadic Datalog
zbMATH Keywords: unranked trees
zbMATH Keywords: weighted tree automata
describes a project that uses: Datalog
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.04.025
OpenAlex ID: W2075018493
cites work: Weighted grammars and Kleene's theorem
cites work: Recognizable formal power series on trees
cites work: Semiring-based constraint satisfaction and optimization
cites work: Soft constraint logic programming and generalized shortest path problems
cites work: Equational elements in additive algebras
cites work: Tree acceptors and some of their applications
cites work: Automata, Languages and Programming
cites work: Weighted automata and weighted logics
cites work: Handbook of weighted automata
cites work: Weighted tree automata and weighted logics
cites work: Q4079524
cites work: Q4449537
cites work: Weighted path queries on semistructured databases
cites work: Q4700998
cites work: Monadic datalog and the expressive power of languages for Web information extraction
cites work: Computer Science Logic
cites work: Q4229053
cites work: Q3704880
cites work: Cut and paste
cites work: Q4411812
cites work: Query automata over finite trees
cites work: Generalizations of regular sets and their application to a study of context-free languages
cites work: Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
DOI: 10.1016/J.TCS.2008.04.025
description: scientific article; zbMATH DE number 5344348