Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks.
Taro SekiyamaKohei SuenagaPublished in: APLAS (2018)
Keyphrases
- propositional logic
- neural network
- minimal models
- proof procedure
- first order logic
- belief revision
- quantified boolean formulae
- possibilistic logic
- theorem prover
- fuzzy logic
- theorem proving
- propositional satisfiability
- propositional formulas
- lattice theory
- artificial intelligence
- satisfiability testing
- prime implicates
- davis putnam
- relational databases
- expert systems
- horn logic