The following pages link to (Q3077193):
Displaying 11 items.
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Weighted automata with discounting (Q963467) (← links)
- Positive tree representations and applications to tree automata (Q1383144) (← links)
- Weighted automata (Q2074206) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- A Kleene theorem for weighted tree automata over tree valuation monoids (Q2280327) (← links)
- A link between multioperator and tree valuation automata and logics (Q2355687) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984) (← links)