Automated Reasoning for the Dialetheic Logic RM3.
Geoff SutcliffeFrancis Jeffry PelletierAllen P. HazenPublished in: FLAIRS Conference (2017)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- proof theory
- reasoning tasks
- theorem prover
- probabilistic reasoning
- automated verification
- decision procedures
- knowledge representation and reasoning
- logical implication
- propositional satisfiability
- artificial neural networks
- deductive databases
- logic programming
- general purpose
- machine learning
- neural network