Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Extended Abstract.

Jonas Betzendahl

Published in: CICM Workshops (2021)

Keyphrases

extended abstract
multiple representations
qualitative reasoning
formal models
logical reasoning
neural network
knowledge base
database systems
expert systems
end users
knowledge representation
meta level
reasoning tasks