Chance Discovery and Unification in Linear Modal Logic.
Vladimir V. RybakovPublished in: KES (2) (2011)
Keyphrases
- modal logic
- chance discovery
- temporal logic
- data visualization
- inference rules
- risk management
- human decision making
- solar cell
- epistemic logic
- conditional logic
- situation calculus
- classical logic
- dynamic logic
- nonmonotonic logics
- default logic
- database systems
- autoepistemic logic
- higher order
- knowledge discovery
- prime implicates
- multi agent systems
- real world
- explanation based generalization
- machine learning
- information systems
- decision support system
- grounded theory
- open source