Separating regular languages with first-order logic.
Thomas PlaceMarc ZeitounPublished in: CSL-LICS (2014)
Keyphrases
- first order logic
- regular languages
- regular expressions
- grammatical inference
- finite automata
- decision problems
- context free grammars
- inference rules
- knowledge representation
- positive data
- pac learning
- inductive logic programming
- representation language
- pattern matching
- horn clauses
- finite state machines
- machine learning
- xml schema
- query language
- inductive inference
- statistical queries