KI-96

"Questo libro costituisce gli atti della 20a Conferenza annuale tedesca sull'intelligenza artificiale, KI-96, tenutasi a Dresda, in Germania, nel settembre 1996. Il libro presenta tre documenti invitati insieme a 23 documenti di ricerca completi revisionati, nove poster e quattro dimostrazioni di sistemi. Tutti i contributi sono stati accuratamente selezionati da un ampio numero di eccellenti contributi, di cui una parte considerevole era stata presentata dall'estero. I documenti affrontano molte sottoaree dell'intelligenza artificiale; tuttavia, c'è una certa attenzione alle nuove sviluppi nella dimostrazione di teoremi, nella rappresentazione della conoscenza e nel ragionamento."--SITO WEB DELL'EDITORE.