Work in progress - Developing a cognitively based digital logic calculator.

Joseph Handzik Geoffrey L. Herman

Published in: FIE (2011)

Keyphrases

modal logic
digital media
logic programming
automated reasoning
classical logic
information retrieval
learning algorithm
artificial intelligence
expressive power
probabilistic logic
computational properties
predicate logic