Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners.
Zhe XuYuxin ChenUfuk TopcuPublished in: AAAI (2021)
Keyphrases
- temporal logic
- learning environment
- model checking
- e learning
- learning process
- modal logic
- learning systems
- satisfiability problem
- thinking skills
- concurrent systems
- computer based learning
- linear temporal logic
- modal operators
- linear time temporal logic
- verification method
- temporal knowledge
- computation tree logic
- learning community
- learning experience
- teaching materials
- secondary school
- learning materials
- language learning
- learning styles
- predicate logic
- distance learning
- mazurkiewicz traces
- belief revision
- formal specification language
- dynamic constraints
- learning activities
- collaborative learning
- logical formulas
- online learning
- higher education
- inference rules