Leon van der Torre - Böcker
Visar alla böcker från författaren Leon van der Torre. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Del 12061 - Lecture Notes in Computer Science
Logic and Argumentation
Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings
Häftad, Engelska, 2020
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering.
Del 15395 - Lecture Notes in Computer Science
PRIMA 2024: Principles and Practice of Multi-Agent Systems
25th International Conference, Kyoto, Japan, November 18–24, 2024, Proceedings
Häftad, Engelska, 2024
878 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 25th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2024, held in Kyoto, Japan, during November 18–24, 2024. The 23 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 76 submissions.
Computational Logic in Multi-Agent Systems
12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
Häftad, Engelska, 2011
551 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.
Computational Logic in Multi-Agent Systems
13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
Häftad, Engelska, 2012
508 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.
Computational Logic in Multi-Agent Systems
14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Häftad, Engelska, 2013
551 kr
Skickas inom 10-15 vardagar
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.