Login / Signup
Computable decision making on the reals and other spaces: via partiality and nondeterminism.
Benjamin Sherman
Luke Sciarappa
Adam Chlipala
Michael Carbin
Published in:
LICS (2018)
Keyphrases
</>
decision making
decision makers
decision support
fuzzy logic
data mining
supply chain
decision support system
situation calculus
multi criteria
constraint databases
htn planning
database
machine learning
artificial intelligence
reinforcement learning
knowledge management