CONNIVER

(redirected from connives)
Also found in: Dictionary, Thesaurus, Legal, 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 periodicals archive ?
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.
Tanith Lee's story follows a kitchen wench as she connives her way into the hills in pursuit of the dragon she knows she will marry.
As KAOS connives to steal the Inthermo, many key supporting players emerge to either help or thwart the plan.