silver_spruce
|
|
Dictionary and Thesaurus entries for:conniverYour search results...From The Free On-line Dictionary of Computing: (http://www.foldoc.org/, Editor Denis Howe) Artificial intelligence language for automatic theorem proving. An outgrowth of PLANNER, based on coroutines rather than backtracking. Allowed multiple database contexts with hypothetical assertions. ["The CONNIVER Reference Manual", D. McDermott & G.J. Sussman gjs@zurich.ai.mit.edu, AI Memo 259, MIT AI Lab, 1973]. (1995-01-10) |
|
Your Search History - clear
conniver |