A Functional Approach to Non-Monotonic Logic.

Published in: IJCAI (1985)

Keyphrases

image processing
decision trees
user interface
programming language
functional analysis
neural network
search algorithm
functional verification