Max and Sum Semantics for Alternating Weighted Automata.
Shaull AlmagorOrna KupfermanPublished in: ATVA (2011)
Keyphrases
- weighted sum
- cellular automata
- objective function
- logic programming
- regular expressions
- formal semantics
- operational semantics
- finite automata
- databases
- owl ontologies
- completion times
- conceptual graphs
- binary valued
- formal languages
- absolute difference
- finite state automata
- tree automata
- finite state machines
- weighted graph
- np hard
- database systems