Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules.
Vladimir V. RybakovPublished in: KES (3) (2010)
Keyphrases
- inference rules
- temporal logic
- chance discovery
- modal logic
- model checking
- data visualization
- risk management
- theorem proving
- satisfiability problem
- logical framework
- theorem prover
- first order logic
- verification method
- data mining
- linear temporal logic
- situation calculus
- epistemic logic
- grounded theory
- belief revision
- machine learning
- natural deduction
- management system