Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator.
Antti ValmariPublished in: CSEDU (2) (2021)
Keyphrases
- reasoning systems
- knowledge base
- management system
- lightweight
- knowledge representation systems
- reason maintenance
- information retrieval
- distributed systems
- computer systems
- diagnostic systems
- complex systems
- human operators
- building blocks
- legal cases
- case retrieval
- numerical solution
- linear systems
- neural network
- knowledge based systems
- information systems
- machine learning