A bisimulation characterization for interpretability logic.

Tin Perkov Mladen Vukovic

Published in: Log. J. IGPL (2014)

Keyphrases

classical logic
neural network
modal logic
database
data mining
logic programming
prediction accuracy
multi valued
computational properties
real time
learning algorithm
social networks
knowledge base
probabilistic logic
predicate logic
abductive reasoning