CONNIVER

(redirected from connives)
Also found in: Dictionary, Thesaurus, Idioms.
Related to connives: pugnacity

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 classic literature ?
Thou must connive at her escape, Malvoisin, and I will transport her to some place of greater security and secrecy.''
THE National Youth Service Corps in Lagos says the corps would blacklist any employer of labour that connives with members to engage in truancy during the service year.
Quinn and Milczarek were found in breach of the old Rule 201 (v) 'Guilty of or conspires with any other person for the commission of, or connives at any other person being guilty of, any corrupt or fraudulent practice in relation to racing in this or any other country'.