Karl Schlechta – författare
Visar alla böcker från författaren Karl Schlechta. Handla med fri frakt och snabb leverans.
17 produkter
Coherent Systems
E-bok, 2004
2567 kr
Lägg i varukorg
One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more …
Coherent Systems
Inbunden, 2004
1903 kr
Lägg i varukorg
One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more …
New Perspective on Nonmonotonic Logics
Av Dov M. Gabbay, Karl Schlechta
Inbunden, 2016
1093 kr
Lägg i varukorg
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 …
New Perspective on Nonmonotonic Logics
Av Karl Schlechta, Dov M. Gabbay
E-bok, 2016
1459 kr
Lägg i varukorg
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 …
New Perspective on Nonmonotonic Logics
Av Dov M. Gabbay, Karl Schlechta
Häftad, 2018
1093 kr
Lägg i varukorg
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 …
Formal Methods for Nonmonotonic and Related Logics
Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Inbunden, 2018
1093 kr
Lägg i varukorg
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory …
Formal Methods for Nonmonotonic and Related Logics
Vol II: Theory Revision, Inheritance, and Various Abstract Properties
E-bok, 2018
1427 kr
Lägg i varukorg
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory …
Formal Methods for Nonmonotonic and Related Logics
Vol I: Preference and Size
Inbunden, 2018
930 kr
Lägg i varukorg
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory …
Formal Methods for Nonmonotonic and Related Logics
Vol I: Preference and Size
E-bok, 2018
1214 kr
Lägg i varukorg
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory …
Nonmonotonic Logics
Basic Concepts, Results, and Techniques
Häftad, 1997
550 kr
Lägg i varukorg
Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an …
Logical Tools for Handling Change in Agent-Based Systems
Av Dov M. Gabbay, Karl Schlechta
Inbunden, 2009
1636 kr
Lägg i varukorg
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 …
Logical Tools for Handling Change in Agent-Based Systems
Av Karl Schlechta, Dov M. Gabbay
E-bok, 2010
2049 kr
Lägg i varukorg
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 …
Conditionals and Modularity in General Logics
Av Dov M. Gabbay, Karl Schlechta
Inbunden, 2011
1093 kr
Lägg i varukorg
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection …
Conditionals and Modularity in General Logics
Av Karl Schlechta, Dov M. Gabbay
E-bok, 2011
1459 kr
Lägg i varukorg
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection …
Logical Tools for Handling Change in Agent-Based Systems
Av Dov M. Gabbay, Karl Schlechta
Häftad, 2012
1636 kr
Lägg i varukorg
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 …
Conditionals and Modularity in General Logics
Av Dov M. Gabbay, Karl Schlechta
Häftad, 2013
1093 kr
Lägg i varukorg
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection …
