AIxIA 2021 - Advances in Artificial Intelligence
portes grátis
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
Palmonari, Matteo; Vizzari, Giuseppe; Bandini, Stefania; Gasparini, Francesca; Mascardi, Viviana
Springer International Publishing AG
07/2022
718
Mole
Inglês
9783031084201
15 a 20 dias
1110
Descrição não disponível.
-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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computational linguistics;computer networks;computer programming;computer systems;computer vision;databases;graph theory;Human-Computer Interaction (HCI);image processing;knowledge-based system;linguistics;machine learning;Natural Language Processing (NLP);natural languages;network protocols;neural networks;semantics;signal processing;theoretical computer science
-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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computational linguistics;computer networks;computer programming;computer systems;computer vision;databases;graph theory;Human-Computer Interaction (HCI);image processing;knowledge-based system;linguistics;machine learning;Natural Language Processing (NLP);natural languages;network protocols;neural networks;semantics;signal processing;theoretical computer science
