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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?
References in classic literature ?
'Is it not enough, my lord,' Mr Haredale continued, 'that I, as good a gentleman as you, must hold my property, such as it is, by a trick at which the state connives because of these hard laws; and that we may not teach our youth in schools the common principles of right and wrong; but must we be denounced and ridden by such men as this!
View in context
The guards should tow the line, and not connive with the prisoners),' he said.
Dela Rosa says job at BuCor more stressful than his role at PNP
For those who did not know already, the British establishment is rotten to the core, it is bred into them to lie and connive. The higher up the tree they climb, the more arrogant they become.
Rotten to the core; You Say Email:letters@liverpoolecho.co.uk

Encyclopedia browser ?
Full browser ?