Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size - Image 1

£61.26

Springer Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Name: Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Brand: Springer
Price: 61.15 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 33 days • 33 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 33 days • 1 price levels

Days at Price

Price Analysis

Most common price: £61 (33 days, 100.0%)

Price range: £61 - £61

Price levels: 1 different prices over 33 days

Description

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 revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3319896520
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 14 November 2018
Listed Since: 08 March 2018

Barcode

No barcode data available

Springer Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic for Applications (Texts in Computer Science)

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Handbook of Philosophical Logic: Volume 14

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Conditionals and Modularity in General Logics (Cognitive Technologies)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Springer - Logical Number Theory I: An Introduction

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

A Logical Approach to Discrete Math (Monographs in Computer Science)

Mathematical Logic for Computer Science

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Formal Methods in Computer Science (Textbooks in Mathematics)