Lecture Notes on Monadic First- and Second-Order Logic on Strings.
Dino MandrioliDavide MartinenghiAngelo MorzentiMatteo PradellaMatteo RossiPublished in: CoRR (2023)
Keyphrases
- lecture notes
- computer science
- revised selected papers
- revised papers
- lecture notes in artificial intelligence
- international symposium
- logic programming
- deductive databases
- invited paper
- advanced technology
- artificial intelligence
- summer school
- higher order
- classical logic
- machine learning for multimodal interaction
- datalog queries
- multi valued
- string matching
- modal logic
- edit distance
- image computing and computer assisted intervention
- advances in information retrieval
- advances in artificial intelligence
- ambient intelligence
- human computer interaction
- context aware