Pages that link to "Item:Q3637211"

The following pages link to Weighted versus Probabilistic Logics (Q3637211):

Displaying 28 items.

• A computationally grounded, weighted doxastic logic (Q310087) (← links)
• Multi-weighted automata and MSO logic (Q504993) (← links)
• Weighted automata and logics for infinite nested words (Q515684) (← links)
• Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
• Model checking computation tree logic over finite lattices (Q896917) (← links)
• Weighted positive binary decision diagrams for exact probabilistic inference (Q1678452) (← links)
• Weighted register automata and weighted logic on data words (Q1786559) (← links)
• A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
• Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
• Weighted operator precedence languages (Q2064530) (← links)
• Weighted automata (Q2074206) (← links)
• A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
• Advances in weighted logics for artificial intelligence (Q2411276) (← links)
• A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
• Adding pebbles to weighted automata: easy specification \& efficient evaluation (Q2447753) (← links)
• A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
• Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
• Models for quantitative distributed systems and multi-valued logics (Q2855751) (← links)
• Probabilistic comparison of weighted majority rules (Q2880811) (← links)
• Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
• Logics for Weighted Timed Pushdown Automata (Q2947171) (← links)
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
• Weighted Register Automata and Weighted Logic on Data Words (Q3179411) (← links)
• (Q4558788) (← links)
• (Q5092440) (← links)
• Weighted Operator Precedence Languages (Q5111245) (← links)
• Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)
• A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions (Q5876063) (← links)