Meaning of CONNIVER
| Matching Terms: | | connive, connive at, Connivency, connivent
|
 Computing Dictionary |
| |
| | Definition: | | 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 <[email protected]>, AI Memo 259, MIT AI Lab, 1973]. |
| |
| | Websites: | |
|
| |
| Thesaurus Terms |
| |
| | Related Terms: | | archtraitor, Benedict Arnold, betrayer, Brutus, cockatrice, coconspirator, conspirator, conspirer, counterplotter, double agent, double-crosser, double-dealer, exploiter, finagler, informer, intrigant, intriguer, Judas, Judas Iscariot, Machiavellian, machinator, maneuverer, operator, opportunist, plotter, Quisling, rat, schemer, serpent, snake, timeserver, traitor, treasonist, trimmer, turncoat, wire-puller |
| |
|
|
|