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 ?
Edward blusters and yells and connives, then Lila drops him in his tracks with a well-timed but ladylike, ``Oh, Edward, shut up
Along the way, Jake lies, connives and uses his charm to try to get home.
Rackstraw and Josephine plan to sneak away from the ship and get married, but the embittered seaman Dick Deadeye (the hilarious Gabriel Vega) connives to do what he can to thwart the lovers.