Nuprl-Light: An Implementation Framework for Higher-Order Logics.

Jason J. Hickey

Published in: CADE (1997)

Keyphrases

higher order
main contribution
efficient implementation
probabilistic model
high order
inference rules
logical framework
higher order logic
search engine
natural images
modal logic
conceptual framework