OnlineWoerterBuecher.de
Internes

Lexikon

CONNIVER


Artificial intelligence language for {automatic theorem proving}. An outgrowth of {PLANNER}, baSed on {coroutine}S rather than backtracking. Allowed multiple databaSe contextS with hypothetical aSSertionS. ["The CONNIVER Reference Manual", D. McDermott & G.J. SuSSman S@zurich.ai.mit.edu>, AI Memo 259, MIT AI Lab, 1973]. (1995-01-10)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ @ ] [ ag ] [ AI ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ aSSertion ] [ at ] [ au ] [ b ] [ ba ] [ backtracking ] [ baSe ] [ C ] [ ca ] [ ch ] [ ci ] [ ck ] [ co ] [ con ] [ context ] [ D ] [ data ] [ databaSe ] [ du ] [ E ] [ ed ] [ edu ] [ ER ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ge ] [ gen ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ IT ] [ it ] [ J ] [ ki ] [ la ] [ LAN ] [ language ] [ Lex ] [ li ] [ lt ] [ M ] [ ma ] [ man ] [ MIT ] [ MIT AI Lab ] [ mo ] [ mod ] [ module ] [ mu ] [ N ] [ na ] [ nc ] [ ne ] [ ng ] [ NN ] [ NNI ] [ nS ] [ nu ] [ O ] [ om ] [ ph ] [ pl ] [ PLAN ] [ PLANNER ] [ pr ] [ query ] [ rc ] [ re ] [ ro ] [ routine ] [ row ] [ S ] [ Se ] [ Sm ] [ T ] [ text ] [ tg ] [ th ] [ to ] [ tr ] [ track ] [ tracking ] [ tt ] [ ua ] [ uS ] [ V ] [ vi ]






[ Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (4849 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0924 Seconds, with 17 Database-Queries
Zurück zur Startseite