Del 13196 i serien Lecture Notes in Computer Science

AIxIA 2021 – Advances in Artificial Intelligence

20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1–3, 2021, Revised Selected Papers

Häftad, Engelska, 2022

AvStefania Bandini,Francesca Gasparini,Viviana Mascardi,Matteo Palmonari,Giuseppe Vizzari

1 569 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

?This book constitutes revised selected papers from the refereed proceedings of the 20th International Conference of the Italian Association for Artificial Intelligence, AIxIA 2021, which was held virtually in December 2021. The 36 full papers included in this book were carefully reviewed and selected from 58 submissions;

Produktinformation

Utgivningsdatum2022-07-20
Mått155 x 235 x 40 mm
Vikt1 095 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor718
FörlagSpringer International Publishing AG
ISBN9783031084201

Tillhör följande kategorier

Tillämpad datateknik inom Data och IT
Systemvetenskap och AI inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

-Planning and Strategies.-Task Allocation for Multi-Robot Task and Motion Planning: a case for Object Picking in Cluttered Workspaces.-A Sound (but Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning.-Enhancing Telepresence Robots with AI: Combining Services to Personalize and React.-Tafl-ES: Exploring Evolution Strategies for Asymmetrical Board Games.-Constraints, Argumentation, and Logic Programming.-Combining DCOP and MILP for Complex Local Optimization Problems.-Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches.-Modular logic argumentation in Arg-tuProlog.-Burden of Persuasion in Meta-Argumentation.-Knowledge Representation, Reasoning, and Learning.-Reasoning about Smart Contracts encoded in LTL.-A Combinatorial Approach to Weighted Model Counting in the Two Variable Fragment with Cardinality Constraints.-Option Discovery for Autonomous Generation of Symbolic Knowledge.