On Verified Automated Reasoning in Propositional Logic.
Simon Tobias LundJørgen VilladsenPublished in: ACIIDS (1) (2022)
Keyphrases
- propositional logic
- automated reasoning
- first order logic
- theorem proving
- theorem prover
- probabilistic reasoning
- knowledge representation
- belief revision
- prime implicants
- prime implicates
- propositional satisfiability
- reasoning tasks
- decision procedures
- quantified boolean formulae
- belief change
- propositional formulas
- lattice theory
- valued logic
- machine learning
- horn logic
- inference rules
- knowledge base
- artificial intelligence