There is No Recursive Axiomatization for Feasible Functionals of Type~2

Published in: LICS (1992)

Keyphrases

special case
higher order
artificial intelligence
situation calculus
data mining
expert systems
probabilistic model
linear programming
feasible solution