Separating Regular Languages with First-Order Logic.
Thomas PlaceMarc ZeitounPublished in: Log. Methods Comput. Sci. (2016)
Keyphrases
- first order logic
- regular languages
- grammatical inference
- regular expressions
- finite automata
- decision problems
- inference rules
- positive data
- context free grammars
- pac learning
- inductive logic programming
- representation language
- finite state machines
- horn clauses
- statistical queries
- context free
- pattern matching
- knowledge representation
- knowledge base
- utility function
- matching algorithm
- equivalence queries