An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
Davide BresolinAngelo MontanariGuido SciaviccoPublished in: J. Autom. Reason. (2007)
Keyphrases
- proof procedure
- sound and complete axiomatization
- multi valued
- decision making
- propositional logic
- optimal solution
- dynamic programming
- decision makers
- logic programming
- boolean functions
- probabilistic logic
- computational properties
- decision problems
- automated reasoning
- multi agent systems
- horn clauses
- predicate calculus
- general logic programs
- neural network