Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
Henning BasoldEkaterina KomendantskayaYue LiPublished in: CoRR (2018)
Keyphrases
- horn clauses
- proof search
- inference rules
- first order logic
- theorem proving
- theorem prover
- sequent calculus
- artificial intelligence
- modal logic
- proof procedure
- fixpoint
- linear logic
- logical framework
- logic programs
- inductive logic programming
- automated reasoning
- natural deduction
- propositional logic
- database queries
- logic programming
- search procedure
- temporal logic
- wordnet
- scheduling problem
- knowledge representation