Filteren
1
Sorteren
Pagina 3 van
75 resultaten
Serie: Applied logic series
paperbackEngels9789400734357
2-1-2013
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). Meer
paperbackEngels9789048150502
9-12-2010
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Meer
paperbackEngels9789048150519
6-12-2010
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Meer
paperbackEngels9789048151592
15-12-2010
Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. Meer
paperbackEngels9789048172641
10-10-2011
This book is the most comprehensive description of the decades-long Non-Axiomatic Reasoning System (NARS) project, including its philosophical foundation, methodological consideration, conceptual design details, implications in the related fields, and its similarities and differences to many related works in cognitive science. Meer
paperbackEngels9789048159154
9-12-2010
Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own as a field of research in the 1950s. Meer
paperbackEngels9789048153244
9-12-2010
Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning. Meer
paperbackEngels9789048160792
9-12-2010
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information.
This introduction to mathematical logic starts with propositional calculus and first-order logic. Meer
paperbackEngels9789048154333
15-12-2010
From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Meer
paperbackEngels9789048148974
6-12-2010
Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. Meer
paperbackEngels9789048167005
15-12-2010
The present work is a fair record of work I've done on the fallacies and related matters in the fifteen years since 1986. The book may be seen as a sequel to Fallacies: Selected papers 1972-1982, which I wrote with Douglas Walton, and which appeared in 1989 with Foris. Meer
paperbackEngels9789048177257
22-11-2010
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 first-order based logics to higher-order based logics as well as to non-truth functional logics. Meer
paperbackEngels9789048153893
8-12-2010
Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Meer
paperbackEngels9789048166695
15-12-2010
In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Meer
paperbackEngels9789048166961
5-12-2010
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. Meer
paperbackEngels9789048167838
22-10-2010
The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine with motors and sensors. Meer
paperbackEngels9789048151257
5-12-2010
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 beliefs and to the contents of databases. Meer
paperbackEngels9789048157204
15-12-2010
Frontiers in Belief Revision is a unique collection of leading edge research in Belief Revision. It contains the latest innovative ideas of highly respected and pioneering experts in the area, including Isaac Levi, Krister Segerberg, Sven Ove Hansson, Didier Dubois, and Henri Prade. Meer
paperbackEngels9789048147175
7-12-2010
We are happy to present to the reader the first book of our Applied Logic Series. Walton's book on the fallacies of ambiguity is firmly at the heart of practical reasoning, an important part of applied logic. Meer
paperbackEngels9789048147205
9-12-2010
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. Meer