Decomposing Analogy: A Logic Characterization.

Mena Leemhuis Diedrich Wolter Özgür L. Özçep

Published in: FoIKS (2024)

Keyphrases

modal logic
logic programming
classical logic
analogical reasoning
proof theory
automated reasoning
multi valued
nonmonotonic logics
linear temporal logic
neural network
epistemic logic
set theory
probabilistic logic
programming language
natural language
database systems
data mining