String Theories involving Regular Membership Predicates: From Practice to Theory and Back.
Murphy BerzishJoel D. DayVijay GaneshMitja KulczynskiFlorin ManeaFederico MoraDirk NowotkaPublished in: CoRR (2021)
Keyphrases
- theoretical framework
- general theory
- theoretical frameworks
- mathematical models
- human cognition
- formal models
- propositional theories
- computational models
- theoretical perspectives
- cognitive psychology
- causal reasoning
- imprecise probabilities
- data sets
- theoretical insights
- action theories
- design theory
- decision theory
- theoretical basis
- theoretical foundation
- pattern matching
- machine learning