Applied Logic Series – serie
Visar alla böcker i serien Applied Logic Series. Handla med fri frakt och snabb leverans.
74 produkter
Fallacies Arising from Ambiguity
Inbunden, 1996
2185 kr
Lägg i varukorg
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. There is an increasing interest in artifIcial intelligence, philosophy, psychol ogy, …
Proof Theory of Modal Logic
Inbunden, 1996
1641 kr
Lägg i varukorg
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. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance …
Multi-Dimensional Modal Logic
Inbunden, 1996
1096 kr
Lägg i varukorg
Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our …
Logic, Language and Computation
Av S. Akama
Inbunden, 1997
1096 kr
Lägg i varukorg
This collection of papers offers a broad account of many topics in the study of logic, language and information. In particular, it addresses two important themes: how to handle quantification in natural language; and how to isolate genuine "logics of information". After the editor's introduction, …
Advances in Intensional Logic
Inbunden, 1997
1641 kr
Lägg i varukorg
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. The present volume is a collection of carefully chosen papers, …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
2185 kr
Lägg i varukorg
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. Intensive cooperation and exchange of ideas led to considerable …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
2185 kr
Lägg i varukorg
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. Interaction typi cally is needed, …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
1690 kr
Lägg i varukorg
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
1998
4212 kr
Lägg i varukorg
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. Intensive co-operation and exchange of ideas led to considerable …
Textbook of Belief Dynamics
Theory Change and Database Updating
Inbunden, 1999
1641 kr
Lägg i varukorg
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. Philosophers, logicians, and computer scientists have …
Textbook of Belief Dynamics
Solutions to exercises
Häftad, 1999
1641 kr
Lägg i varukorg
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. Philosophers, logicians, and computer scientists have …
Dynamic Worlds
From the Frame Problem to Knowledge Management
Av Remo Pareschi, Bertram Fronhöfer
Inbunden, 1999
1096 kr
Lägg i varukorg
Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of great importance …
What is Negation?
Av Dov M. Gabbay, Heinrich Wansing
Inbunden, 1999
2185 kr
Lägg i varukorg
The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation-in combination with …
Foundations of Rational Agency
Inbunden, 1999
1641 kr
Lägg i varukorg
Over the past decade, rational agency has come to be recognised as a central theme in artificial intelligence. Drawing upon research on rational action and agency in philosophy, logic, game theory, decision theory, and the philosophy of language, this volume represents an advanced, comprehensive …
Fuzzy Sets, Logics and Reasoning about Knowledge
Av Didier Dubois, Henri Prade m. fl.
Inbunden, 1999
1641 kr
Lägg i varukorg
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. It takes a state-of-the-art look at multiple-valued and fuzzy set-based logics, …
Advances in Temporal Logic
Av Howard Barringer, Michael Fisher m. fl.
Inbunden, 1999
1641 kr
Lägg i varukorg
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. Today, thirty plus years since Prior's work in …
Labelled Deduction
Av Marcello D'Agostino, Dov M. Gabbay m. fl.
Inbunden, 2000
1096 kr
Lägg i varukorg
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, …
Abduction and Induction
Essays on their Relation and Integration
Av P.A. Flach, Antonis Hadjiantonis
Inbunden, 2000
1641 kr
Lägg i varukorg
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. Deduction is now fairly well understood, but abduction and induction have eluded a similar level of …
Intellectics and Computational Logic
Papers in Honor of Wolfgang Bibel
Inbunden, 2000
1641 kr
Lägg i varukorg
`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united …
Formal Aspects of Context
Av Pierre Bonzon, Marcos Cavalcanti m. fl.
Inbunden, 2000
1096 kr
Lägg i varukorg
We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the …
Goal-Directed Proof Theory
Inbunden, 2000
1096 kr
Lägg i varukorg
This guide presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, …
Frontiers in Belief Revision
Av M. Williams, Hans Rott
Inbunden, 2001
1641 kr
Lägg i varukorg
"Frontiers in Belief Revision" is a collection of leading edge research in Belief Revision. It contains the innovative ideas of respected and pioneering experts in the area, including Isaac Levi, Krister Segerberg, Sven Ove Hansson, Didier Dubois, and Henri Prade. The book addresses foundational …
New Essays in Free Logic
In Honour of Karel Lambert
Av E. Morscher, A. Hieke
Inbunden, 2001
1096 kr
Lägg i varukorg
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. As is the case with so many developments in Western philosophy, its roots can be traced back to ancient Greek …
Foundations of Bayesianism
Inbunden, 2001
1641 kr
Lägg i varukorg
Foundations of Bayesianism is an authoritative collection of papers addressing the key challenges that face the Bayesian interpretation of probability today. Some of these papers seek to clarify the relationships between Bayesian, causal and logical reasoning. Others consider the application of …
Proof Theory and Automated Deduction
Av Jean Goubault-Larrecq, I. Mackie
Häftad, 2001
552 kr
Lägg i varukorg
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. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from …
Logical and Computational Aspects of Model-Based Reasoning
Av L. Magnani, N.J. Nersessian m. fl.
Inbunden, 2002
1096 kr
Lägg i varukorg
The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the …
Semantics and Proof Theory of the Logic of Bunched Implications
Av David J. Pym
Inbunden, 2002
1641 kr
Lägg i varukorg
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. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about …
Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
Inbunden, 2002
1423 kr
Lägg i varukorg
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. Topics covered include syntax, semantics, soundness, …
Logical and Computational Aspects of Model-Based Reasoning
Av L. Magnani, N.J. Nersessian m. fl.
Häftad, 2002
1096 kr
Lägg i varukorg
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. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the …
Thirty Five Years of Automating Mathematics
Inbunden, 2003
1129 kr
Lägg i varukorg
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. By then, his contributions in mathematics were …
