A Web-Based Interactive System for Learning NL to FOL Conversion.

Ioannis Hatzilygeroudis Isidoros Perikos

Published in: KES IIMSS (2009)

Keyphrases

learning systems
learning process
online learning
prior knowledge
knowledge acquisition
learning platform
natural language
learning community
web based learning environment
data sets
multimedia
mobile robot
mobile learning
first order logic
learning problems
theorem proving