Belief Revision in Non-Classical Logics, Ribeiro

Автор: Thornton, Patricia H.; Ocasio, William; Lounsbury,
Название: The Institutional Logics Perspective
ISBN: 0199601941 ISBN-13(EAN): 9780199601943
Издательство: Oxford Academ
Рейтинг:
Цена: 7522.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book analyzes, synthesizes, and further develops theoretical and methodological tools in the rising new school in institutional analysis, the institutional logics perspective, which offers opportunities to examine how individual and organizational actors are a product of multiple social locations in an inter-institutional system.

Автор: GrГ¤del Erich, Thomas Wolfgang, Wilke Thomas
Название: Automata, Logics, and Infinite Games / A Guide to Current Research
ISBN: 3540003886 ISBN-13(EAN): 9783540003885
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.

Автор: S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V
Название: Algebraic and Proof-theoretic Aspects of Non-classical Logics
ISBN: 3540759387 ISBN-13(EAN): 9783540759386
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006.

Автор: GIORDANO, CRISTIANA
Название: Migrants in Translation: Caring and the Logics of Difference in Contemporary Italy
ISBN: 0520276663 ISBN-13(EAN): 9780520276666
Издательство: Wiley
Рейтинг:
Цена: 4752.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents an ethnographic reflection on foreign migration, mental health, and cultural translation in Italy. This book addresses the legal, therapeutic, and moral techniques of recognition and cultural translation that emerge in response to these social uncertainties.

Автор: Stefan Berghofer; Tobias Nipkow; Christian Urban;
Название: Theorem Proving in Higher Order Logics
ISBN: 364203358X ISBN-13(EAN): 9783642033582
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference TPHOLs 2009 Munich Germany August 1720 2009 Proceedings. .

Автор: Dines Bj?rner; Martin C. Henson
Название: Logics of Specification Languages
ISBN: 3642093450 ISBN-13(EAN): 9783642093456
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

Автор: Klaus Schneider; Jens Brandt
Название: Theorem Proving in Higher Order Logics
ISBN: 3540745904 ISBN-13(EAN): 9783540745907
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007. This book presents 21 revised full papers together with 5 proof pearls and the abstracts of 3 invited papers that were reviewed and selected from 52 submissions.

Автор: Loizos Michael; Antonis Kakas
Название: Logics in Artificial Intelligence
ISBN: 3319487574 ISBN-13(EAN): 9783319487571
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.