Login / Signup
The General Universal Property of the Propositional Truncation.
Nicolai Kraus
Published in:
TYPES (2014)
Keyphrases
</>
special case
first order logic
data sets
image sequences
closely related
propositional logic
e learning
decision trees
case study
reinforcement learning
multi agent
video sequences
knowledge representation
default logic
sequence prediction