Automata Terms in a Lazy WSkS Decision Procedure.

Vojtech Havlena Lukás Holík Ondrej Lengál Tomás Vojnar

Published in: CADE (2019)

Keyphrases

decision making
decision problems
neural network
decision makers
co occurrence
text categorization
cellular automata
background knowledge
decision rules
influence diagrams