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
Herausgegeben:Bandini, Stefania; Gasparini, Francesca; Mascardi, Viviana; Palmonari, Matteo; Vizzari, Giuseppe

• Broschiertes Buch

Produktbeschreibung

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; the volume also contains 12 extended and revised workshop contributions. The papers were organized in topical sections as follows: Planning and strategies; constraints, argumentation, and logic programming; knowledge representation, reasoning, and learning; natural language processing; AI for content and social media analysis; signal processing: images, videos and speech; machine learning for argumentation, explanation, and exploration; machine learning and applications; and AI applications.

Produktdetails

• Lecture Notes in Computer Science 13196
• Verlag: Springer / Springer International Publishing / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-08420-1
• 1st ed. 2022
• Seitenzahl: 736
• Erscheinungstermin: 20. Juli 2022
• Englisch
• Abmessung: 235mm x 155mm x 40mm
• Gewicht: 1095g
• ISBN-13: 9783031084201
• ISBN-10: 3031084209
• Artikelnr.: 64000949

Autorenporträt

Inhaltsangabe

-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.