CONNIVER

(redirected from connive)
Also found in: Dictionary, Thesaurus, Legal, Idioms.

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 <gjs@zurich.ai.mit.edu>, AI Memo 259, MIT AI Lab, 1973].
References in periodicals archive ?
While announcing the sack, Governor Oshiomhole expressed regrets that engineers attached to the state Ministry of Works connive with contractors to cheat the state and vowed that the government will sack any government engineer found wanting.
Criminal offences have been committed and there should be no hiding place for the guilty parties nor those who connive to cover things up on their behalf and on behalf of the Church as an institution rotten to the core.
Criminal offences have been committed here, and there should be no hiding place for the guilty parties, nor those who connive to cover things up on their behalf and on behalf of the Church as an institution rotten to the core.