On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic.
Ashot BaghdasaryanHovhannes BolibekyanPublished in: J. Univers. Comput. Sci. (2021)
Keyphrases
- theorem prover
- first order logic
- automated reasoning
- term rewriting
- predicate calculus
- natural deduction
- computer algebra
- higher order logic
- automated theorem proving
- proof search
- theorem proving
- inference rules
- boolean algebra
- horn clauses
- set theory
- proof procedure
- propositional logic
- neural network
- general logic programs
- knowledge representation
- modal logic
- formal proof
- proof planning
- minimal models
- probabilistic reasoning
- mathematical knowledge
- linear temporal logic
- sequent calculus
- formal semantics
- reasoning tasks
- decision procedures
- logical formulas
- higher order
- logic programs
- computer algebra systems
- logical theories
- timed automata
- multi valued
- probabilistic logic