Nonstandard queries and nonstandard answers
Éditeur :
Oxford University Press
ISBN :
9780198538523
Date de publication :
27 oct. 1994
Dimensions :
24,1 x 16,2 x 2,2 cm
Poids :
615 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
BL A fundamental review of logic theory for database and knowledge systems This book, from the Studies in Logic and Computer Science series, uses non-classical logics inorder to formalize new queries and new answers. Topics covered include cooperative query answering, metareasoning and abductive reasoning, and also hypothetical and subjunctive reasoning.