c.1600, from Latin connivere, also conivere "to wink," hence, "to wink at (a crime), be secretly privy," from com- "together" (see com-) + base akin to nictare "to wink," from PIE root *kneigwh- (see nictitate). Related: Connived; conniving.
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 firstname.lastname@example.org, AI Memo 259, MIT AI Lab, 1973]. (1995-01-10)