| 1. | to cooperate secretly; conspire (often fol. by with): They connived to take over the business. |
| 2. | to avoid noticing something that one is expected to oppose or condemn; give aid to wrongdoing by forbearing to act or speak (usually fol. by at): The policeman connived at traffic violations. |
| 3. | to be indulgent toward something others oppose or criticize (usually fol. by at): to connive at childlike exaggerations. |
CONNIVER
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
(1995-01-10)