Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars.
Bahareh AfshariStefan HetzlGraham Emil LeighPublished in: TLCA (2015)
Keyphrases
- context free
- tree grammars
- cut elimination
- sequent calculus
- linear logic
- logic programming
- logic programs
- context sensitive
- wide class
- context dependent
- inference rules
- grammatical inference
- first order logic
- natural deduction
- finite state
- sufficient conditions
- context free grammars
- inductive inference
- modal logic
- markov chain
- reinforcement learning
- parse tree
- logical framework
- state space
- machine learning
- knowledge representation
- query processing
- inductive logic programming