Learning Interpretable Temporal Properties from Positive Examples Only.
Rajarshi RoyJean-Raphaël GaglioneNasim BaharisangariDaniel NeiderZhe XuUfuk TopcuPublished in: CoRR (2022)
Keyphrases
- positive examples
- negative examples
- positive and negative
- background knowledge
- temporal properties
- learning process
- training set
- active learning
- supervised learning
- training examples
- positive and negative examples
- domain knowledge
- unsupervised learning
- prior knowledge
- reinforcement learning
- semi supervised learning
- learning from positive data
- inductive inference
- learning problems
- decision trees
- natural language
- training data