Logic for Fun: An Online Tool for Logical Modelling.

Published in: FLAP (2017)

Keyphrases

online learning
logical framework
probabilistic logic
logical operations
real time
logical rules
neural network
truth values
logical representation
information systems
online communities
software tools
automated reasoning