Filteren
1
Sorteren
75 resultaten
Serie: Applied logic series
gebondenEngels9781402030680
5-7-2005
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
gebondenEngels9781402016561
30-11-2003
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. Meer
gebondenEngels9781402094088
16-12-2008
Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. Meer
gebondenEngels9781402024924
13-8-2004
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
gebondenEngels9781402026522
13-9-2004
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
paperbackEngels9781402003684
30-11-2001
The last twenty years have witnessed an accelerated development of pure and ap plied logic, particularly in response to the urgent needs of computer science. Meer
gebondenEngels9781402023347
9-6-2004
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. Meer
gebondenEngels9781402007637
31-7-2002
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
gebondenEngels9781402002168
31-12-2001
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
gebondenEngels9781402007125
30-9-2002
Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. Meer
paperbackEngels9781402007910
30-9-2002
Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. Meer
gebondenEngels9781402007453
31-7-2002
This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. Meer
gebondenEngels9781402002236
31-12-2001
Foundations of Bayesianism is an authoritative collection of papers addressing the key challenges that face the Bayesian interpretation of probability today. Meer
gebondenEngels9781402050442
23-8-2006
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
gebondenEngels9781402026638
3-11-2004
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
gebondenEngels9781402067815
4-2-2008
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
gebondenEngels9780792370215
30-6-2001
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
gebondenEngels9780792343455
30-11-1996
Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Meer
gebondenEngels9780792359777
30-9-1999
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
gebondenEngels9780792343769
31-1-1997
The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. Meer