Handbook of Spatial Logics, Marco Aiello; Ian Pratt-Hartmann; Johan van Benthe

Автор: Barwise
Название: Model-Theoretic Logics
ISBN: 1107168252 ISBN-13(EAN): 9781107168251
Издательство: Cambridge Academ
Рейтинг:
Цена: 30096.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.

Автор: Font
Название: A General Algebraic Semantics for Sentential Logics
ISBN: 1107167973 ISBN-13(EAN): 9781107167971
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the 1970s. It shows the results of this approach on a number of particular logics, and relates it to those developed by Blok, Czelakowski, Pigozzi and others.

Автор: Otto
Название: Bounded Variable Logics and Counting
ISBN: 1107167949 ISBN-13(EAN): 9781107167940
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

Автор: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna In
Название: Models, Algorithms, Logics and Tools
ISBN: 3319631209 ISBN-13(EAN): 9783319631202
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.

Автор: Christian W. Probst; Chris Hankin; Ren? Rydhof Han
Название: Semantics, Logics, and Calculi
ISBN: 3319278096 ISBN-13(EAN): 9783319278094
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.

Автор: Eduardo Ferm?; Joao Leite
Название: Logics in Artificial Intelligence
ISBN: 331911557X ISBN-13(EAN): 9783319115573
Издательство: Springer
Рейтинг:
Цена: 12298.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. logics for uncertain reasoning;

Автор: T. Atanassov
Название: Intuitionistic Fuzzy Logics
ISBN: 3319489526 ISBN-13(EAN): 9783319489520
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Автор: Pitts
Название: Semantics and Logics of Computation
ISBN: 0521580579 ISBN-13(EAN): 9780521580571
Издательство: Cambridge Academ
Рейтинг:
Цена: 19800.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.

Автор: Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu
Название: Introduction to Annotated Logics
ISBN: 331917911X ISBN-13(EAN): 9783319179117
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors` contributions to annotated logics.

Автор: Leslie F. Sikos
Название: Description Logics in Multimedia Reasoning
ISBN: 3319540653 ISBN-13(EAN): 9783319540658
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It draws attention to the importance of formal grounding in the knowledge representation of multimedia objects, the potential of multimedia reasoning in intelligent multimedia applications, and presents both theoretical discussions and best practices in multimedia ontology engineering.

Автор: Fabio Mogavero
Название: Logics in Computer Science
ISBN: 9462390568 ISBN-13(EAN): 9789462390560
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.

Автор: Christian Stra?er
Название: Adaptive Logics for Defeasible Reasoning
ISBN: 3319343882 ISBN-13(EAN): 9783319343884
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents adaptive logics (ALs) as an intuitive and powerful framework to model defeasible reasoning. It offers case studies stemming from various contexts of defeasible reasoning, such as default reasoning, argumentation, and normative reasoning.