The Regular Languages of First-Order Logic with One Alternation.
Corentin BarloyMichaël CadilhacCharles PapermanThomas ZeumePublished in: CoRR (2022)
Keyphrases
- first order logic
- regular languages
- regular expressions
- grammatical inference
- finite automata
- decision problems
- context free grammars
- pac learning
- knowledge representation
- inference rules
- positive data
- inductive logic programming
- finite state machines
- representation language
- context free
- statistical queries
- horn clauses
- xml schema
- model checking
- expert systems
- np hard
- markov logic networks
- fixpoint
- reinforcement learning