SMAT: String Matching in Action Theory.

Xing Tan Jingwei Huang Yilan Gu

Published in: WI/IAT (2022)

Keyphrases

string matching
action theories
situation calculus
pattern matching
initial state
reasoning about actions
incomplete information
edit distance
approximate string matching
regular expressions
approximate matching
suffix tree
multi dimensional
databases
optimal policy
knn
data model
data structure
database