Nonstandard Queries and Nonstandard Answers

BL A fundamental review of logic theory for database and knowledge systemsThis 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.