Logic Training through Algorithmic Problem Solving.
João F. FerreiraAlexandra MendesAlcino CunhaCarlos BaqueroPaulo F. SilvaLuís Soares BarbosaJosé Nuno OliveiraPublished in: TICTTL (2011)
Keyphrases
- training set
- skill acquisition
- artificial intelligence
- supervised learning
- knowledge acquisition
- logic programming
- machine learning
- proof theory
- solving problems
- training algorithm
- modal logic
- information processing
- training samples
- training examples
- training process
- knowledge structures
- training phase
- automated reasoning
- multi valued
- computational properties
- analogical reasoning
- predicate logic
- case study
- neural network