Logic for Computational Effects: Work in Progress.

Gordon D. Plotkin John Power

Published in: IWFM (2003)

Keyphrases

logic programming
predicate logic
computational power
multi valued
cutting plane
machine learning
learning algorithm
multiscale
objective function
mathematical programming
computational properties
ctl model update