Login / Signup
Unprovability of the Logical Characterization of Bisimulation
Pedro Sánchez Terraf
Published in:
CoRR (2010)
Keyphrases
</>
probabilistic logic
computer vision
feature selection
decision making
reinforcement learning
digital libraries
truth values
logical operations
logical rules
axiomatic characterization