Login / Signup
Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example.
Oleg Sychev
Nikita Penskoy
Grigory Terekhov
Published in:
CSEDU (1) (2022)
Keyphrases
</>
artificial intelligence
real time
data sets
knowledge base
website
natural language
relevance feedback
facial expressions
description logics
software development
knowledge acquisition
test cases
software architecture
intelligent tutoring systems
automated reasoning