BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics.
Rajeev GoréJimmy ThomsonPublished in: IJCAR (2012)
Keyphrases
- automated reasoning
- theorem prover
- first order logic
- inference rules
- proof theory
- decision procedures
- coalition logic
- logical framework
- reasoning tasks
- theorem proving
- classical logic
- interval valued
- propositional logic
- reasoning systems
- prime implicants
- valued logic
- default logic
- probabilistic reasoning
- linear logic
- modal logic
- propositional variables
- knowledge representation
- natural deduction
- linearly ordered
- logic programming
- binary decision diagrams
- propositional satisfiability
- knowledge representation and reasoning
- truth values
- multi valued
- probabilistic logic
- prime implicates
- logical implication
- artificial intelligence
- cut elimination
- abductive reasoning
- inductive logic programming
- data mining