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].
Mentioned in ?
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.
Benin : Oshiomhole sacks 3 engineers over road projects
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.
No hiding place; YourSay
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.
Church dare not disregard the rights of its victims

Encyclopedia browser ?
Full browser ?