Feasible Operations and Applicative Theories Based on lambda-eta.

Published in: Math. Log. Q. (2000)

Keyphrases

knowledge base
theoretical framework
fixed point
feasible solution
computer vision
decision making
bayesian networks
expert systems
relational databases
mobile robot
defeasible logic