Tractable reasoning in artificial intelligence
Auteur :
Cadoli, Marco
Éditeur :
Cadoli, Marco
ISBN :
9783540600589
Date de publication :
18 juil. 1995
Dimensions :
23,4 x 15,6 x 1,4 cm
Poids :
391 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is a powerful computational device; thus this book is concerned with computational aspects of the logical approach to AI.