Hacking your program is no substitute for understanding your problem. Prolog is different, but not that different. Elegance is not optional. These are the themes that unify Richard O'Keefe's very pers
The martial Sainnites have occupied Shaftal for fifteen years but every year the cost of resistance rises. Emil, a scholar officer, Zanja, the last survivor of her people, and Karis, a metalsmith, hal
The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human b
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research result
This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its ran
This first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of
The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very
This fourth volume of the second edition contains major contributions on Conditional Logic, Dynamic Logic, Logics for Defeasible Argumentation, Preference Logic and Diagrammatic Logic. Audience:
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices, this book introduc
In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the p
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and firs