Overview

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

Full Product Details

Author:   Stefania Bandini ,  Francesca Gasparini ,  Viviana Mascardi ,  Matteo Palmonari
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2022
Volume:   13196
Weight:   1.110kg
ISBN:  

9783031084201

ISBN 10:   3031084209
Pages:   718
Publication Date:   20 July 2022
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions