Inductive Inference and Epistemic Modal Logic (Invited Talk).
Nina GierasimczukPublished in: CSL (2023)
Keyphrases
- invited talk
- inductive inference
- modal logic
- epistemic logic
- modal operators
- kripke models
- recursive functions
- temporal logic
- grammatical inference
- inference rules
- kolmogorov complexity
- intrinsic complexity
- selected papers
- knowledge discovery and data mining
- default logic
- classical logic
- conditional logic
- hypothesis spaces
- transductive inference
- nonmonotonic logics
- dynamic logic
- situation calculus
- prime implicates
- case based learning
- learning from positive data
- pattern languages
- explanation based generalization
- algebraic structures
- artificial intelligence
- database design
- fuzzy logic
- information technology