The Usability of Using Educational Game for Teaching Foundational Concept in Propositional Logic.
Daniel ArandaAlden TowlerRamyaa RamyaaRita KuoPublished in: ICALT (2021)
Keyphrases
- propositional logic
- educational games
- thinking skills
- teachable agent
- user interface design
- belief revision
- first order logic
- possibilistic logic
- video games
- educational tools
- children learn
- game design
- user centered
- quantified boolean formulae
- game based learning
- lattice theory
- learning tools
- satisfiability testing
- computer games
- design guidelines
- online game
- foreign language
- distance learning
- learning environment
- game play
- high school
- propositional satisfiability
- learning experience
- higher education
- learning process
- user interface
- e learning
- horn logic