Structural completeness in propositional logics of dependence.
Rosalie IemhoffFan YangPublished in: Arch. Math. Log. (2016)
Keyphrases
- default logic
- propositional logic
- first order logic
- expressive power
- linearly ordered
- coalition logic
- structural information
- classical first order logic
- inference rules
- strips planning
- autoepistemic logic
- modal logic
- classical logic
- propositional variables
- order sorted
- database
- model theoretic
- probabilistic reasoning
- logic programming
- decision trees
- neural network