Contraction-Elimination for Implicational Logics.
Ryo KashimaPublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- horn logic
- expressive power
- modal logic
- belief change
- inference rules
- propositional logic
- computational properties
- belief revision
- averaged one dependence estimators
- real time
- propositional dynamic logic
- elimination algorithm
- epistemic logic
- default logic
- higher order
- evolutionary algorithm
- bayesian networks
- genetic algorithm
- machine learning
- neural network