The Logic of Partial Information, Areski Nait Abdallah

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 16051.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.

Автор: Devlin
Название: Logic and Information
ISBN: 0521410304 ISBN-13(EAN): 9780521410304
Издательство: Cambridge Academ
Рейтинг:
Цена: 15048.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this provocative and ground-breaking book, Keith Devlin introduces the new concepts of infon and situation as a means of understanding information acquisition and processing, and thus ultimately artificial intelligence.

Автор: Devlin
Название: Logic and Information
ISBN: 0521499712 ISBN-13(EAN): 9780521499712
Издательство: Cambridge Academ
Рейтинг:
Цена: 5702.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this provocative and ground-breaking book, Keith Devlin introduces the new concepts of infon and situation as a means of understanding information acquisition and processing, and thus ultimately artificial intelligence.

Автор: Ulrich Kohlenbach; Pablo Barcel?; Ruy J G B de Que
Название: Logic, Language, Information, and Computation
ISBN: 3662441446 ISBN-13(EAN): 9783662441442
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014.

Автор: Anuj Dawar; Ruy de Queiroz
Название: Logic, Language, Information and Computation
ISBN: 3642138233 ISBN-13(EAN): 9783642138232
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this title constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010.

Автор: V??n?nen
Название: Logic, Language, Information, and Computation
ISBN: 3662529203 ISBN-13(EAN): 9783662529201
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Автор: Tomasa Calvo S?nchez; Joan Torrens Sastre
Название: Fuzzy Logic and Information Fusion
ISBN: 3319304194 ISBN-13(EAN): 9783319304199
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book alsoincludes an overview of evolutionary fuzzy systems, a topic that is not one of Mayor`s main areas of interest, and a final chapterwritten by the Spanish pioneer in fuzzylogic, Professor E.

Автор: Juliette Kennedy; Ruy J.G.B. de Queiroz
Название: Logic, Language, Information, and Computation
ISBN: 3662553856 ISBN-13(EAN): 9783662553855
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017.

Автор: Valeria de Paiva; Ruy de Queiroz; Lawrence S. Moss
Название: Logic, Language, Information, and Computation
ISBN: 3662477084 ISBN-13(EAN): 9783662477083
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Modeling Language Design for Complex Systems Simulation.- Formalization of Mathematics for Fun and Profit.- From Residuated Lattices via GBI-algebras to BAOs.- Towards a Nominal Chomsky Hierarchy.- Multi-Linear Algebraic Semantics for Natural Language.- Categories of Games.- Learning in the limit, general topology, and modal logic.- The Word Problem for Finitely Presented Quandles is Undecidable.- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language.- On Topologically Relevant Fragments of the Logic of Linear Flows of Time.- An Equation-Based Classical Logic.- Cyclic multiplicative proof nets of linear logic with an application to language parsing.- A Dichotomy Result for Ramsey Quantifiers.- Parametric Polymorphism { Universally.- On the weak index problem for game automata.- Proof-theoretic aspects of the Lambek-Grishin Calculus.- Syllogistic Logic with "Most".- Characterizing Frame Definability in Team Semantics via The Universal Modality.- An Epistemic Separation Logic.- Equational properties of stratified least fixed points.- The p-adic integers as final coalgebra.

Автор: Alexandru Baltag; Sonja Smets
Название: Johan van Benthem on Logic and Information Dynamics
ISBN: 3319382977 ISBN-13(EAN): 9783319382975
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem`s work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today.

Автор: Pierre Flener
Название: Logic Program Synthesis from Incomplete Information
ISBN: 0792395328 ISBN-13(EAN): 9780792395324
Издательство: Springer
Рейтинг:
Цена: 27245.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes an approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, this book is useful for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.

Автор: Leonid Libkin; Ulrich Kohlenbach; Ruy de Queiroz
Название: Logic, Language, Information, and Computation
ISBN: 3642399916 ISBN-13(EAN): 9783642399916
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013.