Representation Theorems in Computer Science: A Treatment in Logic Engineering - Image 1

£76.02

Springer Representation Theorems in Computer Science: A Treatment in Logic Engineering

Name: Representation Theorems in Computer Science: A Treatment in Logic Engineering
Brand: Springer
Price: 76.02 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£76 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 41 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £77 (32 days, 78.0%)

Price range: £76 - £77

Price levels: 2 different prices over 41 days

Description

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of representation theorems as a means to develop an understanding of all models of a specification in order to exclude possible unintended models, demonstrating the general methodology with representation theorems for applications in qualitative spatial reasoning, data stream processing, and belief revision. For qualitative spatial reasoning, it develops a model of spatial relatedness that captures the scaling context with hierarchical partitions of a spatial domain, and axiomatically characterizes the resulting relations. It also shows that various important properties of stream processing, such as prefix-determinedness or various factorization properties can be axiomatized, and that the axioms are fulfilled by natural classes of stream functions. The third example is belief revision, which is concerned with the revision of knowledge bases under new, potentially incompatible information. In this context, the book considers a subclass of revision operators, namely the class of reinterpretation operators, and characterizes them axiomatically. A characteristic property of reinterpretation operators is that of dissolving potential inconsistencies by reinterpreting symbols of the knowledge base. Intended for researchers in theoretical computer science or one of the above application domains, the book presents results that demonstrate the use of representation theorems for the design and evaluation of formal specifications, and provide the basis for future application-development kits that support application designers with automatically built representations.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3030257843
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 07 August 2019
Listed Since: 18 June 2019

Barcode

No barcode data available

Springer Representation Theorems in Computer Science: A Treatment in Logic Engineering

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Representations of Commonsense Knowledge

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

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

Knowledge Representation and Reasoning

Handbook of Knowledge Representation: Volume 1 (Foundations of Artificial Intelligence, Volume 1)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Modal Semirings and Applications (Trends in Logic, 72)

Change of Representation and Inductive Bias: 87 (The Springer International Series in Engineering and Computer Science, 87)

Formal Concept Analysis: Mathematical Foundations

Springer - Nonmonotonic Logic: Context-Dependent Reasoning

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

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

Springer - Specification and Verification of Multi-agent Systems

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Rohit Parikh on Logic, Language and Society: 11 (Outstanding Contributions to Logic, 11)

Logic in Computer Science: Modelling and Reasoning about Systems

AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)

Handbook of Practical Logic and Automated Reasoning

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)

Incomplete Information: Rough Set Analysis: 13 (Studies in Fuzziness and Soft Computing, 13)

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)