Formal Logic as a Learning Facilitation Tool

Alexei Tretiakov Nian-Shing Chen Kinshuk Sven Hartmann

Published in: ICALT (2005)

Keyphrases

formal logic
learning process
knowledge representation
learning systems
information retrieval
online learning
knowledge acquisition
incomplete information
problem based learning
predicate logic