Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading.
Arve GengelbachTjark WeberPublished in: ICTAC (2020)
Keyphrases
- proof theoretic
- linear logic
- proof theory
- nonmonotonic reasoning
- model theoretic
- default reasoning
- constraint logic programming
- fixpoint
- natural deduction
- theorem prover
- cut elimination
- deductive databases
- artificial intelligence
- finite state machines
- constraint solving
- logic programs
- hidden markov models
- knowledge base