CONNIVER


Also found in: Dictionary, Thesaurus, Medical, Legal, Idioms, Wikipedia.

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 ?
If a conniver plays within the lines of the 35 percent rule, he or she will not win enough securities at the auction to control the secondary market.
He said: "British people gladly donate to charity in good faith, but aggressive fundraisers risk turning our high streets into an unwelcome gauntlet of bolshie bucket shakers and clip-board waving connivers.
So until the day FIFA make the risk bigger than the reward, the game's in the hands of the cheats and connivers.
Younger healthier people must be forced to pay for older unhealthier people: If the connivers in Washington can't convince enough to do so--using the threat of the IRS as a cudgel--the system will collapse of its own weight.
The US, UK, the EU and pretty well everyone else are lubricious connivers.
But the cumulative sins of our neighbour in being active connivers and conspirators in the ' death by a thousand cuts' strategic imperative have partly come to roost.
They are not the evil connivers they are said to be," proposed Munter.
As in most of Austen's writing, there are blackguards and airheads and connivers and decent folk galore," Harkovitch say.
This Old Breed, one veteran wrote, "were gamblers, drinkers, connivers, they were brawlers, and they had fought soldiers and sailors of every nationality in every bar from Brooklyn to Bangkok.
He accused Mian Nawaz Sharif and PPP as connivers regarding the Blasphemy Bill issue, while he also charged Sherry Rehman with violating her oath by tabling her notorious amendment bill; and also questioned about inclusion of withdrawal of amendment bill and cessation of drone attacks on FATA, in PML-Ns 10-point agenda.
That's right, the consumer show fronted by husband and wife team Lucy and Rhodri Owen who usually go after the swindlers and connivers in the world of consumer affairs.