The Regular Languages of First-Order Logic with One Alternation.
Corentin BarloyMichaël CadilhacCharles PapermanThomas ZeumePublished in: LICS (2022)
Keyphrases
- first order logic
- regular languages
- regular expressions
- grammatical inference
- finite automata
- decision problems
- inference rules
- context free grammars
- inductive logic programming
- positive data
- pac learning
- knowledge representation
- representation language
- finite state machines
- horn clauses
- markov logic networks
- artificial intelligence
- databases
- context free
- fixpoint
- utility function
- expert systems
- statistical queries
- pattern matching
- equivalence queries
- machine learning