BDD-based automated reasoning in propositional non-classical logics: progress report.
Rajeev GoréJimmy ThomsonPublished in: PAAR@IJCAR (2012)
Keyphrases
- automated reasoning
- theorem proving
- first order logic
- theorem prover
- prime implicants
- reasoning systems
- propositional logic
- probabilistic reasoning
- knowledge representation
- decision procedures
- reasoning tasks
- classical logic
- default logic
- knowledge representation and reasoning
- heuristic search algorithms
- inference rules
- neural network
- propositional satisfiability
- probabilistic logic
- binary decision diagrams
- programming language
- general purpose
- natural language
- search algorithm
- artificial intelligence