wyszukanych pozycji: 203
Handbook of Philosophical Logic
ISBN: 9789048157174 / Angielski / Miękka / 2011 / 385 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
|
cena:
575,62 zł |
Handbook of Philosophical Logic
ISBN: 9789048160556 / Angielski / Miękka / 2010 / 368 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality. Audience: Students and researchers whose work or interests involve philosophical logic and its applications. The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Pro... |
|
cena:
575,62 zł |
Handbook of Philosophical Logic
ISBN: 9789048157655 / Angielski / Miękka / 2010 / 412 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
|
cena:
575,62 zł |
Goal-Directed Proof Theory
ISBN: 9789048155262 / Angielski / Miękka / 2010 / 268 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an...
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of whic...
|
|
cena:
383,73 zł |
Handbook of Philosophical Logic
ISBN: 9789048165544 / Angielski / Miękka / 2010 / 323 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
|
cena:
767,51 zł |
Handbook of Philosophical Logic
ISBN: 9781402001390 / Angielski / Twarda / 2001 / 431 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
|
cena:
575,62 zł |
Quantified Representation of Uncertainty and Imprecision
ISBN: 9789048150380 / Angielski / Miękka / 2010 / 477 str. Termin realizacji zamówienia: ok. 20 dni roboczych. We are happy to present the first volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of uncertainty is a ma- jor concern of philosophers, logicians, artificial intelligence researchers and com- puter sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook was produced in the style of previous handbook series like the Handbook of...
We are happy to present the first volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real wor...
|
|
cena:
1151,28 zł |
Handbook of Philosophical Logic: Volume 10
ISBN: 9781402016448 / Angielski / Twarda / 2003 / 348 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as weIl as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
|
cena:
575,62 zł |
Handbook of Philosophical Logic
ISBN: 9781402002359 / Angielski / Twarda / 2002 / 360 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
|
cena:
575,62 zł |
Logical Tools for Handling Change in Agent-Based Systems
ISBN: 9783642044069 / Angielski / Twarda / 2009 / 305 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic... Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain ... |
|
cena:
575,62 zł |
Conditionals and Modularity in General Logics
ISBN: 9783642190674 / Angielski / Twarda / 2011 / 233 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics.
This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood sema...
|
|
cena:
383,73 zł |
Abductive Reasoning and Learning
ISBN: 9789048155606 / Angielski / Miękka / 2010 / 442 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself.
This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas...
|
|
cena:
767,51 zł |
Reasoning with Actual and Potential Contradictions
ISBN: 9789048150632 / Angielski / Miękka / 2010 / 333 str. Termin realizacji zamówienia: ok. 20 dni roboczych. We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of un- certainty is a major concern of philosophers, logicians, artificial intelligence researchers and computer sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook was produced in the style of previous handbook series like the Handbook of...
We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real wo...
|
|
cena:
575,62 zł |
Handbook of Philosophical Logic
ISBN: 9781402005992 / Angielski / Twarda / 2002 / 350 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
|
cena:
575,62 zł |
Logic from Russell to Church
ISBN: 9780444516206 / Angielski / Twarda / 2009 / 1056 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Godel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both...
This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical l...
|
|
cena:
1042,89 zł |
A New Perspective on Nonmonotonic Logics
ISBN: 9783319835938 / Angielski / Miękka / 2018 / 365 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
383,73 zł |
Handbook of Philosophical Logic
ISBN: 9781402006999 / Angielski / Twarda / 2002 / 368 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
|
cena:
575,62 zł |
A New Perspective on Nonmonotonic Logics
ISBN: 9783319468150 / Angielski / Twarda / 2016 / 365 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic... In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer ... |
|
cena:
383,73 zł |
Handbook of Philosophical Logic
ISBN: 9781402005831 / Angielski / Twarda / 2002 / 406 str. Termin realizacji zamówienia: ok. 20 dni roboczych. such questions for centuries (unrestricted by the capabilities of any hard- ware). The principles governing the interaction of several processes, for example, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based effective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. I believe the day is not far away in the future when the computer scientist will wake up one morning with the...
such questions for centuries (unrestricted by the capabilities of any hard- ware). The principles governing the interaction of several processes, for ...
|
|
cena:
690,75 zł |
Belief Change
ISBN: 9789401061230 / Angielski / Miękka / 2012 / 453 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more generally, with the revision, updating and fusion of knowledge bases. The book offers an extensive coverage of, and seeks to reconcile, two traditions in the kinematics of belief that often ignore each other - the symbolic and the numerical (often probabilistic) approaches. Moreover, the work...
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book pr...
|
|
cena:
767,51 zł |