A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata.
David M. CernaPublished in: CICM (2014)
Keyphrases
- proof procedure
- propositional logic
- functional dependencies
- theorem proving
- first order logic
- decision making
- decision makers
- predicate calculus
- decision process
- decision problems
- decision rules
- relational databases
- data sets
- search procedure
- input parameters
- strips planning
- model theoretic
- parameter adjustment
- decision processes
- automated reasoning
- influence diagrams
- inference rules
- parameter settings
- integrity constraints
- database systems