Boolean-Valued Semantics for the Stochastic λ-Calculus.

Giorgio Bacci Robert Furber Dexter Kozen Radu Mardare Prakash Panangaden Dana S. Scott

Published in: LICS (2018)

Keyphrases

valued semantics
default logic
consistent query answering
artificial intelligence
database
databases
machine learning
query processing
special case
knowledge representation
logical implication