Carnap: An Open Framework for Formal Reasoning in the Browser.

Graham Leach-Krouse

Published in: ThEdu@CADE (2017)

Keyphrases

meta level
main contribution
reasoning engine
artificial intelligence
lightweight
web browser
logical framework
reasoning systems
abductive reasoning
taxonomic reasoning