01686nam0 22003493i 450 AQ1000570720160411111522.00387576045New York3540576045Berlin20120123d1994 ||||0itac50 baengdez01i xxxe z01nVivid logicKnowledge-based reasoning with two kinds of negationGerd WagnerBerlin [etc.]Springerc1994XII, 148 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence764001PUV00429192001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence764Sistema espertoFIRNAPC004851ILogica simbolicaFIRNAPC147266ILogica matematicaFIRNAPC000388I006.3INTELLIGENZA ARTIFICIALE14006.33Intelligenza artificiale. Sistemi fondati sulla rappresentazione della conoscenza22Wagner, Gerd <1957- >AQ1V003001070714614ITIT-NA007920120123IT-BN0085AQ10005707Università del Sannio - Dipartimento D.I.N.Gv. 475;617;624;633;659-660;667;671;679;681;689;695;698-699;723;727-728;743-746;754;764;766;770;784;795;798;804;808;810;814;822;827;830;833;835;837-838;861-862;86743 v. 02COLL. ING LNAI 02 0000018645 B A4(0764 v. 7643 1995031320120123 02Vivid logic1381946UNISANNIO