The term" fuzzy logic," as it is understood in this book, stands for all aspects of representing
and manipulating knowledge based on the rejection of the most fundamental principle of …

Publisher Summary This chapter surveys two key combination methods––namely, fusions
and products. It also examines some other combination methods. The properties of …

It is with great pleasure that we are presenting to the community the second edition of this
extraordinary handbook. It has been over 15 years since the publication of the first edition …

Humans are often extraordinary at performing practical reasoning. There are cases where
the human computer, slow as it is, is faster than any artificial intelligence system. Are we …

This book aims to synthesize different directions in knowledge studies into a unified theory of
knowledge and knowledge processes. It explicates important relations between knowledge …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

The paper studies many-dimensional modal logics corresponding to products of Kripke
frames. It proves results on axiomatisability, the finite model property and decidability for …

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-
Classical Logics. I put forward the methodology of labelled deductive systems to the …

Combining knowledge representation and reasoning formalisms is an important and
challenging task. It is important because non-trivial AI applications often comprise different …

In this paper we advocate the use of multi-dimensional modal logics as a framework for
knowledge representation and, in particular, for representing spatio-temporal information …