Computational Logic in Multi-Agent Systems, Nils Bulling; Leendert van der Torre; Serena Villa

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Автор: Jo?o Leite; Tran Cao Son; Paolo Torroni; Leon van
Название: Computational Logic in Multi-Agent Systems
ISBN: 3642406238 ISBN-13(EAN): 9783642406232
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.

Автор: Tshilidzi Marwala; Monica Lagazio
Название: Militarized Conflict Modeling Using Computational Intelligence
ISBN: 1447127013 ISBN-13(EAN): 9781447127017
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume offers a scientific approach to manage inter-country conflict. Readers will find that through simultaneous control of four specific aspects (democracy, dependency, allies and capacity), predicted dispute outcomes can be avoided.

Автор: Pavel Brazdil; Alipio Jorge
Название: Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
ISBN: 354043030X ISBN-13(EAN): 9783540430308
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt).