Diagrammatic Reasoning for ALC Visualization with Logic Graphs.

Ildar Baimuratov

Published in: WWW (2024)

Keyphrases

diagrammatic reasoning
structural analysis
description logics
symbolic reasoning
modal logic
cognitive processes
description logic alc
graph layout
data analysis
classical logic
fuzzy description logics
logic programming
nonmonotonic logics
autoepistemic logic
logical formulas
data sets
fuzzy logic
decision making