A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.
Davide BresolinAngelo MontanariPublished in: TABLEAUX (2005)
Keyphrases
- proof procedure
- theorem proving
- propositional logic
- first order logic
- predicate calculus
- decision making
- proof search
- model theoretic
- sound and complete axiomatization
- tableau calculus
- propositional satisfiability
- automated reasoning
- decision makers
- decision problems
- description logics
- search procedure
- belief revision
- horn clauses
- deductive databases
- decision rules
- probabilistic logic
- operational semantics
- decision process
- theorem prover
- satisfiability testing