Logic-Induced Bisimulations.

Jim de Groot Helle Hvid Hansen Alexander Kurz

Published in: AiML (2020)

Keyphrases

logic programming
modal logic
automated reasoning
multi valued
neural network
image processing
probability theory
abductive reasoning
delay insensitive
database
real time
machine learning
nonmonotonic logics
dynamic logic