Filteren
1
Sorteren
75 resultaten
Serie: Applied logic series
gebondenEngels9780792364733
31-8-2000
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. Meer
gebondenEngels9780792362500
30-4-2000
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
gebondenEngels9780792353249
31-3-1999
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
paperbackEngels9780792353294
31-3-1999
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
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
gebondenEngels9780792356011
31-3-1999
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 state-of-the-art survey of the field of rational agency as it stands today. 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
gebondenEngels9780792361497
31-12-1999
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
gebondenEngels9780792362616
30-4-2000
`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. Meer
gebondenEngels9780792355694
31-3-1999
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. Meer
gebondenEngels9780792341208
31-10-1996
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
gebondenEngels9780792351290
30-6-1998
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
gebondenEngels9780792355359
31-3-1999
Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. Meer
gebondenEngels9780792351306
30-6-1998
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
gebondenEngels9780792351313
30-6-1998
We are invited to deal with mathematical activity in a sys tematic way [ . Meer
paperbackEngels9780792351320
30-6-1998
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
gebondenEngels9780792362371
30-4-2000
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. Meer
gebondenEngels9780792363507
31-7-2000
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. Meer
gebondenEngels9780792341000
31-8-1996
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
gebondenEngels9780792342717
31-10-1996
- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. Meer