Heráclito: Learning Environment to Teach Logic.
Fabiane Flores Penteado GalafassiCristiano GalafassiJoão Carlos GluzRosa Maria VicariRafael Koch PeresPublished in: PAAMS (2017)
Keyphrases
- learning environment
- e learning
- children learn
- learning outcomes
- predicate logic
- exploratory learning
- logic programming
- learning activities
- modal logic
- automated reasoning
- classical logic
- learning process
- learning systems
- probability theory
- multi valued
- proof theory
- learning perl
- database
- asynchronous circuits
- deontic logic
- defeasible logic
- learning processes
- neural network