Imagine a robot trying to size up a difficult situation, to find a way of responding. Its sensors receive streams of information from which it tries to reach ju

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapter

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work

This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how con

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 20